take BoolePoset {} ; :: thesis: ( not BoolePoset {} is empty & BoolePoset {} is directed & BoolePoset {} is transitive & BoolePoset {} is strict )
thus ( not BoolePoset {} is empty & BoolePoset {} is directed & BoolePoset {} is transitive & BoolePoset {} is strict ) ; :: thesis: verum