Anne is big. Anne is not blue. Anne is white. If someone is big then they are red.
Anne is white.
@0: Anne is big.[(triple1)] Anne is not blue.[(triple2)] Anne is white.[(triple3)] @1: Anne is red.[(((triple1) -> rule1))]