Gary is not red. Gary is not white. Gary is young. Red, young people are big. If someone is young then they are big. If Gary is red then Gary is not big. Young people are rough. All nice, big people are young. If Gary is young and Gary is not white then Gary is rough. All young, big people are not nice. If someone is big and not round then they are red.
Gary is not nice.
@0: Gary is not red.[(triple1)] Gary is not white.[(triple2)] Gary is young.[(triple3)] @1: Gary is big.[(((triple3) -> rule2))] Gary is rough.[(((triple3) -> rule4) OR ((triple3 triple2) -> rule6))] @2: Gary is not nice.[(((triple3 ((triple3) -> rule2)) -> rule7))]