Anne is blue. Anne is red. Bob is rough. If Anne is blue then Anne is not nice.
Anne is not green.
@0: Anne is blue.[(triple1)] Anne is red.[(triple2)] Bob is rough.[(triple3)] @1: Anne is not nice.[(((triple1) -> rule1))]