Dave is furry. Erin is white. Gary is cold. Harry is nice. All furry things are quiet. If Erin is nice and Erin is furry then Erin is red. If something is nice and white then it is quiet. If Erin is nice and Erin is quiet then Erin is furry. If something is young and quiet then it is cold. Young, quiet things are cold.
Dave is not young.
@0: Dave is furry.[(triple1)] Erin is white.[(triple2)] Gary is cold.[(triple3)] Harry is nice.[(triple4)] @1: Dave is quiet.[(((triple1) -> rule1))]