Anne is big. Anne is not furry. Anne is nice. Anne is quiet. Anne is rough. Harry is big. Harry is cold. Harry is not furry. Harry is nice. Harry is quiet. All furry things are not kind. Quiet things are big. If something is big then it is not furry. All big, kind things are furry. Nice, big things are cold. If something is kind and not cold then it is not rough.
Harry is not kind.
@0: Anne is big.[(triple1 OR ((triple4) -> rule2))] Anne is nice.[(triple3)] Anne is not furry.[(triple2 OR ((triple1) -> rule3) OR ((((triple4) -> rule2)) -> rule3))] Anne is quiet.[(triple4)] Anne is rough.[(triple5)] Harry is big.[(triple6 OR ((triple10) -> rule2))] Harry is cold.[(triple7 OR ((triple9 triple6) -> rule5) OR ((triple9 ((triple10) -> rule2)) -> rule5))] Harry is nice.[(triple9)] Harry is not furry.[(triple8 OR ((triple6) -> rule3) OR ((((triple10) -> rule2)) -> rule3))] Harry is quiet.[(triple10)] @1: Anne is cold.[(((triple3 triple1) -> rule5) OR ((triple3 ((triple4) -> rule2)) -> rule5))]