Anne is quiet. Anne is rough. Erin is furry. Erin is green. Erin is kind. Erin is nice. Erin is quiet. Erin is rough. Erin is white. Gary is furry. Gary is green. Gary is kind. Gary is nice. Gary is quiet. Gary is rough. Gary is white. White people are quiet. If Anne is quiet then Anne is nice. If Erin is green and Erin is nice then Erin is rough.
Erin is furry.
@0: Anne is quiet.[(triple1)] Anne is rough.[(triple2)] Erin is furry.[(triple3)] Erin is green.[(triple4)] Erin is kind.[(triple5)] Erin is nice.[(triple6)] Erin is quiet.[(triple7 OR ((triple9) -> rule1))] Erin is rough.[(triple8 OR ((triple4 triple6) -> rule3))] Erin is white.[(triple9)] Gary is furry.[(triple10)] Gary is green.[(triple11)] Gary is kind.[(triple12)] Gary is nice.[(triple13)] Gary is quiet.[(triple14 OR ((triple16) -> rule1))] Gary is rough.[(triple15)] Gary is white.[(triple16)] @1: Anne is nice.[(((triple1) -> rule2))]