Erin is smart. Fiona is green. Harry is nice. All cold people are nice. Red people are nice. If someone is cold and nice then they are round. All nice people are not green. All smart people are red. If Fiona is nice then Fiona is blue.
Fiona is not red.
@0: Erin is smart.[(triple1)] Fiona is green.[(triple2)] Harry is nice.[(triple3)] @1: Erin is red.[(((triple1) -> rule5))] Harry is not green.[(((triple3) -> rule4))] @2: Erin is nice.[(((((triple1) -> rule5)) -> rule2))] @3: Erin is not green.[(((((((triple1) -> rule5)) -> rule2)) -> rule4))]