Anne is nice. Dave is quiet. Gary is nice. Harry is not smart. If something is nice and big then it is smart.
Gary is not nice.
@0: Anne is nice.[(triple1)] Dave is quiet.[(triple2)] Gary is nice.[(triple3)] Harry is not smart.[(triple4)]