「もし仮にあの加圧力は帰隊すれば「あの月明は行われ易い」ということは誤っているということはない」ということは間違いである
fact1: もし「この反発は念押しするということはないがしかしそれは通行する」ということは誤っているとしたらあの月明は行われ易い fact2: 「この反発は念押しするしまた通行する」ということは偽だ fact3: あの加圧力は行われ易い fact4: 仮に「あの網衣は念押しする」ということは成り立つなら「この反発は念押しするということはないけれどそれは通行する」ということは嘘である fact5: もし仮にあの月明が帰隊するとすればあの加圧力は行われ易い fact6: もし仮にあの月明が通行すればこの反発は行われ易い fact7: 「あの加圧力は帰隊する」ということは成り立つならばあの網衣は念押しする fact8: もしこの反発が帰隊するとしたらあの加圧力は念押しする fact9: この反発は行われ易い fact10: もしもあの月明が念押しするとすればこの反発は行われ易い fact11: あの月明は念押しする fact12: もし仮にこの反発は帰隊するとすれば「あの加圧力は帰隊しないがしかし通行する」ということは誤っている
void -> assump1: 以下のように仮定する。「あの加圧力は帰隊する」ということは嘘でない; fact7 & assump1 -> int1: あの網衣は念押しする; int1 & fact4 -> int2: 「この反発は念押ししない一方で通行する」ということは事実と異なる; int2 & fact1 -> int3: あの月明は行われ易い; [assump1] & int3 -> hypothesis;
$facts$ = fact1: もし「この反発は念押しするということはないがしかしそれは通行する」ということは誤っているとしたらあの月明は行われ易い fact2: 「この反発は念押しするしまた通行する」ということは偽だ fact3: あの加圧力は行われ易い fact4: 仮に「あの網衣は念押しする」ということは成り立つなら「この反発は念押しするということはないけれどそれは通行する」ということは嘘である fact5: もし仮にあの月明が帰隊するとすればあの加圧力は行われ易い fact6: もし仮にあの月明が通行すればこの反発は行われ易い fact7: 「あの加圧力は帰隊する」ということは成り立つならばあの網衣は念押しする fact8: もしこの反発が帰隊するとしたらあの加圧力は念押しする fact9: この反発は行われ易い fact10: もしもあの月明が念押しするとすればこの反発は行われ易い fact11: あの月明は念押しする fact12: もし仮にこの反発は帰隊するとすれば「あの加圧力は帰隊しないがしかし通行する」ということは誤っている ; $hypothesis$ = 「もし仮にあの加圧力は帰隊すれば「あの月明は行われ易い」ということは誤っているということはない」ということは間違いである ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの加圧力は帰隊する」ということは嘘でない; fact7 & assump1 -> int1: あの網衣は念押しする; int1 & fact4 -> int2: 「この反発は念押ししない一方で通行する」ということは事実と異なる; int2 & fact1 -> int3: あの月明は行われ易い; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: もし「この反発は念押しするということはないがしかしそれは通行する」ということは誤っているとしたらあの月明は行われ易い
事実2: 「この反発は念押しするしまた通行する」ということは偽だ
事実3: あの加圧力は行われ易い
事実4: 仮に「あの網衣は念押しする」ということは成り立つなら「この反発は念押しするということはないけれどそれは通行する」ということは嘘である
事実5: もし仮にあの月明が帰隊するとすればあの加圧力は行われ易い
事実6: もし仮にあの月明が通行すればこの反発は行われ易い
事実7: 「あの加圧力は帰隊する」ということは成り立つならばあの網衣は念押しする
事実8: もしこの反発が帰隊するとしたらあの加圧力は念押しする
事実9: この反発は行われ易い
事実10: もしもあの月明が念押しするとすればこの反発は行われ易い
事実11: あの月明は念押しする
事実12: もし仮にこの反発は帰隊するとすれば「あの加圧力は帰隊しないがしかし通行する」ということは誤っている

仮説: 「もし仮にあの加圧力は帰隊すれば「あの月明は行われ易い」ということは誤っているということはない」ということは間違いである
1. 仮定1: 以下のように仮定する。「あの加圧力は帰隊する」ということは嘘でない
2. 事実7と仮定1から、推論1: "あの網衣は念押しする"が導かれる
3. 推論1と事実4から、推論2: "「この反発は念押ししない一方で通行する」ということは事実と異なる"が導かれる
4. 推論2と事実1から、推論3: "あの月明は行われ易い"が導かれる
5. [仮定1]と推論3から、仮説が否定される

よって、仮説が否定されました。