Charlie is nice. Charlie is round. Harry is not kind. All blue, nice people are not red. Round people are blue. All round people are blue.
Charlie is not red.
@0: Charlie is nice.[(triple1)] Charlie is round.[(triple2)] Harry is not kind.[(triple3)] @1: Charlie is blue.[(((triple2) -> rule2) OR ((triple2) -> rule3))] @2: Charlie is not red.[(((((triple2) -> rule2) triple1) -> rule1) OR ((((triple2) -> rule3) triple1) -> rule1))]