Dave is not cold. Dave is furry. Dave is green. Dave is young. Erin is kind. Erin is smart. Erin is young. Gary is furry. Gary is rough. Harry is not furry. Harry is rough. Harry is smart. If Erin is furry then Erin is cold. Young people are furry. Cold, smart people are furry.
Harry is rough.
@0: Dave is furry.[(triple2 OR ((triple4) -> rule2))] Dave is green.[(triple3)] Dave is not cold.[(triple1)] Dave is young.[(triple4)] Erin is kind.[(triple5)] Erin is smart.[(triple6)] Erin is young.[(triple7)] Gary is furry.[(triple8)] Gary is rough.[(triple9)] Harry is not furry.[(triple10)] Harry is rough.[(triple11)] Harry is smart.[(triple12)] @1: Erin is furry.[(((triple7) -> rule2))] @2: Erin is cold.[(((((triple7) -> rule2)) -> rule1))]