Anne is big. Anne is not blue. Anne is not furry. Anne is not nice. Anne is quiet. Anne is young. Erin is not kind. Erin is nice. Erin is not young. Gary is not big. Gary is blue. Gary is furry. Gary is quiet. Gary is young. Harry is furry. Harry is kind. All nice, young things are not blue. If something is big and blue then it is nice.
Harry is not nice.
@0: Anne is big.[(triple1)] Anne is not blue.[(triple2)] Anne is not furry.[(triple3)] Anne is not nice.[(triple4)] Anne is quiet.[(triple5)] Anne is young.[(triple6)] Erin is nice.[(triple8)] Erin is not kind.[(triple7)] Erin is not young.[(triple9)] Gary is blue.[(triple11)] Gary is furry.[(triple12)] Gary is not big.[(triple10)] Gary is quiet.[(triple13)] Gary is young.[(triple14)] Harry is furry.[(triple15)] Harry is kind.[(triple16)]