Erin is cold. Gary is smart. If Erin is young and Erin is blue then Erin is smart. Smart things are kind. All cold things are kind. If something is young then it is cold. All smart things are young. All blue things are young. Blue things are young. Cold, young things are smart.
Erin is not young.
@0: Erin is cold.[(triple1)] Gary is smart.[(triple2)] @1: Erin is kind.[(((triple1) -> rule3))] Gary is kind.[(((triple2) -> rule2) OR ((((((triple2) -> rule5)) -> rule4)) -> rule3))] Gary is young.[(((triple2) -> rule5))] @2: Gary is cold.[(((((triple2) -> rule5)) -> rule4))]