consider X being non empty set ;
take BoolePoset X ; :: thesis: ( BoolePoset X is bounded & not BoolePoset X is trivial )
thus ( BoolePoset X is bounded & not BoolePoset X is trivial ) ; :: thesis: verum