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