Anne is big. Anne is cold. Anne is furry. Anne is green. Anne is nice. Anne is quiet. Anne is smart. Harry is furry. Harry is nice. Harry is smart. If something is green and smart then it is cold. All nice, cold things are quiet. If something is nice then it is green. Green, cold things are furry. If Harry is big and Harry is smart then Harry is cold. If something is big and nice then it is furry.
Harry is not quiet.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2 OR ((triple4 triple7) -> rule1) OR ((((triple5) -> rule3) triple7) -> rule1))] Anne is furry.[(triple3 OR ((triple1 triple5) -> rule6) OR ((triple4 triple2) -> rule4) OR ((triple4 ((triple4 triple7) -> rule1)) -> rule4) OR ((((triple5) -> rule3) triple2) -> rule4) OR ((((triple5) -> rule3) ((triple4 triple7) -> rule1)) -> rule4) OR ((triple4 ((((triple5) -> rule3) triple7) -> rule1)) -> rule4) OR ((((triple5) -> rule3) ((((triple5) -> rule3) triple7) -> rule1)) -> rule4))] Anne is green.[(triple4 OR ((triple5) -> rule3))] Anne is nice.[(triple5)] Anne is quiet.[(triple6 OR ((triple5 triple2) -> rule2) OR ((triple5 ((triple4 triple7) -> rule1)) -> rule2) OR ((triple5 ((((triple5) -> rule3) triple7) -> rule1)) -> rule2))] Anne is smart.[(triple7)] Harry is furry.[(triple8 OR ((((triple9) -> rule3) ((((triple9) -> rule3) triple10) -> rule1)) -> rule4))] Harry is nice.[(triple9)] Harry is smart.[(triple10)] @1: Harry is green.[(((triple9) -> rule3))] @2: Harry is cold.[(((((triple9) -> rule3) triple10) -> rule1))] @3: Harry is quiet.[(((triple9 ((((triple9) -> rule3) triple10) -> rule1)) -> rule2))]