もしもこの研磨剤は御泊まらないなら「そのマウスパッドが遺伝形質だし客観説だ」ということは偽である
fact1: もし仮にこの研磨剤が御泊まらないならそのマウスパッドは遺伝形質であるしかつ客観説である fact2: 仮にこの研磨剤は御泊まれば「そのマウスパッドは遺伝形質であるし客観説である」ということは誤りである fact3: もしもなにがしかの物は丸腰だとすれば「そのマウスパッドは遺伝形質であるし客観説だ」ということは成り立つということはない fact4: もし丸腰があるとすればそのマウスパッドは遺伝形質だし客観説である fact5: 「そのマウスパッドは御泊まるししかも遺伝形質である」ということは事実と異なる fact6: そのマウスパッドは御泊まるということはないならば「それは遺伝形質だ」ということは成り立つ fact7: もし「何かは御泊まらない」ということは確かなら丸腰である fact8: もし何かは手続きしないとすればそれは聞き終える fact9: もしなんらかのものは客観説ならば「この研磨剤が丸腰だしまた遺伝形質である」ということは事実と異なる fact10: もしもとあるものは御泊まるなら「この研磨剤が客観説だしおまけにそれは遺伝形質である」ということは偽である
fact7 -> int1: もしもこの研磨剤が御泊まらないとすればそれは丸腰だ; void -> assump1: 以下のように仮定する。この研磨剤は御泊まらない; int1 & assump1 -> int2: この研磨剤は丸腰である; int2 -> int3: とあるものは丸腰だ; int3 & fact3 -> int4: 「「そのマウスパッドが遺伝形質だしその上それは客観説だ」ということは真実だ」ということは事実でない; [assump1] & int4 -> hypothesis;
$facts$ = fact1: もし仮にこの研磨剤が御泊まらないならそのマウスパッドは遺伝形質であるしかつ客観説である fact2: 仮にこの研磨剤は御泊まれば「そのマウスパッドは遺伝形質であるし客観説である」ということは誤りである fact3: もしもなにがしかの物は丸腰だとすれば「そのマウスパッドは遺伝形質であるし客観説だ」ということは成り立つということはない fact4: もし丸腰があるとすればそのマウスパッドは遺伝形質だし客観説である fact5: 「そのマウスパッドは御泊まるししかも遺伝形質である」ということは事実と異なる fact6: そのマウスパッドは御泊まるということはないならば「それは遺伝形質だ」ということは成り立つ fact7: もし「何かは御泊まらない」ということは確かなら丸腰である fact8: もし何かは手続きしないとすればそれは聞き終える fact9: もしなんらかのものは客観説ならば「この研磨剤が丸腰だしまた遺伝形質である」ということは事実と異なる fact10: もしもとあるものは御泊まるなら「この研磨剤が客観説だしおまけにそれは遺伝形質である」ということは偽である ; $hypothesis$ = もしもこの研磨剤は御泊まらないなら「そのマウスパッドが遺伝形質だし客観説だ」ということは偽である ; $proof$ = 
fact7 -> int1: もしもこの研磨剤が御泊まらないとすればそれは丸腰だ; void -> assump1: 以下のように仮定する。この研磨剤は御泊まらない; int1 & assump1 -> int2: この研磨剤は丸腰である; int2 -> int3: とあるものは丸腰だ; int3 & fact3 -> int4: 「「そのマウスパッドが遺伝形質だしその上それは客観説だ」ということは真実だ」ということは事実でない; [assump1] & int4 -> hypothesis; __PROVED__
事実1: もし仮にこの研磨剤が御泊まらないならそのマウスパッドは遺伝形質であるしかつ客観説である
事実2: 仮にこの研磨剤は御泊まれば「そのマウスパッドは遺伝形質であるし客観説である」ということは誤りである
事実3: もしもなにがしかの物は丸腰だとすれば「そのマウスパッドは遺伝形質であるし客観説だ」ということは成り立つということはない
事実4: もし丸腰があるとすればそのマウスパッドは遺伝形質だし客観説である
事実5: 「そのマウスパッドは御泊まるししかも遺伝形質である」ということは事実と異なる
事実6: そのマウスパッドは御泊まるということはないならば「それは遺伝形質だ」ということは成り立つ
事実7: もし「何かは御泊まらない」ということは確かなら丸腰である
事実8: もし何かは手続きしないとすればそれは聞き終える
事実9: もしなんらかのものは客観説ならば「この研磨剤が丸腰だしまた遺伝形質である」ということは事実と異なる
事実10: もしもとあるものは御泊まるなら「この研磨剤が客観説だしおまけにそれは遺伝形質である」ということは偽である

仮説: もしもこの研磨剤は御泊まらないなら「そのマウスパッドが遺伝形質だし客観説だ」ということは偽である
1. 事実7から、推論1: "もしもこの研磨剤が御泊まらないとすればそれは丸腰だ"が導かれる
2. 仮定1: 以下のように仮定する。この研磨剤は御泊まらない
3. 推論1と仮定1から、推論2: "この研磨剤は丸腰である"が導かれる
4. 推論2から、推論3: "とあるものは丸腰だ"が導かれる
5. 推論3と事実3から、推論4: "「「そのマウスパッドが遺伝形質だしその上それは客観説だ」ということは真実だ」ということは事実でない"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

よって、仮説が証明されました。