Dave is furry. Dave is nice. Dave is quiet. Dave is smart. Erin is quiet. Erin is red. Erin is young. If something is smart and young then it is red. All nice things are young.
Erin is nice.
@0: Dave is furry.[(triple1)] Dave is nice.[(triple2)] Dave is quiet.[(triple3)] Dave is smart.[(triple4)] Erin is quiet.[(triple5)] Erin is red.[(triple6)] Erin is young.[(triple7)] @1: Dave is young.[(((triple2) -> rule2))] @2: Dave is red.[(((triple4 ((triple2) -> rule2)) -> rule1))]