Dave is young. Erin is quiet. Erin is young. If someone is quiet then they are furry.
Dave is not furry.
@0: Dave is young.[(triple1)] Erin is quiet.[(triple2)] Erin is young.[(triple3)] @1: Erin is furry.[(((triple2) -> rule1))]