Dave is not furry. Dave is nice. Dave is not young. Erin is furry. Erin is green. Erin is young. Harry is furry. Harry is not red. Harry is rough. Harry is young. All nice, young people are furry. If someone is red and green then they are young. If someone is rough and not red then they are cold. If Dave is green and Dave is not red then Dave is nice. If Dave is green then Dave is cold. Red people are nice.
Dave is rough.
@0: Dave is nice.[(triple2)] Dave is not furry.[(triple1)] Dave is not young.[(triple3)] Erin is furry.[(triple4)] Erin is green.[(triple5)] Erin is young.[(triple6)] Harry is furry.[(triple7)] Harry is not red.[(triple8)] Harry is rough.[(triple9)] Harry is young.[(triple10)] @1: Harry is cold.[(((triple9 triple8) -> rule3))]