Bob is green. Dave is furry. Dave is green. Dave is nice. Dave is red. Dave is smart. Harry is green. Harry is quiet. Harry is red. Harry is smart. If Harry is quiet then Harry is nice. Green things are nice. If something is green and nice then it is cold. If Harry is cold then Harry is red. Cold things are green. All cold things are furry.
Bob is quiet.
@0: Bob is green.[(triple1)] Dave is furry.[(triple2 OR ((((triple3 triple4) -> rule3)) -> rule6) OR ((((triple3 ((triple3) -> rule2)) -> rule3)) -> rule6))] Dave is green.[(triple3)] Dave is nice.[(triple4 OR ((triple3) -> rule2))] Dave is red.[(triple5)] Dave is smart.[(triple6)] Harry is green.[(triple7)] Harry is quiet.[(triple8)] Harry is red.[(triple9 OR ((((triple7 ((triple7) -> rule2)) -> rule3)) -> rule4) OR ((((triple7 ((triple8) -> rule1)) -> rule3)) -> rule4))] Harry is smart.[(triple10)] @1: Bob is nice.[(((triple1) -> rule2))] Dave is cold.[(((triple3 triple4) -> rule3) OR ((triple3 ((triple3) -> rule2)) -> rule3))] Harry is nice.[(((triple7) -> rule2) OR ((triple8) -> rule1))] @2: Bob is cold.[(((triple1 ((triple1) -> rule2)) -> rule3))] Harry is cold.[(((triple7 ((triple7) -> rule2)) -> rule3) OR ((triple7 ((triple8) -> rule1)) -> rule3))] @3: Bob is furry.[(((((triple1 ((triple1) -> rule2)) -> rule3)) -> rule6))] Harry is furry.[(((((triple7 ((triple7) -> rule2)) -> rule3)) -> rule6) OR ((((triple7 ((triple8) -> rule1)) -> rule3)) -> rule6))]