Gary is big. Gary is green. Gary is kind. Gary is nice. Gary is red. Gary is rough. Gary is young. All red things are young. If Gary is big and Gary is rough then Gary is red.
Gary is young.
@0: Gary is big.[(triple1)] Gary is green.[(triple2)] Gary is kind.[(triple3)] Gary is nice.[(triple4)] Gary is red.[(triple5 OR ((triple1 triple6) -> rule2))] Gary is rough.[(triple6)] Gary is young.[(triple7 OR ((triple5) -> rule1) OR ((((triple1 triple6) -> rule2)) -> rule1))]