Dave is nice. Gary is green. If someone is cold then they are furry. All nice, young people are rough. All green people are young. If someone is cold then they are furry. If someone is green then they are furry. If someone is furry then they are nice. If someone is rough then they are smart. If Dave is cold then Dave is young.
Dave is not young.
@0: Dave is nice.[(triple1)] Gary is green.[(triple2)] @1: Gary is furry.[(((triple2) -> rule5))] Gary is young.[(((triple2) -> rule3))] @2: Gary is nice.[(((((triple2) -> rule5)) -> rule6))] @3: Gary is rough.[(((((((triple2) -> rule5)) -> rule6) ((triple2) -> rule3)) -> rule2))] @4: Gary is smart.[(((((((((triple2) -> rule5)) -> rule6) ((triple2) -> rule3)) -> rule2)) -> rule7))]