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.
Charlie is not round.
@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))]