Charlie is kind. Charlie is quiet. Charlie is rough. Harry is furry. Harry is kind. Harry is quiet. Harry is red. Harry is rough. Harry is round. Harry is white. If someone is rough then they are white. If Harry is red and Harry is round then Harry is furry. If Harry is rough and Harry is furry then Harry is red.
Harry is not red.
@0: Charlie is kind.[(triple1)] Charlie is quiet.[(triple2)] Charlie is rough.[(triple3)] Harry is furry.[(triple4 OR ((triple7 triple9) -> rule2))] Harry is kind.[(triple5)] Harry is quiet.[(triple6)] Harry is red.[(triple7 OR ((triple8 triple4) -> rule3))] Harry is rough.[(triple8)] Harry is round.[(triple9)] Harry is white.[(triple10 OR ((triple8) -> rule1))] @1: Charlie is white.[(((triple3) -> rule1))]