Anne is quiet. Dave is quiet. Erin is red. Harry is white. If Dave is nice and Dave is red then Dave is white. White, smart things are nice. If something is red then it is green. If something is smart and green then it is red. All quiet, big things are red. If something is quiet and green then it is white. Quiet things are white. If Dave is smart and Dave is nice then Dave is big.
Erin is red.
@0: Anne is quiet.[(triple1)] Dave is quiet.[(triple2)] Erin is red.[(triple3)] Harry is white.[(triple4)] @1: Anne is white.[(((triple1) -> rule7))] Dave is white.[(((triple2) -> rule7))] Erin is green.[(((triple3) -> rule3))]