Gary is big. Gary is blue. Gary is green. Gary is kind. Gary is not red. Gary is round. Gary is young. If something is big and not round then it is not kind. Round things are big. If something is green and red then it is not young. If Gary is green and Gary is kind then Gary is young. Blue, big things are not red. Kind things are not red.
Gary is not round.
@0: Gary is big.[(triple1 OR ((triple6) -> rule2))] Gary is blue.[(triple2)] Gary is green.[(triple3)] Gary is kind.[(triple4)] Gary is not red.[(triple5 OR ((triple4) -> rule6) OR ((triple2 triple1) -> rule5) OR ((triple2 ((triple6) -> rule2)) -> rule5))] Gary is round.[(triple6)] Gary is young.[(triple7 OR ((triple3 triple4) -> rule4))]