Gary is cold. Gary is nice. Gary is quiet. Gary is rough. Gary is round. Gary is white. Gary is young. If someone is young then they are white. If someone is nice and quiet then they are white.
Gary is nice.
@0: Gary is cold.[(triple1)] Gary is nice.[(triple2)] Gary is quiet.[(triple3)] Gary is rough.[(triple4)] Gary is round.[(triple5)] Gary is white.[(triple6 OR ((triple7) -> rule1) OR ((triple2 triple3) -> rule2))] Gary is young.[(triple7)]