Anne is green. Anne is nice. Erin is big. Erin is green. Erin is nice. Erin is rough. Harry is big. Harry is green. Harry is red. Harry is rough. If Anne is green and Anne is rough then Anne is white. Furry things are rough. All furry things are rough. All rough things are green. If something is nice and big then it is green. If something is green then it is nice.
Anne is not white.
@0: Anne is green.[(triple1)] Anne is nice.[(triple2 OR ((triple1) -> rule6))] Erin is big.[(triple3)] Erin is green.[(triple4 OR ((triple6) -> rule4) OR ((triple5 triple3) -> rule5))] Erin is nice.[(triple5 OR ((triple4) -> rule6) OR ((((triple6) -> rule4)) -> rule6))] Erin is rough.[(triple6)] Harry is big.[(triple7)] Harry is green.[(triple8 OR ((triple10) -> rule4))] Harry is red.[(triple9)] Harry is rough.[(triple10)] @1: Harry is nice.[(((triple8) -> rule6) OR ((((triple10) -> rule4)) -> rule6))]