Anne is nice. Anne is smart. Erin is nice. Erin is quiet. Erin is white. Gary is nice. Gary is white. Harry is not nice. Harry is quiet. Harry is white. If something is nice then it is rough. If something is green then it is rough. If something is white and green then it is smart. If Anne is rough then Anne is green. If something is big then it is quiet. If something is nice and white then it is quiet. If something is green and smart then it is big. If something is quiet and rough then it is white.
Gary is not green.
@0: Anne is nice.[(triple1)] Anne is smart.[(triple2)] Erin is nice.[(triple3)] Erin is quiet.[(triple4 OR ((triple3 triple5) -> rule6))] Erin is white.[(triple5 OR ((triple4 ((triple3) -> rule1)) -> rule8))] Gary is nice.[(triple6)] Gary is white.[(triple7)] Harry is not nice.[(triple8)] Harry is quiet.[(triple9)] Harry is white.[(triple10)] @1: Anne is rough.[(((triple1) -> rule1))] Erin is rough.[(((triple3) -> rule1))] Gary is quiet.[(((triple6 triple7) -> rule6))] Gary is rough.[(((triple6) -> rule1))] @2: Anne is green.[(((((triple1) -> rule1)) -> rule4))] @3: Anne is big.[(((((((triple1) -> rule1)) -> rule4) triple2) -> rule7))] @4: Anne is quiet.[(((((((((triple1) -> rule1)) -> rule4) triple2) -> rule7)) -> rule5))] @5: Anne is white.[(((((((((((triple1) -> rule1)) -> rule4) triple2) -> rule7)) -> rule5) ((triple1) -> rule1)) -> rule8))]