Anne is smart. Anne is white. Charlie is big. Erin is blue. Erin is green. Erin is smart. Harry is blue. White people are blue. Smart, blue people are green. All quiet, kind people are green. Kind people are blue. If someone is green and blue then they are smart. If Erin is kind and Erin is big then Erin is smart.
Anne is not smart.
@0: Anne is smart.[(triple1)] Anne is white.[(triple2)] Charlie is big.[(triple3)] Erin is blue.[(triple4)] Erin is green.[(triple5 OR ((triple6 triple4) -> rule2))] Erin is smart.[(triple6 OR ((triple5 triple4) -> rule5))] Harry is blue.[(triple7)] @1: Anne is blue.[(((triple2) -> rule1))] @2: Anne is green.[(((triple1 ((triple2) -> rule1)) -> rule2))]