Erin is green. Erin is kind. Erin is red. Erin is rough. Gary is blue. Gary is green. Gary is kind. Gary is quiet. Gary is red. Gary is rough. If Gary is blue then Gary is quiet. If Gary is green and Gary is kind then Gary is rough. If something is blue and kind then it is young. If Erin is quiet and Erin is rough then Erin is red. All green, young things are quiet. If something is kind and young then it is rough.
Erin is not young.
@0: Erin is green.[(triple1)] Erin is kind.[(triple2)] Erin is red.[(triple3)] Erin is rough.[(triple4)] Gary is blue.[(triple5)] Gary is green.[(triple6)] Gary is kind.[(triple7)] Gary is quiet.[(triple8 OR ((triple5) -> rule1) OR ((triple6 ((triple5 triple7) -> rule3)) -> rule5))] Gary is red.[(triple9)] Gary is rough.[(triple10 OR ((triple6 triple7) -> rule2) OR ((triple7 ((triple5 triple7) -> rule3)) -> rule6))] @1: Gary is young.[(((triple5 triple7) -> rule3))]