Anne is young. Charlie is white. Fiona is cold. All rough, young people are blue. If someone is young then they are nice. All green, nice people are young. If someone is green then they are nice. If Charlie is nice then Charlie is white. If Fiona is cold then Fiona is green.
Anne is not young.
@0: Anne is young.[(triple1)] Charlie is white.[(triple2)] Fiona is cold.[(triple3)] @1: Anne is nice.[(((triple1) -> rule2))] Fiona is green.[(((triple3) -> rule6))] @2: Fiona is nice.[(((((triple3) -> rule6)) -> rule4))] @3: Fiona is young.[(((((triple3) -> rule6) ((((triple3) -> rule6)) -> rule4)) -> rule3))]