Anne is big. Anne is nice. Anne is round. If Anne is cold and Anne is red then Anne is nice. If someone is nice and cold then they are smart. If Anne is big then Anne is round. All smart people are big. If someone is nice then they are round. If Anne is cold and Anne is big then Anne is red. If Anne is cold then Anne is big. If Anne is round then Anne is cold.
Anne is not cold.
@0: Anne is big.[(triple1 OR ((((triple3) -> rule8)) -> rule7) OR ((((((triple2) -> rule5)) -> rule8)) -> rule7) OR ((((triple2 ((triple3) -> rule8)) -> rule2)) -> rule4) OR ((((triple2 ((((triple2) -> rule5)) -> rule8)) -> rule2)) -> rule4))] Anne is nice.[(triple2 OR ((((triple3) -> rule8) ((((triple3) -> rule8) triple1) -> rule6)) -> rule1) OR ((((((triple1) -> rule3)) -> rule8) ((((triple3) -> rule8) triple1) -> rule6)) -> rule1) OR ((((triple3) -> rule8) ((((((triple1) -> rule3)) -> rule8) triple1) -> rule6)) -> rule1) OR ((((triple3) -> rule8) ((((triple3) -> rule8) ((((triple3) -> rule8)) -> rule7)) -> rule6)) -> rule1) OR ((((((triple1) -> rule3)) -> rule8) ((((((triple1) -> rule3)) -> rule8) triple1) -> rule6)) -> rule1) OR ((((triple3) -> rule8) ((((((triple1) -> rule3)) -> rule8) ((((triple3) -> rule8)) -> rule7)) -> rule6)) -> rule1) OR ((((((triple1) -> rule3)) -> rule8) ((((triple3) -> rule8) ((((triple3) -> rule8)) -> rule7)) -> rule6)) -> rule1) OR ((((((triple1) -> rule3)) -> rule8) ((((((triple1) -> rule3)) -> rule8) ((((triple3) -> rule8)) -> rule7)) -> rule6)) -> rule1))] Anne is round.[(triple3 OR ((triple1) -> rule3) OR ((triple2) -> rule5))] @1: Anne is cold.[(((triple3) -> rule8) OR ((((triple1) -> rule3)) -> rule8) OR ((((triple2) -> rule5)) -> rule8))] @2: Anne is red.[(((((triple3) -> rule8) triple1) -> rule6) OR ((((((triple1) -> rule3)) -> rule8) triple1) -> rule6) OR ((((((triple2) -> rule5)) -> rule8) triple1) -> rule6) OR ((((triple3) -> rule8) ((((triple3) -> rule8)) -> rule7)) -> rule6) OR ((((((triple1) -> rule3)) -> rule8) ((((triple3) -> rule8)) -> rule7)) -> rule6) OR ((((((triple2) -> rule5)) -> rule8) ((((triple3) -> rule8)) -> rule7)) -> rule6) OR ((((triple3) -> rule8) ((((((triple2) -> rule5)) -> rule8)) -> rule7)) -> rule6) OR ((((triple3) -> rule8) ((((triple2 ((triple3) -> rule8)) -> rule2)) -> rule4)) -> rule6) OR ((((((triple1) -> rule3)) -> rule8) ((((((triple2) -> rule5)) -> rule8)) -> rule7)) -> rule6) OR ((((((triple1) -> rule3)) -> rule8) ((((triple2 ((triple3) -> rule8)) -> rule2)) -> rule4)) -> rule6) OR ((((((triple2) -> rule5)) -> rule8) ((((((triple2) -> rule5)) -> rule8)) -> rule7)) -> rule6) OR ((((((triple2) -> rule5)) -> rule8) ((((triple2 ((triple3) -> rule8)) -> rule2)) -> rule4)) -> rule6) OR ((((triple3) -> rule8) ((((triple2 ((((triple2) -> rule5)) -> rule8)) -> rule2)) -> rule4)) -> rule6) OR ((((((triple1) -> rule3)) -> rule8) ((((triple2 ((((triple2) -> rule5)) -> rule8)) -> rule2)) -> rule4)) -> rule6) OR ((((((triple2) -> rule5)) -> rule8) ((((triple2 ((((triple2) -> rule5)) -> rule8)) -> rule2)) -> rule4)) -> rule6))] Anne is smart.[(((triple2 ((triple3) -> rule8)) -> rule2) OR ((triple2 ((((triple1) -> rule3)) -> rule8)) -> rule2) OR ((triple2 ((((triple2) -> rule5)) -> rule8)) -> rule2) OR ((((((triple3) -> rule8) ((((triple3) -> rule8) triple1) -> rule6)) -> rule1) ((triple3) -> rule8)) -> rule2) OR ((((((triple3) -> rule8) ((((triple3) -> rule8) triple1) -> rule6)) -> rule1) ((((triple1) -> rule3)) -> rule8)) -> rule2) OR ((((((triple3) -> rule8) ((((triple3) -> rule8) triple1) -> rule6)) -> rule1) ((((triple2) -> rule5)) -> rule8)) -> rule2) OR ((((((((triple1) -> rule3)) -> rule8) ((((triple3) -> rule8) triple1) -> rule6)) -> rule1) ((triple3) -> rule8)) -> rule2) OR ((((((((triple1) -> rule3)) -> rule8) ((((triple3) -> rule8) triple1) -> rule6)) -> rule1) ((((triple1) -> rule3)) -> rule8)) -> rule2) OR ((((((((triple1) -> rule3)) -> rule8) ((((triple3) -> rule8) triple1) -> rule6)) -> rule1) ((((triple2) -> rule5)) -> rule8)) -> rule2) OR ((((((triple3) -> rule8) ((((((triple1) -> rule3)) -> rule8) triple1) -> rule6)) -> rule1) ((triple3) -> rule8)) -> rule2) OR ((((((triple3) -> rule8) ((((triple3) -> rule8) ((((triple3) -> rule8)) -> rule7)) -> rule6)) -> rule1) ((triple3) -> rule8)) -> rule2) OR ((((((triple3) -> rule8) ((((((triple1) -> rule3)) -> rule8) triple1) -> rule6)) -> rule1) ((((triple1) -> rule3)) -> rule8)) -> rule2) OR ((((((triple3) -> rule8) ((((((triple1) -> rule3)) -> rule8) triple1) -> rule6)) -> rule1) ((((triple2) -> rule5)) -> rule8)) -> rule2) OR ((((((((triple1) -> rule3)) -> rule8) ((((((triple1) -> rule3)) -> rule8) triple1) -> rule6)) -> rule1) ((triple3) -> rule8)) -> rule2) OR ((((((triple3) -> rule8) ((((triple3) -> rule8) ((((triple3) -> rule8)) -> rule7)) -> rule6)) -> rule1) ((((triple1) -> rule3)) -> rule8)) -> rule2) OR ((((((triple3) -> rule8) ((((triple3) -> rule8) ((((triple3) -> rule8)) -> rule7)) -> rule6)) -> rule1) ((((triple2) -> rule5)) -> rule8)) -> rule2) OR ((((((triple3) -> rule8) ((((((triple1) -> rule3)) -> rule8) ((((triple3) -> rule8)) -> rule7)) -> rule6)) -> rule1) ((triple3) -> rule8)) -> rule2) OR ((((((((triple1) -> rule3)) -> rule8) ((((triple3) -> rule8) ((((triple3) -> rule8)) -> rule7)) -> rule6)) -> rule1) ((triple3) -> rule8)) -> rule2) OR ((((((((triple1) -> rule3)) -> rule8) ((((((triple1) -> rule3)) -> rule8) triple1) -> rule6)) -> rule1) ((((triple1) -> rule3)) -> rule8)) -> rule2) OR ((((((((triple1) -> rule3)) -> rule8) ((((((triple1) -> rule3)) -> rule8) triple1) -> rule6)) -> rule1) ((((triple2) -> rule5)) -> rule8)) -> rule2) OR ((((((triple3) -> rule8) ((((((triple1) -> rule3)) -> rule8) ((((triple3) -> rule8)) -> rule7)) -> rule6)) -> rule1) ((((triple1) -> rule3)) -> rule8)) -> rule2) OR ((((((triple3) -> rule8) ((((((triple1) -> rule3)) -> rule8) ((((triple3) -> rule8)) -> rule7)) -> rule6)) -> rule1) ((((triple2) -> rule5)) -> rule8)) -> rule2) OR ((((((((triple1) -> rule3)) -> rule8) ((((triple3) -> rule8) ((((triple3) -> rule8)) -> rule7)) -> rule6)) -> rule1) ((((triple1) -> rule3)) -> rule8)) -> rule2) OR ((((((((triple1) -> rule3)) -> rule8) ((((triple3) -> rule8) ((((triple3) -> rule8)) -> rule7)) -> rule6)) -> rule1) ((((triple2) -> rule5)) -> rule8)) -> rule2) OR ((((((((triple1) -> rule3)) -> rule8) ((((((triple1) -> rule3)) -> rule8) ((((triple3) -> rule8)) -> rule7)) -> rule6)) -> rule1) ((triple3) -> rule8)) -> rule2) OR ((((((((triple1) -> rule3)) -> rule8) ((((((triple1) -> rule3)) -> rule8) ((((triple3) -> rule8)) -> rule7)) -> rule6)) -> rule1) ((((triple1) -> rule3)) -> rule8)) -> rule2) OR ((((((((triple1) -> rule3)) -> rule8) ((((((triple1) -> rule3)) -> rule8) ((((triple3) -> rule8)) -> rule7)) -> rule6)) -> rule1) ((((triple2) -> rule5)) -> rule8)) -> rule2))]