Anne is blue. Anne is cold. Anne is furry. Anne is red. Anne is round. Anne is white. Bob is big. Dave is round. Dave is white. Harry is big. Harry is red. Harry is white. All blue things are white. If something is cold then it is red. Furry, blue things are red. If something is round and big then it is blue. If Anne is cold and Anne is red then Anne is big. All red things are round. If something is big then it is cold. If something is cold and furry then it is white.
Dave is not cold.
@0: Anne is blue.[(triple1 OR ((triple5 ((triple2 triple4) -> rule5)) -> rule4) OR ((((triple4) -> rule6) ((triple2 triple4) -> rule5)) -> rule4) OR ((triple5 ((triple2 ((triple2) -> rule2)) -> rule5)) -> rule4) OR ((((triple4) -> rule6) ((triple2 ((triple2) -> rule2)) -> rule5)) -> rule4) OR ((((((triple2) -> rule2)) -> rule6) ((triple2 triple4) -> rule5)) -> rule4) OR ((((((triple2) -> rule2)) -> rule6) ((triple2 ((triple2) -> rule2)) -> rule5)) -> rule4))] Anne is cold.[(triple2)] Anne is furry.[(triple3)] Anne is red.[(triple4 OR ((triple2) -> rule2) OR ((triple3 triple1) -> rule3))] Anne is round.[(triple5 OR ((triple4) -> rule6) OR ((((triple2) -> rule2)) -> rule6) OR ((((triple3 triple1) -> rule3)) -> rule6))] Anne is white.[(triple6 OR ((triple1) -> rule1) OR ((triple2 triple3) -> rule8) OR ((((triple5 ((triple2 triple4) -> rule5)) -> rule4)) -> rule1) OR ((((((triple4) -> rule6) ((triple2 triple4) -> rule5)) -> rule4)) -> rule1) OR ((((triple5 ((triple2 ((triple2) -> rule2)) -> rule5)) -> rule4)) -> rule1) OR ((((((triple4) -> rule6) ((triple2 ((triple2) -> rule2)) -> rule5)) -> rule4)) -> rule1) OR ((((((((triple2) -> rule2)) -> rule6) ((triple2 triple4) -> rule5)) -> rule4)) -> rule1) OR ((((((((triple2) -> rule2)) -> rule6) ((triple2 ((triple2) -> rule2)) -> rule5)) -> rule4)) -> rule1))] Bob is big.[(triple7)] Dave is round.[(triple8)] Dave is white.[(triple9)] Harry is big.[(triple10)] Harry is red.[(triple11 OR ((((triple10) -> rule7)) -> rule2))] Harry is white.[(triple12 OR ((((((triple11) -> rule6) triple10) -> rule4)) -> rule1) OR ((((((((((triple10) -> rule7)) -> rule2)) -> rule6) triple10) -> rule4)) -> rule1))] @1: Anne is big.[(((triple2 triple4) -> rule5) OR ((triple2 ((triple2) -> rule2)) -> rule5) OR ((triple2 ((triple3 triple1) -> rule3)) -> rule5))] Bob is cold.[(((triple7) -> rule7))] Harry is cold.[(((triple10) -> rule7))] Harry is round.[(((triple11) -> rule6) OR ((((((triple10) -> rule7)) -> rule2)) -> rule6))] @2: Bob is red.[(((((triple7) -> rule7)) -> rule2))] Harry is blue.[(((((triple11) -> rule6) triple10) -> rule4) OR ((((((((triple10) -> rule7)) -> rule2)) -> rule6) triple10) -> rule4))] @3: Bob is round.[(((((((triple7) -> rule7)) -> rule2)) -> rule6))] @4: Bob is blue.[(((((((((triple7) -> rule7)) -> rule2)) -> rule6) triple7) -> rule4))] @5: Bob is white.[(((((((((((triple7) -> rule7)) -> rule2)) -> rule6) triple7) -> rule4)) -> rule1))]