Anne is quiet. Charlie is nice. Fiona is blue. Gary is white. If Anne is white then Anne is green. If someone is nice then they are white. Quiet people are white. If someone is green then they are red. Nice, big people are blue. Big, nice people are quiet.
Fiona is blue.
@0: Anne is quiet.[(triple1)] Charlie is nice.[(triple2)] Fiona is blue.[(triple3)] Gary is white.[(triple4)] @1: Anne is white.[(((triple1) -> rule3))] Charlie is white.[(((triple2) -> rule2))] @2: Anne is green.[(((((triple1) -> rule3)) -> rule1))] @3: Anne is red.[(((((((triple1) -> rule3)) -> rule1)) -> rule4))]