Anne is young. Dave is cold. Erin is furry. Gary is round. All blue people are furry. Furry people are cold. If Erin is young then Erin is green.
Gary is not round.
@0: Anne is young.[(triple1)] Dave is cold.[(triple2)] Erin is furry.[(triple3)] Gary is round.[(triple4)] @1: Erin is cold.[(((triple3) -> rule2))]