Dave is cold. Dave is nice. Dave is smart. Dave is young. Erin is cold. Erin is furry. Erin is green. Erin is nice. Harry is cold. Harry is green. Harry is white. Harry is young. If someone is nice and white then they are green. If someone is nice and furry then they are green. If someone is green then they are nice.
Harry is not furry.
@0: Dave is cold.[(triple1)] Dave is nice.[(triple2)] Dave is smart.[(triple3)] Dave is young.[(triple4)] Erin is cold.[(triple5)] Erin is furry.[(triple6)] Erin is green.[(triple7 OR ((triple8 triple6) -> rule2))] Erin is nice.[(triple8 OR ((triple7) -> rule3))] Harry is cold.[(triple9)] Harry is green.[(triple10)] Harry is white.[(triple11)] Harry is young.[(triple12)] @1: Harry is nice.[(((triple10) -> rule3))]