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