Gary is big. Gary is blue. Gary is green. Gary is kind. Gary is round. Gary is white. Gary is young. If Gary is green and Gary is not young then Gary is not kind. Green, young people are big. If someone is white and not round then they are kind. If someone is big then they are green. If Gary is round and Gary is blue then Gary is green. If someone is big and not young then they are not white.
Gary is not big.
@0: Gary is big.[(triple1 OR ((triple3 triple7) -> rule2) OR ((((triple5 triple2) -> rule5) triple7) -> rule2))] Gary is blue.[(triple2)] Gary is green.[(triple3 OR ((triple1) -> rule4) OR ((triple5 triple2) -> rule5))] Gary is kind.[(triple4)] Gary is round.[(triple5)] Gary is white.[(triple6)] Gary is young.[(triple7)]