Dave is cold. Dave is kind. Dave is nice. Dave is quiet. Dave is not smart. Dave is white. Erin is kind. Erin is nice. Harry is cold. Harry is not furry. Harry is not nice. Harry is white. Quiet things are not smart. Furry things are quiet. All smart, furry things are quiet. All nice things are not furry. If something is furry then it is not cold. If Erin is not furry then Erin is not cold.
Erin is cold.
@0: Dave is cold.[(triple1)] Dave is kind.[(triple2)] Dave is nice.[(triple3)] Dave is not smart.[(triple5 OR ((triple4) -> rule1))] Dave is quiet.[(triple4)] Dave is white.[(triple6)] Erin is kind.[(triple7)] Erin is nice.[(triple8)] Harry is cold.[(triple9)] Harry is not furry.[(triple10)] Harry is not nice.[(triple11)] Harry is white.[(triple12)] @1: Dave is not furry.[(((triple3) -> rule4))] Erin is not furry.[(((triple8) -> rule4))] @2: Erin is not cold.[(((((triple8) -> rule4)) -> rule6))]