Anne is cold. Anne is quiet. Anne is white. Harry is big. Harry is cold. Harry is furry. Harry is quiet. Harry is rough. Harry is smart. Harry is white. If someone is rough then they are big. All furry people are rough. All big people are white. All white people are rough. If Harry is cold and Harry is rough then Harry is white. If Harry is white then Harry is furry. All big people are furry. If someone is furry then they are rough.
Anne is not rough.
@0: Anne is cold.[(triple1)] Anne is quiet.[(triple2)] Anne is white.[(triple3)] Harry is big.[(triple4 OR ((triple8) -> rule1) OR ((((triple10) -> rule4)) -> rule1) OR ((((triple6) -> rule2)) -> rule1) OR ((((triple6) -> rule8)) -> rule1) OR ((((((triple10) -> rule6)) -> rule2)) -> rule1) OR ((((((triple10) -> rule6)) -> rule8)) -> rule1))] Harry is cold.[(triple5)] Harry is furry.[(triple6 OR ((triple10) -> rule6) OR ((triple4) -> rule7) OR ((((triple4) -> rule3)) -> rule6) OR ((((triple8) -> rule1)) -> rule7) OR ((((triple5 triple8) -> rule5)) -> rule6) OR ((((((triple10) -> rule4)) -> rule1)) -> rule7) OR ((((((triple8) -> rule1)) -> rule3)) -> rule6))] Harry is quiet.[(triple7)] Harry is rough.[(triple8 OR ((triple10) -> rule4) OR ((triple6) -> rule2) OR ((triple6) -> rule8) OR ((((triple10) -> rule6)) -> rule2) OR ((((triple10) -> rule6)) -> rule8) OR ((((triple4) -> rule3)) -> rule4) OR ((((triple4) -> rule7)) -> rule2) OR ((((triple4) -> rule7)) -> rule8) OR ((((((triple4) -> rule3)) -> rule6)) -> rule2) OR ((((((triple4) -> rule3)) -> rule6)) -> rule8))] Harry is smart.[(triple9)] Harry is white.[(triple10 OR ((triple4) -> rule3) OR ((triple5 triple8) -> rule5) OR ((((triple8) -> rule1)) -> rule3) OR ((triple5 ((triple6) -> rule2)) -> rule5) OR ((triple5 ((triple6) -> rule8)) -> rule5) OR ((((((triple6) -> rule2)) -> rule1)) -> rule3) OR ((((((triple6) -> rule8)) -> rule1)) -> rule3) OR ((triple5 ((((triple4) -> rule7)) -> rule2)) -> rule5) OR ((triple5 ((((triple4) -> rule7)) -> rule8)) -> rule5))] @1: Anne is rough.[(((triple3) -> rule4))] @2: Anne is big.[(((((triple3) -> rule4)) -> rule1))] @3: Anne is furry.[(((((((triple3) -> rule4)) -> rule1)) -> rule7))]