Anne is big. Anne is not rough. Anne is young. Bob is kind. Bob is not rough. Bob is smart. Bob is young. Dave is kind. Dave is nice. Dave is young. Gary is green. Gary is smart. If someone is green and not big then they are smart.
Anne is green.
@0: Anne is big.[(triple1)] Anne is not rough.[(triple2)] Anne is young.[(triple3)] Bob is kind.[(triple4)] Bob is not rough.[(triple5)] Bob is smart.[(triple6)] Bob is young.[(triple7)] Dave is kind.[(triple8)] Dave is nice.[(triple9)] Dave is young.[(triple10)] Gary is green.[(triple11)] Gary is smart.[(triple12)]