Anne is quiet. Dave is red. Erin is red. Harry is blue. Blue things are white.
Erin is not red.
@0: Anne is quiet.[(triple1)] Dave is red.[(triple2)] Erin is red.[(triple3)] Harry is blue.[(triple4)] @1: Harry is white.[(((triple4) -> rule1))]