Anne is not big. Anne is not blue. Anne is green. Anne is young. Bob is blue. Bob is not green. Bob is red. Erin is quiet. Erin is red. Erin is young. Harry is green. Harry is red. If something is big and not quiet then it is not smart.
Anne is young.
@0: Anne is green.[(triple3)] Anne is not big.[(triple1)] Anne is not blue.[(triple2)] Anne is young.[(triple4)] Bob is blue.[(triple5)] Bob is not green.[(triple6)] Bob is red.[(triple7)] Erin is quiet.[(triple8)] Erin is red.[(triple9)] Erin is young.[(triple10)] Harry is green.[(triple11)] Harry is red.[(triple12)]