Charlie is quiet. Erin is blue. Erin is nice. Erin is smart. Erin is white. Harry is furry. Harry is nice. All quiet, green people are blue. White, blue people are smart. If someone is green and furry then they are blue. If Harry is smart and Harry is white then Harry is green. If someone is furry and quiet then they are blue. If someone is furry and nice then they are blue. All smart people are quiet. If someone is white then they are quiet.
Harry is not smart.
@0: Charlie is quiet.[(triple1)] Erin is blue.[(triple2)] Erin is nice.[(triple3)] Erin is smart.[(triple4 OR ((triple5 triple2) -> rule2))] Erin is white.[(triple5)] Harry is furry.[(triple6)] Harry is nice.[(triple7)] @1: Erin is quiet.[(((triple4) -> rule7) OR ((triple5) -> rule8) OR ((((triple5 triple2) -> rule2)) -> rule7))] Harry is blue.[(((triple6 triple7) -> rule6))]