Gary is big. Gary is nice. Gary is quiet. Gary is red. Gary is round. Gary is smart. Gary is young. Quiet things are nice.
Gary is quiet.
@0: Gary is big.[(triple1)] Gary is nice.[(triple2 OR ((triple3) -> rule1))] Gary is quiet.[(triple3)] Gary is red.[(triple4)] Gary is round.[(triple5)] Gary is smart.[(triple6)] Gary is young.[(triple7)]