Anne is not green. Anne is not smart. Charlie is furry. Gary is quiet. Gary is round. Gary is smart. Harry is smart. If Harry is big then Harry is not rough. If Harry is big and Harry is quiet then Harry is not rough. Smart things are round. If Harry is furry and Harry is quiet then Harry is big. If something is quiet then it is furry. If Harry is round then Harry is quiet. If something is round and not furry then it is rough. If something is round and not smart then it is rough.
Anne is big.
@0: Anne is not green.[(triple1)] Anne is not smart.[(triple2)] Charlie is furry.[(triple3)] Gary is quiet.[(triple4)] Gary is round.[(triple5 OR ((triple6) -> rule3))] Gary is smart.[(triple6)] Harry is smart.[(triple7)] @1: Gary is furry.[(((triple4) -> rule5))] Harry is round.[(((triple7) -> rule3))] @2: Harry is quiet.[(((((triple7) -> rule3)) -> rule6))] @3: Harry is furry.[(((((((triple7) -> rule3)) -> rule6)) -> rule5))] @4: Harry is big.[(((((((((triple7) -> rule3)) -> rule6)) -> rule5) ((((triple7) -> rule3)) -> rule6)) -> rule4))] @5: Harry is not rough.[(((((((((((triple7) -> rule3)) -> rule6)) -> rule5) ((((triple7) -> rule3)) -> rule6)) -> rule4)) -> rule1) OR ((((((((((triple7) -> rule3)) -> rule6)) -> rule5) ((((triple7) -> rule3)) -> rule6)) -> rule4) ((((triple7) -> rule3)) -> rule6)) -> rule2))]