Gary is big. Gary is furry. Gary is kind. Gary is red. Gary is rough. Gary is round. Gary is young. If Gary is round and Gary is young then Gary is rough.
Gary is not young.
@0: Gary is big.[(triple1)] Gary is furry.[(triple2)] Gary is kind.[(triple3)] Gary is red.[(triple4)] Gary is rough.[(triple5 OR ((triple6 triple7) -> rule1))] Gary is round.[(triple6)] Gary is young.[(triple7)]