Gary is big. Gary is furry. Gary is green. Gary is kind. Gary is red. Gary is rough. Gary is smart. All furry people are red. Red people are smart.
Gary is red.
@0: Gary is big.[(triple1)] Gary is furry.[(triple2)] Gary is green.[(triple3)] Gary is kind.[(triple4)] Gary is red.[(triple5 OR ((triple2) -> rule1))] Gary is rough.[(triple6)] Gary is smart.[(triple7 OR ((triple5) -> rule2) OR ((((triple2) -> rule1)) -> rule2))]