Gary is blue. Gary is smart. Gary is white. If Gary is furry then Gary is rough. If someone is rough and white then they are smart. Blue, white people are furry.
Gary is not furry.
@0: Gary is blue.[(triple1)] Gary is smart.[(triple2 OR ((((((triple1 triple3) -> rule3)) -> rule1) triple3) -> rule2))] Gary is white.[(triple3)] @1: Gary is furry.[(((triple1 triple3) -> rule3))] @2: Gary is rough.[(((((triple1 triple3) -> rule3)) -> rule1))]