Anne is white. Charlie is blue. Fiona is blue. Kind people are white. If someone is white then they are big. If Anne is red and Anne is big then Anne is white.
Charlie is blue.
@0: Anne is white.[(triple1)] Charlie is blue.[(triple2)] Fiona is blue.[(triple3)] @1: Anne is big.[(((triple1) -> rule2))]