Anne is blue. Anne is nice. Anne is red. Anne is not rough. Bob is round. Charlie is red. Charlie is young. Blue, nice people are young.
Anne is smart.
@0: Anne is blue.[(triple1)] Anne is nice.[(triple2)] Anne is not rough.[(triple4)] Anne is red.[(triple3)] Bob is round.[(triple5)] Charlie is red.[(triple6)] Charlie is young.[(triple7)] @1: Anne is young.[(((triple1 triple2) -> rule1))]