Anne is blue. Charlie is big. Erin is red. All blue people are quiet.
Anne is not blue.
@0: Anne is blue.[(triple1)] Charlie is big.[(triple2)] Erin is red.[(triple3)] @1: Anne is quiet.[(((triple1) -> rule1))]