Gary is big. Gary is blue. Gary is nice. Gary is red. Gary is round. Gary is smart. Gary is young. Blue, red people are young. Nice, young people are red.
Gary is round.
@0: Gary is big.[(triple1)] Gary is blue.[(triple2)] Gary is nice.[(triple3)] Gary is red.[(triple4 OR ((triple3 triple7) -> rule2))] Gary is round.[(triple5)] Gary is smart.[(triple6)] Gary is young.[(triple7 OR ((triple2 triple4) -> rule1))]