Bob is not blue. Bob is round. Dave is furry. Dave is quiet. Dave is smart. Gary is blue. Gary is green. Harry is blue. Harry is furry. Harry is not quiet. If Gary is green then Gary is rough. If Bob is rough then Bob is not green. All rough people are smart. Round people are smart. All rough, smart people are round. If Dave is smart then Dave is rough. All round, quiet people are not blue. If Harry is smart and Harry is not blue then Harry is furry.
Dave is not round.
@0: Bob is not blue.[(triple1)] Bob is round.[(triple2)] Dave is furry.[(triple3)] Dave is quiet.[(triple4)] Dave is smart.[(triple5)] Gary is blue.[(triple6)] Gary is green.[(triple7)] Harry is blue.[(triple8)] Harry is furry.[(triple9)] Harry is not quiet.[(triple10)] @1: Bob is smart.[(((triple2) -> rule4))] Dave is rough.[(((triple5) -> rule6))] Gary is rough.[(((triple7) -> rule1))] @2: Dave is round.[(((((triple5) -> rule6) triple5) -> rule5))] Gary is smart.[(((((triple7) -> rule1)) -> rule3))] @3: Dave is not blue.[(((((((triple5) -> rule6) triple5) -> rule5) triple4) -> rule7))] Gary is round.[(((((triple7) -> rule1) ((((triple7) -> rule1)) -> rule3)) -> rule5))]