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