Anne is big. Anne is cold. Anne is kind. Anne is red. Anne is round. Anne is smart. Bob is big. Bob is cold. Bob is kind. Bob is red. Bob is round. Bob is smart. Bob is white. Dave is big. Dave is cold. Dave is white. All round things are red. If Bob is red then Bob is round. If something is round then it is cold. White, kind things are round. All kind, cold things are big. Smart, big things are round. If something is big and white then it is cold. If something is white then it is kind.
Bob is not round.
@0: Anne is big.[(triple1 OR ((triple3 triple2) -> rule5) OR ((triple3 ((triple5) -> rule3)) -> rule5))] Anne is cold.[(triple2 OR ((triple5) -> rule3) OR ((((triple6 triple1) -> rule6)) -> rule3))] Anne is kind.[(triple3)] Anne is red.[(triple4 OR ((triple5) -> rule1) OR ((((triple6 triple1) -> rule6)) -> rule1) OR ((((triple6 ((triple3 triple2) -> rule5)) -> rule6)) -> rule1))] Anne is round.[(triple5 OR ((triple6 triple1) -> rule6) OR ((triple6 ((triple3 triple2) -> rule5)) -> rule6))] Anne is smart.[(triple6)] Bob is big.[(triple7 OR ((triple9 triple8) -> rule5) OR ((triple9 ((triple11) -> rule3)) -> rule5) OR ((((triple13) -> rule8) triple8) -> rule5) OR ((((triple13) -> rule8) ((triple11) -> rule3)) -> rule5) OR ((triple9 ((((triple10) -> rule2)) -> rule3)) -> rule5) OR ((triple9 ((((triple13 triple9) -> rule4)) -> rule3)) -> rule5) OR ((((triple13) -> rule8) ((((triple10) -> rule2)) -> rule3)) -> rule5) OR ((((triple13) -> rule8) ((((triple13 triple9) -> rule4)) -> rule3)) -> rule5) OR ((triple9 ((((triple13 ((triple13) -> rule8)) -> rule4)) -> rule3)) -> rule5) OR ((((triple13) -> rule8) ((((triple13 ((triple13) -> rule8)) -> rule4)) -> rule3)) -> rule5))] Bob is cold.[(triple8 OR ((triple11) -> rule3) OR ((triple7 triple13) -> rule7) OR ((((triple10) -> rule2)) -> rule3) OR ((((triple12 triple7) -> rule6)) -> rule3) OR ((((triple13 triple9) -> rule4)) -> rule3) OR ((((triple13 ((triple13) -> rule8)) -> rule4)) -> rule3))] Bob is kind.[(triple9 OR ((triple13) -> rule8))] Bob is red.[(triple10 OR ((triple11) -> rule1) OR ((((triple12 triple7) -> rule6)) -> rule1) OR ((((triple13 triple9) -> rule4)) -> rule1) OR ((((triple12 ((triple9 triple8) -> rule5)) -> rule6)) -> rule1) OR ((((triple13 ((triple13) -> rule8)) -> rule4)) -> rule1) OR ((((triple12 ((((triple13) -> rule8) triple8) -> rule5)) -> rule6)) -> rule1))] Bob is round.[(triple11 OR ((triple10) -> rule2) OR ((triple12 triple7) -> rule6) OR ((triple13 triple9) -> rule4) OR ((triple12 ((triple9 triple8) -> rule5)) -> rule6) OR ((triple13 ((triple13) -> rule8)) -> rule4) OR ((triple12 ((((triple13) -> rule8) triple8) -> rule5)) -> rule6))] Bob is smart.[(triple12)] Bob is white.[(triple13)] Dave is big.[(triple14 OR ((((triple16) -> rule8) triple15) -> rule5) OR ((((triple16) -> rule8) ((((triple16 ((triple16) -> rule8)) -> rule4)) -> rule3)) -> rule5))] Dave is cold.[(triple15 OR ((triple14 triple16) -> rule7) OR ((((triple16 ((triple16) -> rule8)) -> rule4)) -> rule3))] Dave is white.[(triple16)] @1: Dave is kind.[(((triple16) -> rule8))] @2: Dave is round.[(((triple16 ((triple16) -> rule8)) -> rule4))] @3: Dave is red.[(((((triple16 ((triple16) -> rule8)) -> rule4)) -> rule1))]