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