1. ¬KnowsValue(<0>,Disease,0). -knowsValue((1,0),disease,0). -knowsValue((2,0),disease,0). 2. KnowsValue(<2>,Disease,0). knowsValue((1,2),disease,0). knowsValue((2,2),disease,0). 3. ¬KnowsIfHappens(<0>,makeAntibodies,0). -knowsIfHappens((1,0),makeAntibodies,0). -knowsIfHappens((2,0),makeAntibodies,0). 4. ¬KnowsIfHappens(<2>,makeAntibodies,0). knowsIfHappens((1,2),makeAntibodies,0). knowsIfHappens((2,2),makeAntibodies,0).