Charlie is white. Erin is green. Fiona is not kind. If Fiona is kind and Fiona is young then Fiona is green. Kind, young things are round. Green things are not white. If something is kind and not young then it is green. If Fiona is cold then Fiona is round. If something is cold and not white then it is not quiet.
Erin is not round.
@0: Charlie is white.[(triple1)] Erin is green.[(triple2)] Fiona is not kind.[(triple3)] @1: Erin is not white.[(((triple2) -> rule3))]