Gary is big. Gary is blue. Gary is nice. Gary is rough. Gary is round. Gary is smart. Gary is young. If someone is young and round then they are big. If Gary is big and Gary is nice then Gary is rough. If someone is rough then they are young. Nice, big people are round. Big people are young. Big people are young.
Gary is not young.
@0: Gary is big.[(triple1 OR ((triple7 triple5) -> rule1) OR ((((triple4) -> rule3) triple5) -> rule1))] Gary is blue.[(triple2)] Gary is nice.[(triple3)] Gary is rough.[(triple4 OR ((triple1 triple3) -> rule2) OR ((((triple7 triple5) -> rule1) triple3) -> rule2))] Gary is round.[(triple5 OR ((triple3 triple1) -> rule4))] Gary is smart.[(triple6)] Gary is young.[(triple7 OR ((triple1) -> rule5) OR ((triple1) -> rule6) OR ((triple4) -> rule3) OR ((((triple1 triple3) -> rule2)) -> rule3))]