Dave is kind. Dave is nice. Fiona is smart. Gary is kind. Gary is nice. Gary is quiet. Gary is rough. Gary is smart. Harry is kind. Harry is quiet. If something is nice and big then it is smart.
Harry is not kind.
@0: Dave is kind.[(triple1)] Dave is nice.[(triple2)] Fiona is smart.[(triple3)] Gary is kind.[(triple4)] Gary is nice.[(triple5)] Gary is quiet.[(triple6)] Gary is rough.[(triple7)] Gary is smart.[(triple8)] Harry is kind.[(triple9)] Harry is quiet.[(triple10)]