Gary is not big. Gary is not blue. Gary is cold. Gary is green. Gary is kind. Gary is nice. Gary is young. All nice, big things are not cold. Green things are young. If something is kind and nice then it is young. All big things are not blue. Big, blue things are not nice. Young things are kind.
Gary is big.
@0: Gary is cold.[(triple3)] Gary is green.[(triple4)] Gary is kind.[(triple5 OR ((triple7) -> rule6) OR ((((triple4) -> rule2)) -> rule6))] Gary is nice.[(triple6)] Gary is not big.[(triple1)] Gary is not blue.[(triple2)] Gary is young.[(triple7 OR ((triple4) -> rule2) OR ((triple5 triple6) -> rule3))]