Erin is white. Fiona is green. If Fiona is red and Fiona is round then Fiona is not green. All round things are not red. Green things are red. If something is round then it is red. If Fiona is red and Fiona is green then Fiona is young. White, smart things are round. If Erin is red and Erin is not smart then Erin is not green. All smart, white things are cold.
Fiona is young.
@0: Erin is white.[(triple1)] Fiona is green.[(triple2)] @1: Fiona is red.[(((triple2) -> rule3))] @2: Fiona is young.[(((((triple2) -> rule3) triple2) -> rule5))]