Erin is not big. Erin is green. Gary is smart. All red things are green. If Gary is green and Gary is big then Gary is rough. All smart things are red. All green things are not round. If Gary is smart and Gary is not red then Gary is not round. If something is green and round then it is kind.
Gary is not green.
@0: Erin is green.[(triple2)] Erin is not big.[(triple1)] Gary is smart.[(triple3)] @1: Erin is not round.[(((triple2) -> rule4))] Gary is red.[(((triple3) -> rule3))] @2: Gary is green.[(((((triple3) -> rule3)) -> rule1))] @3: Gary is not round.[(((((((triple3) -> rule3)) -> rule1)) -> rule4))]