Bob is not blue. Dave is red. Gary is red. Harry is nice. If Gary is not rough then Gary is white. If something is red then it is round. If Dave is white then Dave is not furry. All white things are blue. Rough, red things are not nice. If something is furry then it is nice. All red, round things are furry. If something is round and not blue then it is furry.
Gary is not furry.
@0: Bob is not blue.[(triple1)] Dave is red.[(triple2)] Gary is red.[(triple3)] Harry is nice.[(triple4)] @1: Dave is round.[(((triple2) -> rule2))] Gary is round.[(((triple3) -> rule2))] @2: Dave is furry.[(((triple2 ((triple2) -> rule2)) -> rule7))] Gary is furry.[(((triple3 ((triple3) -> rule2)) -> rule7))] @3: Dave is nice.[(((((triple2 ((triple2) -> rule2)) -> rule7)) -> rule6))] Gary is nice.[(((((triple3 ((triple3) -> rule2)) -> rule7)) -> rule6))]