Anne is big. Anne is not cold. Anne is green. Anne is red. Anne is smart. Anne is white. Anne is young. Erin is big. Erin is cold. Erin is red. Erin is not white. Erin is not young. Harry is not cold. Harry is green. Harry is red. Harry is young. If Anne is cold and Anne is big then Anne is green. If Harry is cold and Harry is not green then Harry is red.
Harry is smart.
@0: Anne is big.[(triple1)] Anne is green.[(triple3)] Anne is not cold.[(triple2)] Anne is red.[(triple4)] Anne is smart.[(triple5)] Anne is white.[(triple6)] Anne is young.[(triple7)] Erin is big.[(triple8)] Erin is cold.[(triple9)] Erin is not white.[(triple11)] Erin is not young.[(triple12)] Erin is red.[(triple10)] Harry is green.[(triple14)] Harry is not cold.[(triple13)] Harry is red.[(triple15)] Harry is young.[(triple16)]