Erin is not cold. Erin is furry. Erin is green. Harry is blue. Harry is not cold. Harry is furry. Harry is young. If someone is rough and not cold then they are green. Rough people are young. All green people are not young. If Harry is young then Harry is not rough. If someone is green and not rough then they are blue. If someone is cold then they are not furry. All cold, blue people are furry. If Erin is not green then Erin is not furry.
Harry is not furry.
@0: Erin is furry.[(triple2)] Erin is green.[(triple3)] Erin is not cold.[(triple1)] Harry is blue.[(triple4)] Harry is furry.[(triple6)] Harry is not cold.[(triple5)] Harry is young.[(triple7)] @1: Erin is not young.[(((triple3) -> rule3))] Harry is not rough.[(((triple7) -> rule4))]