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