Anne is blue. Anne is nice. Anne is quiet. Anne is red. Anne is rough. Dave is blue. Dave is rough. If Anne is big then Anne is blue. All blue people are green.
Anne is blue.
@0: Anne is blue.[(triple1)] Anne is nice.[(triple2)] Anne is quiet.[(triple3)] Anne is red.[(triple4)] Anne is rough.[(triple5)] Dave is blue.[(triple6)] Dave is rough.[(triple7)] @1: Anne is green.[(((triple1) -> rule2))] Dave is green.[(((triple6) -> rule2))]