Erin is not red. Fiona is white. Gary is round. If Fiona is white then Fiona is red. If Fiona is not white then Fiona is smart. If Erin is nice then Erin is not young. If Fiona is red then Fiona is round. Kind, round things are nice. All white, kind things are not young.
Fiona is not smart.
@0: Erin is not red.[(triple1)] Fiona is white.[(triple2)] Gary is round.[(triple3)] @1: Fiona is red.[(((triple2) -> rule1))] @2: Fiona is round.[(((((triple2) -> rule1)) -> rule4))]