Anne is big. Anne is cold. Anne is furry. Anne is smart. Bob is furry. Bob is green. Bob is smart. Bob is white. Dave is kind. Dave is white. Harry is big. Harry is cold. Harry is furry. Harry is green. Harry is kind. Harry is white. All white things are cold. All big things are white.
Anne is not big.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2 OR ((((triple1) -> rule2)) -> rule1))] Anne is furry.[(triple3)] Anne is smart.[(triple4)] Bob is furry.[(triple5)] Bob is green.[(triple6)] Bob is smart.[(triple7)] Bob is white.[(triple8)] Dave is kind.[(triple9)] Dave is white.[(triple10)] Harry is big.[(triple11)] Harry is cold.[(triple12 OR ((triple16) -> rule1) OR ((((triple11) -> rule2)) -> rule1))] Harry is furry.[(triple13)] Harry is green.[(triple14)] Harry is kind.[(triple15)] Harry is white.[(triple16 OR ((triple11) -> rule2))] @1: Anne is white.[(((triple1) -> rule2))] Bob is cold.[(((triple8) -> rule1))] Dave is cold.[(((triple10) -> rule1))]