Dave is furry. Erin is furry. Erin is nice. Erin is young. Fiona is blue. Fiona is white. Fiona is young. Gary is blue. Gary is furry. Gary is kind. Gary is white. Gary is young. All blue, nice things are young. If something is blue and furry then it is cold. If Erin is kind then Erin is nice. All blue, furry things are young. Blue, cold things are young. Furry, kind things are cold.
Erin is young.
@0: Dave is furry.[(triple1)] Erin is furry.[(triple2)] Erin is nice.[(triple3)] Erin is young.[(triple4)] Fiona is blue.[(triple5)] Fiona is white.[(triple6)] Fiona is young.[(triple7)] Gary is blue.[(triple8)] Gary is furry.[(triple9)] Gary is kind.[(triple10)] Gary is white.[(triple11)] Gary is young.[(triple12 OR ((triple8 triple9) -> rule4) OR ((triple8 ((triple8 triple9) -> rule2)) -> rule5) OR ((triple8 ((triple9 triple10) -> rule6)) -> rule5))] @1: Gary is cold.[(((triple8 triple9) -> rule2) OR ((triple9 triple10) -> rule6))]