Gary is round. Gary is smart. Gary is white. Rough, round things are furry. If something is green then it is rough. Furry, smart things are white. Furry things are green. All white, round things are furry. Smart things are round.
Gary is not smart.
@0: Gary is round.[(triple1 OR ((triple2) -> rule6))] Gary is smart.[(triple2)] Gary is white.[(triple3)] @1: Gary is furry.[(((triple3 triple1) -> rule5) OR ((triple3 ((triple2) -> rule6)) -> rule5))] @2: Gary is green.[(((((triple3 triple1) -> rule5)) -> rule4) OR ((((triple3 ((triple2) -> rule6)) -> rule5)) -> rule4))] @3: Gary is rough.[(((((((triple3 triple1) -> rule5)) -> rule4)) -> rule2) OR ((((((triple3 ((triple2) -> rule6)) -> rule5)) -> rule4)) -> rule2))]