Gary is big. Gary is blue. Gary is cold. Gary is kind. Gary is quiet. Gary is round. Gary is young. Blue, cold people are round. If someone is big then they are blue.
Gary is blue.
@0: Gary is big.[(triple1)] Gary is blue.[(triple2 OR ((triple1) -> rule2))] Gary is cold.[(triple3)] Gary is kind.[(triple4)] Gary is quiet.[(triple5)] Gary is round.[(triple6 OR ((triple2 triple3) -> rule1) OR ((((triple1) -> rule2) triple3) -> rule1))] Gary is young.[(triple7)]