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.
Harry is not kind.
@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))]