Anne is blue. Anne is red. Charlie is quiet. Charlie is white. Erin is nice. Erin is not red. Erin is white. All cold things are quiet. If Charlie is red and Charlie is not white then Charlie is nice. If Anne is blue then Anne is white.
Anne is young.
@0: Anne is blue.[(triple1)] Anne is red.[(triple2)] Charlie is quiet.[(triple3)] Charlie is white.[(triple4)] Erin is nice.[(triple5)] Erin is not red.[(triple6)] Erin is white.[(triple7)] @1: Anne is white.[(((triple1) -> rule3))]