Erin is rough. Gary is not nice. Gary is red. Kind, rough people are not blue. If someone is nice then they are not blue. All red, rough people are big. All nice people are not big. If Erin is kind and Erin is big then Erin is red. Rough people are red. All young people are kind. If Erin is red and Erin is young then Erin is not big.
Erin is not rough.
@0: Erin is rough.[(triple1)] Gary is not nice.[(triple2)] Gary is red.[(triple3)] @1: Erin is red.[(((triple1) -> rule6))] @2: Erin is big.[(((((triple1) -> rule6) triple1) -> rule3))]