Gary is green. Gary is red. Harry is green. Round people are rough. Furry people are rough. All green people are furry. All quiet people are furry. If Harry is red then Harry is quiet. If someone is red then they are white. All quiet people are not white. If Harry is white then Harry is round.
Gary is red.
@0: Gary is green.[(triple1)] Gary is red.[(triple2)] Harry is green.[(triple3)] @1: Gary is furry.[(((triple1) -> rule3))] Gary is white.[(((triple2) -> rule6))] Harry is furry.[(((triple3) -> rule3))] @2: Gary is rough.[(((((triple1) -> rule3)) -> rule2))] Harry is rough.[(((((triple3) -> rule3)) -> rule2))]