Anne is big. Anne is blue. Anne is cold. Anne is furry. Anne is kind. Anne is round. Anne is smart. Dave is blue. Dave is kind. Dave is not smart. Harry is blue. Harry is cold. Harry is furry. Harry is kind. Harry is not round. Harry is smart. If something is smart and round then it is cold. All furry, smart things are blue. All big things are blue. If Dave is furry and Dave is not cold then Dave is blue. Blue things are kind. If something is smart then it is kind.
Dave is not cold.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2 OR ((triple1) -> rule3) OR ((triple4 triple7) -> rule2))] Anne is cold.[(triple3 OR ((triple7 triple6) -> rule1))] Anne is furry.[(triple4)] Anne is kind.[(triple5 OR ((triple2) -> rule5) OR ((triple7) -> rule6) OR ((((triple1) -> rule3)) -> rule5) OR ((((triple4 triple7) -> rule2)) -> rule5))] Anne is round.[(triple6)] Anne is smart.[(triple7)] Dave is blue.[(triple8)] Dave is kind.[(triple9 OR ((triple8) -> rule5))] Dave is not smart.[(triple10)] Harry is blue.[(triple11 OR ((triple13 triple16) -> rule2))] Harry is cold.[(triple12)] Harry is furry.[(triple13)] Harry is kind.[(triple14 OR ((triple11) -> rule5) OR ((triple16) -> rule6) OR ((((triple13 triple16) -> rule2)) -> rule5))] Harry is not round.[(triple15)] Harry is smart.[(triple16)]