Anne is round. Charlie is green. Harry is kind. All kind people are not green. Round people are green. If someone is blue then they are nice.
Charlie is not nice.
@0: Anne is round.[(triple1)] Charlie is green.[(triple2)] Harry is kind.[(triple3)] @1: Anne is green.[(((triple1) -> rule2))] Harry is not green.[(((triple3) -> rule1))]