Erin is not big. Erin is rough. Gary is rough. If Gary is red then Gary is round. If Gary is smart then Gary is rough. All smart people are not round. If Gary is round then Gary is not red. Kind, big people are smart. If someone is smart and not round then they are rough. Kind people are rough. Rough people are not green.
Gary is rough.
@0: Erin is not big.[(triple1)] Erin is rough.[(triple2)] Gary is rough.[(triple3)] @1: Erin is not green.[(((triple2) -> rule8))] Gary is not green.[(((triple3) -> rule8))]