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