Bob is not furry. Dave is green. Gary is round. Harry is kind. If Harry is smart then Harry is rough. All furry, green things are round. Furry things are green. If something is round then it is not blue. Green things are furry. If Bob is green then Bob is rough. Blue, smart things are kind. If Gary is round then Gary is furry.
Dave is round.
@0: Bob is not furry.[(triple1)] Dave is green.[(triple2)] Gary is round.[(triple3)] Harry is kind.[(triple4)] @1: Dave is furry.[(((triple2) -> rule5))] Gary is furry.[(((triple3) -> rule8))] Gary is not blue.[(((triple3) -> rule4))] @2: Dave is round.[(((((triple2) -> rule5) triple2) -> rule2))] Gary is green.[(((((triple3) -> rule8)) -> rule3))] @3: Dave is not blue.[(((((((triple2) -> rule5) triple2) -> rule2)) -> rule4))]