Anne is big. Anne is blue. Erin is big. Erin is blue. Erin is rough. Gary is blue. Gary is furry. Gary is rough. Gary is not smart. Gary is young. Harry is round. Harry is young. If something is young then it is furry. If something is rough and blue then it is furry. If Anne is not big then Anne is blue. Rough things are not smart. Blue, big things are not smart. If something is round then it is rough. If something is blue and not big then it is rough. If something is big and smart then it is not rough.
Erin is not big.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Erin is big.[(triple3)] Erin is blue.[(triple4)] Erin is rough.[(triple5)] Gary is blue.[(triple6)] Gary is furry.[(triple7 OR ((triple10) -> rule1) OR ((triple8 triple6) -> rule2))] Gary is not smart.[(triple9 OR ((triple8) -> rule4))] Gary is rough.[(triple8)] Gary is young.[(triple10)] Harry is round.[(triple11)] Harry is young.[(triple12)] @1: Anne is not smart.[(((triple2 triple1) -> rule5))] Erin is furry.[(((triple5 triple4) -> rule2))] Erin is not smart.[(((triple5) -> rule4) OR ((triple4 triple3) -> rule5))] Harry is furry.[(((triple12) -> rule1))] Harry is rough.[(((triple11) -> rule6))] @2: Harry is not smart.[(((((triple11) -> rule6)) -> rule4))]