Anne is kind. Anne is not quiet. Anne is white. Anne is young. Charlie is furry. Charlie is smart. Erin is blue. Erin is kind. Erin is quiet. Erin is smart. Erin is white. Harry is not blue. Harry is furry. Harry is not smart. Harry is young. All smart, blue people are white. If someone is smart then they are furry. If someone is smart then they are young. All smart people are young. If Harry is white then Harry is kind. If someone is furry then they are quiet.
Charlie is not young.
@0: Anne is kind.[(triple1)] Anne is not quiet.[(triple2)] Anne is white.[(triple3)] Anne is young.[(triple4)] Charlie is furry.[(triple5 OR ((triple6) -> rule2))] Charlie is smart.[(triple6)] Erin is blue.[(triple7)] Erin is kind.[(triple8)] Erin is quiet.[(triple9 OR ((((triple10) -> rule2)) -> rule6))] Erin is smart.[(triple10)] Erin is white.[(triple11 OR ((triple10 triple7) -> rule1))] Harry is furry.[(triple13)] Harry is not blue.[(triple12)] Harry is not smart.[(triple14)] Harry is young.[(triple15)] @1: Charlie is quiet.[(((triple5) -> rule6) OR ((((triple6) -> rule2)) -> rule6))] Charlie is young.[(((triple6) -> rule3) OR ((triple6) -> rule4))] Erin is furry.[(((triple10) -> rule2))] Erin is young.[(((triple10) -> rule3) OR ((triple10) -> rule4))] Harry is quiet.[(((triple13) -> rule6))]