Charlie is furry. Charlie is quiet. Charlie is white. Dave is blue. Erin is blue. Erin is nice. Harry is blue. Harry is furry. Harry is not nice. Harry is not smart. Harry is white. Harry is young. If Erin is smart and Erin is young then Erin is blue. If something is blue and not nice then it is white. If something is blue then it is young. If Erin is smart and Erin is nice then Erin is furry. If Erin is furry and Erin is not young then Erin is not white. All white things are quiet. If something is smart and not white then it is quiet. If Dave is white and Dave is not quiet then Dave is young.
Dave is not quiet.
@0: Charlie is furry.[(triple1)] Charlie is quiet.[(triple2 OR ((triple3) -> rule6))] Charlie is white.[(triple3)] Dave is blue.[(triple4)] Erin is blue.[(triple5)] Erin is nice.[(triple6)] Harry is blue.[(triple7)] Harry is furry.[(triple8)] Harry is not nice.[(triple9)] Harry is not smart.[(triple10)] Harry is white.[(triple11 OR ((triple7 triple9) -> rule2))] Harry is young.[(triple12 OR ((triple7) -> rule3))] @1: Dave is young.[(((triple4) -> rule3))] Erin is young.[(((triple5) -> rule3))] Harry is quiet.[(((triple11) -> rule6) OR ((((triple7 triple9) -> rule2)) -> rule6))]