Anne is not cold. Anne is nice. Anne is not smart. Dave is cold. Dave is furry. Dave is kind. Dave is nice. Dave is round. Dave is smart. Dave is young. Erin is not cold. Erin is round. Harry is cold. Harry is not furry. Harry is nice. If Anne is furry and Anne is young then Anne is round. If Anne is furry then Anne is round. All cold, nice people are kind. If someone is round and not nice then they are kind. If Erin is round and Erin is not smart then Erin is furry. If Anne is young then Anne is not cold.
Erin is not furry.
@0: Anne is nice.[(triple2)] Anne is not cold.[(triple1)] Anne is not smart.[(triple3)] Dave is cold.[(triple4)] Dave is furry.[(triple5)] Dave is kind.[(triple6 OR ((triple4 triple7) -> rule3))] Dave is nice.[(triple7)] Dave is round.[(triple8)] Dave is smart.[(triple9)] Dave is young.[(triple10)] Erin is not cold.[(triple11)] Erin is round.[(triple12)] Harry is cold.[(triple13)] Harry is nice.[(triple15)] Harry is not furry.[(triple14)] @1: Harry is kind.[(((triple13 triple15) -> rule3))]