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