Erin is rough. Fiona is not white. Gary is young. All rough, cold people are furry. If someone is cold and rough then they are furry. If Erin is white and Erin is furry then Erin is young. All rough people are cold. All rough people are not white. If Erin is furry then Erin is cold.
Erin is not young.
@0: Erin is rough.[(triple1)] Fiona is not white.[(triple2)] Gary is young.[(triple3)] @1: Erin is cold.[(((triple1) -> rule4))] Erin is not white.[(((triple1) -> rule5))] @2: Erin is furry.[(((triple1 ((triple1) -> rule4)) -> rule1) OR ((((triple1) -> rule4) triple1) -> rule2))]