Erin is big. Erin is blue. Erin is green. Erin is rough. Erin is white. Gary is big. Gary is blue. Gary is not green. Gary is quiet. Gary is rough. Gary is white. Gary is young. If something is blue and rough then it is big. If something is green then it is rough. If Gary is quiet then Gary is rough.
Gary is not rough.
@0: Erin is big.[(triple1 OR ((triple2 triple4) -> rule1) OR ((triple2 ((triple3) -> rule2)) -> rule1))] Erin is blue.[(triple2)] Erin is green.[(triple3)] Erin is rough.[(triple4 OR ((triple3) -> rule2))] Erin is white.[(triple5)] Gary is big.[(triple6 OR ((triple7 triple10) -> rule1) OR ((triple7 ((triple9) -> rule3)) -> rule1))] Gary is blue.[(triple7)] Gary is not green.[(triple8)] Gary is quiet.[(triple9)] Gary is rough.[(triple10 OR ((triple9) -> rule3))] Gary is white.[(triple11)] Gary is young.[(triple12)]