Anne is big. Anne is green. Anne is kind. Anne is red. Dave is big. Dave is red. Dave is smart. Gary is big. Gary is green. Gary is kind. Gary is smart. Gary is young. All white, smart things are green.
Anne is red.
@0: Anne is big.[(triple1)] Anne is green.[(triple2)] Anne is kind.[(triple3)] Anne is red.[(triple4)] Dave is big.[(triple5)] Dave is red.[(triple6)] Dave is smart.[(triple7)] Gary is big.[(triple8)] Gary is green.[(triple9)] Gary is kind.[(triple10)] Gary is smart.[(triple11)] Gary is young.[(triple12)]