Anne is not nice. Anne is not red. Charlie is quiet. Charlie is not red. Harry is blue. Harry is red. Harry is not rough. All red, nice people are quiet. If Anne is blue and Anne is not furry then Anne is rough. If someone is blue then they are nice. If someone is kind and not nice then they are rough. If someone is rough and not quiet then they are kind. Quiet people are not kind.
Anne is not quiet.
@0: Anne is not nice.[(triple1)] Anne is not red.[(triple2)] Charlie is not red.[(triple4)] Charlie is quiet.[(triple3)] Harry is blue.[(triple5)] Harry is not rough.[(triple7)] Harry is red.[(triple6)] @1: Charlie is not kind.[(((triple3) -> rule6))] Harry is nice.[(((triple5) -> rule3))] @2: Harry is quiet.[(((triple6 ((triple5) -> rule3)) -> rule1))] @3: Harry is not kind.[(((((triple6 ((triple5) -> rule3)) -> rule1)) -> rule6))]