Charlie is quiet. Charlie is rough. Charlie is round. Charlie is white. Erin is furry. Erin is not rough. Erin is not round. Erin is not white. Harry is not kind. Harry is round. If Harry is rough then Harry is not furry. All furry things are not round. If something is furry and not white then it is quiet. If Harry is rough and Harry is kind then Harry is round. If Harry is white then Harry is not green. If something is quiet and rough then it is not green. If Harry is white then Harry is rough. White things are not furry.
Harry is not kind.
@0: Charlie is quiet.[(triple1)] Charlie is rough.[(triple2)] Charlie is round.[(triple3)] Charlie is white.[(triple4)] Erin is furry.[(triple5)] Erin is not rough.[(triple6)] Erin is not round.[(triple7 OR ((triple5) -> rule2))] Erin is not white.[(triple8)] Harry is not kind.[(triple9)] Harry is round.[(triple10)] @1: Charlie is not furry.[(((triple4) -> rule8))] Charlie is not green.[(((triple1 triple2) -> rule6))] Erin is quiet.[(((triple5 triple8) -> rule3))]