Anne is not big. Anne is green. Anne is not kind. Anne is nice. Anne is red. Anne is round. Anne is smart. If someone is big then they are green. If someone is red and not green then they are not kind.
Anne is smart.
@0: Anne is green.[(triple2)] Anne is nice.[(triple4)] Anne is not big.[(triple1)] Anne is not kind.[(triple3)] Anne is red.[(triple5)] Anne is round.[(triple6)] Anne is smart.[(triple7)]