Bob is not furry. Dave is cold. Dave is young. Erin is furry. Erin is smart. Gary is cold. Gary is green. All furry, young things are not nice. Smart things are young.
Erin is nice.
@0: Bob is not furry.[(triple1)] Dave is cold.[(triple2)] Dave is young.[(triple3)] Erin is furry.[(triple4)] Erin is smart.[(triple5)] Gary is cold.[(triple6)] Gary is green.[(triple7)] @1: Erin is young.[(((triple5) -> rule2))] @2: Erin is not nice.[(((triple4 ((triple5) -> rule2)) -> rule1))]