Dave is blue. Erin is blue. Erin is green. Erin is not rough. Erin is round. Erin is not white. Erin is young. Harry is green. Harry is quiet. Harry is rough. Rough, young things are blue. If Erin is quiet then Erin is not rough. If something is blue then it is quiet. White, rough things are not quiet. Quiet, rough things are not round. If Erin is rough and Erin is not young then Erin is not green.
Harry is not blue.
@0: Dave is blue.[(triple1)] Erin is blue.[(triple2)] Erin is green.[(triple3)] Erin is not rough.[(triple4 OR ((((triple2) -> rule3)) -> rule2))] Erin is not white.[(triple6)] Erin is round.[(triple5)] Erin is young.[(triple7)] Harry is green.[(triple8)] Harry is quiet.[(triple9)] Harry is rough.[(triple10)] @1: Dave is quiet.[(((triple1) -> rule3))] Erin is quiet.[(((triple2) -> rule3))] Harry is not round.[(((triple9 triple10) -> rule5))]