Anne is cold. Anne is furry. Anne is nice. Anne is red. Anne is smart. Anne is white. Charlie is furry. Charlie is red. Charlie is round. Charlie is white. Harry is cold. Harry is nice. Harry is round. Harry is smart. Harry is white. If someone is nice and furry then they are cold. All smart, round people are red. If Harry is red then Harry is round. Cold people are smart. All smart people are red. If Charlie is red and Charlie is furry then Charlie is smart.
Harry is not cold.
@0: Anne is cold.[(triple1 OR ((triple3 triple2) -> rule1))] Anne is furry.[(triple2)] Anne is nice.[(triple3)] Anne is red.[(triple4 OR ((triple5) -> rule5) OR ((((triple1) -> rule4)) -> rule5) OR ((((((triple3 triple2) -> rule1)) -> rule4)) -> rule5))] Anne is smart.[(triple5 OR ((triple1) -> rule4) OR ((((triple3 triple2) -> rule1)) -> rule4))] Anne is white.[(triple6)] Charlie is furry.[(triple7)] Charlie is red.[(triple8)] Charlie is round.[(triple9)] Charlie is white.[(triple10)] Harry is cold.[(triple11)] Harry is nice.[(triple12)] Harry is round.[(triple13 OR ((((triple14) -> rule5)) -> rule3) OR ((((((triple11) -> rule4)) -> rule5)) -> rule3))] Harry is smart.[(triple14 OR ((triple11) -> rule4))] Harry is white.[(triple15)] @1: Charlie is smart.[(((triple8 triple7) -> rule6))] Harry is red.[(((triple14) -> rule5) OR ((triple14 triple13) -> rule2) OR ((((triple11) -> rule4)) -> rule5) OR ((((triple11) -> rule4) triple13) -> rule2))]