Erin is blue. Erin is green. Erin is nice. Erin is quiet. Harry is green. Harry is red. Harry is smart. White, blue things are nice. If something is red and blue then it is white. All red, green things are blue.
Erin is not smart.
@0: Erin is blue.[(triple1)] Erin is green.[(triple2)] Erin is nice.[(triple3)] Erin is quiet.[(triple4)] Harry is green.[(triple5)] Harry is red.[(triple6)] Harry is smart.[(triple7)] @1: Harry is blue.[(((triple6 triple5) -> rule3))] @2: Harry is white.[(((triple6 ((triple6 triple5) -> rule3)) -> rule2))] @3: Harry is nice.[(((((triple6 ((triple6 triple5) -> rule3)) -> rule2) ((triple6 triple5) -> rule3)) -> rule1))]