Bob is nice. Dave is furry. Erin is furry. Gary is cold. Smart people are cold. If Gary is blue then Gary is young. If Dave is furry then Dave is young. If someone is blue and cold then they are furry. All blue, furry people are quiet. If someone is quiet and blue then they are furry.
Dave is not young.
@0: Bob is nice.[(triple1)] Dave is furry.[(triple2)] Erin is furry.[(triple3)] Gary is cold.[(triple4)] @1: Dave is young.[(((triple2) -> rule3))]