Anne is cold. Anne is nice. Anne is quiet. Harry is cold. Harry is not green. Harry is smart. Harry is young. If someone is smart and not cold then they are not green. If someone is big and not green then they are not young.
Harry is cold.
@0: Anne is cold.[(triple1)] Anne is nice.[(triple2)] Anne is quiet.[(triple3)] Harry is cold.[(triple4)] Harry is not green.[(triple5)] Harry is smart.[(triple6)] Harry is young.[(triple7)]