Anne is blue. Anne is green. Anne is kind. Anne is red. Bob is blue. Bob is red. Bob is young. Kind people are young. If Anne is blue then Anne is young.
Anne is smart.
@0: Anne is blue.[(triple1)] Anne is green.[(triple2)] Anne is kind.[(triple3)] Anne is red.[(triple4)] Bob is blue.[(triple5)] Bob is red.[(triple6)] Bob is young.[(triple7)] @1: Anne is young.[(((triple1) -> rule2) OR ((triple3) -> rule1))]