その大雀蜂は飢え乾くが実在論者であるということはない
fact1: その大雀蜂はポニーキャニオンだ fact2: もし仮にその大雀蜂はポニーキャニオンなら「それは飢え乾くしかつ実在論者でない」ということは事実と異なる
$facts$ = fact1: その大雀蜂はポニーキャニオンだ fact2: もし仮にその大雀蜂はポニーキャニオンなら「それは飢え乾くしかつ実在論者でない」ということは事実と異なる ; $hypothesis$ = その大雀蜂は飢え乾くが実在論者であるということはない ; $proof$ = 
事実1: その大雀蜂はポニーキャニオンだ
事実2: もし仮にその大雀蜂はポニーキャニオンなら「それは飢え乾くしかつ実在論者でない」ということは事実と異なる

仮説: その大雀蜂は飢え乾くが実在論者であるということはない