Anne is not rough. Erin is rough. Fiona is white. Gary is cold. All rough things are nice. If Erin is nice then Erin is white. Cold, blue things are young. All cold, white things are blue. If something is white and not rough then it is cold. White, rough things are not cold.
Anne is cold.
@0: Anne is not rough.[(triple1)] Erin is rough.[(triple2)] Fiona is white.[(triple3)] Gary is cold.[(triple4)] @1: Erin is nice.[(((triple2) -> rule1))] @2: Erin is white.[(((((triple2) -> rule1)) -> rule2))] @3: Erin is not cold.[(((((((triple2) -> rule1)) -> rule2) triple2) -> rule6))]