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.
Anne is green.
@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))]