Erin is kind. Erin is red. Fiona is green. Fiona is quiet. Fiona is not young. Harry is white. Harry is young. If Erin is kind then Erin is green. Red, green things are nice. All red, young things are not green.
Fiona is not nice.
@0: Erin is kind.[(triple1)] Erin is red.[(triple2)] Fiona is green.[(triple3)] Fiona is not young.[(triple5)] Fiona is quiet.[(triple4)] Harry is white.[(triple6)] Harry is young.[(triple7)] @1: Erin is green.[(((triple1) -> rule1))] @2: Erin is nice.[(((triple2 ((triple1) -> rule1)) -> rule2))]