Anne is big. Anne is blue. Anne is cold. Anne is green. Anne is kind. Anne is nice. Charlie is big. Charlie is not blue. Charlie is smart. Gary is green. Gary is nice. Harry is not blue. Harry is cold. Harry is green. Harry is kind. Harry is not smart. All blue, smart people are cold.
Anne is big.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is cold.[(triple3)] Anne is green.[(triple4)] Anne is kind.[(triple5)] Anne is nice.[(triple6)] Charlie is big.[(triple7)] Charlie is not blue.[(triple8)] Charlie is smart.[(triple9)] Gary is green.[(triple10)] Gary is nice.[(triple11)] Harry is cold.[(triple13)] Harry is green.[(triple14)] Harry is kind.[(triple15)] Harry is not blue.[(triple12)] Harry is not smart.[(triple16)]