あの高圧ガスはプッシュする
fact1: 「この惨敗は長ーいということはない一方で塞く」ということは成り立つということはない fact2: もし仮にあの森作りが長ーくないならそのモード分散は当たり札だし加えてそれは塞く fact3: もし仮に「この脳神経回路は物理的定義でなくて長くない」ということは嘘だとしたらあの森作りは長くない fact4: もし「この惨敗はどうしても欲しい」ということは本当であるとしたら「それはプッシュしないしまた塞かない」ということは成り立たない fact5: 「この惨敗が長ーくないしさらにそれは塞かない」ということは成り立たないとするとそのモード分散は長くない fact6: そのモード分散は長い fact7: もし仮にこの惨敗は当たり札なら「長ーいし塞かない」ということは成り立たない fact8: もしもこのメタスタジオが行き難いとしたらそれはメーカー製でないししかも腕木通信機である fact9: 「もしもこの惨敗がどうしても欲しくないならあの高圧ガスはプッシュする」ということは本当だ fact10: 仮になんらかのものはどうしても欲しいとしたら「それは工程毎でないしさらに太り難くない」ということは本当であるということはない fact11: 仮にあの高圧ガスがどうしても欲しいならばこの惨敗は当たり札だ fact12: 仮にそのモード分散は当たり札であるとしたら「この惨敗はどうしても欲しくない」ということは成り立つ fact13: あの高圧ガスは長くない fact14: もしもとあるものは言い分けないならば「それは物理的定義でないしおまけに長くない」ということは成り立たない fact15: 何らかのものが長くないとしたらそれは長ーいということはない fact16: もし「あの高圧ガスは塞かないがしかし長い」ということは成り立たないならばこの女性ファンは塞かない fact17: 仮に「この惨敗は当たり札である」ということは間違っているということはないとしたら「長ーくないしおまけに塞かない」ということは誤りだ fact18: もしもこの惨敗が塞かないけれどそれがプッシュすれば当たり札でない fact19: もしこの惨敗は当たり札であるとしたら「それは長ーいということはない一方で塞く」ということは間違いだ fact20: もしあの高圧ガスがどうしても欲しくないけれどそれは物理的定義であるとしたらプッシュしない fact21: あの高圧ガスは物理的定義だ fact22: このメタスタジオが行き難いしその上ハイエースである fact23: 「この惨敗は長ーい物で塞かない」ということは偽である
void -> assump1: 以下のように仮定する。あの高圧ガスはどうしても欲しい; fact11 & assump1 -> int1: この惨敗は当たり札だ; int1 & fact17 -> int2: 「この惨敗は長ーくないし塞かない」ということは成り立つということはない; int2 & fact5 -> int3: そのモード分散は長くない; int3 & fact6 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの高圧ガスはどうしても欲しくない; int5 & fact21 -> int6: あの高圧ガスはどうしても欲しくない一方で物理的定義だ; int6 & fact20 -> hypothesis;
あの高圧ガスはプッシュする
fact25 -> int7: もしもあの森作りが長くないならばそれは長ーくない; fact28 -> int8: もし仮に「この脳神経回路は言い分けない」ということは誤りでないとすれば「それは物理的定義であるということはないしその上長いない」ということは成り立たない; fact31 -> int9: このメタスタジオは行き難い; fact27 & int9 -> int10: このメタスタジオはメーカー製でないけどそれは腕木通信機だ; int10 -> int11: なにかはメーカー製でないが腕木通信機だ;
$facts$ = fact1: 「この惨敗は長ーいということはない一方で塞く」ということは成り立つということはない fact2: もし仮にあの森作りが長ーくないならそのモード分散は当たり札だし加えてそれは塞く fact3: もし仮に「この脳神経回路は物理的定義でなくて長くない」ということは嘘だとしたらあの森作りは長くない fact4: もし「この惨敗はどうしても欲しい」ということは本当であるとしたら「それはプッシュしないしまた塞かない」ということは成り立たない fact5: 「この惨敗が長ーくないしさらにそれは塞かない」ということは成り立たないとするとそのモード分散は長くない fact6: そのモード分散は長い fact7: もし仮にこの惨敗は当たり札なら「長ーいし塞かない」ということは成り立たない fact8: もしもこのメタスタジオが行き難いとしたらそれはメーカー製でないししかも腕木通信機である fact9: 「もしもこの惨敗がどうしても欲しくないならあの高圧ガスはプッシュする」ということは本当だ fact10: 仮になんらかのものはどうしても欲しいとしたら「それは工程毎でないしさらに太り難くない」ということは本当であるということはない fact11: 仮にあの高圧ガスがどうしても欲しいならばこの惨敗は当たり札だ fact12: 仮にそのモード分散は当たり札であるとしたら「この惨敗はどうしても欲しくない」ということは成り立つ fact13: あの高圧ガスは長くない fact14: もしもとあるものは言い分けないならば「それは物理的定義でないしおまけに長くない」ということは成り立たない fact15: 何らかのものが長くないとしたらそれは長ーいということはない fact16: もし「あの高圧ガスは塞かないがしかし長い」ということは成り立たないならばこの女性ファンは塞かない fact17: 仮に「この惨敗は当たり札である」ということは間違っているということはないとしたら「長ーくないしおまけに塞かない」ということは誤りだ fact18: もしもこの惨敗が塞かないけれどそれがプッシュすれば当たり札でない fact19: もしこの惨敗は当たり札であるとしたら「それは長ーいということはない一方で塞く」ということは間違いだ fact20: もしあの高圧ガスがどうしても欲しくないけれどそれは物理的定義であるとしたらプッシュしない fact21: あの高圧ガスは物理的定義だ fact22: このメタスタジオが行き難いしその上ハイエースである fact23: 「この惨敗は長ーい物で塞かない」ということは偽である ; $hypothesis$ = あの高圧ガスはプッシュする ; $proof$ = 
void -> assump1: 以下のように仮定する。あの高圧ガスはどうしても欲しい; fact11 & assump1 -> int1: この惨敗は当たり札だ; int1 & fact17 -> int2: 「この惨敗は長ーくないし塞かない」ということは成り立つということはない; int2 & fact5 -> int3: そのモード分散は長くない; int3 & fact6 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの高圧ガスはどうしても欲しくない; int5 & fact21 -> int6: あの高圧ガスはどうしても欲しくない一方で物理的定義だ; int6 & fact20 -> hypothesis; __DISPROVED__
事実1: 「この惨敗は長ーいということはない一方で塞く」ということは成り立つということはない
事実2: もし仮にあの森作りが長ーくないならそのモード分散は当たり札だし加えてそれは塞く
事実3: もし仮に「この脳神経回路は物理的定義でなくて長くない」ということは嘘だとしたらあの森作りは長くない
事実4: もし「この惨敗はどうしても欲しい」ということは本当であるとしたら「それはプッシュしないしまた塞かない」ということは成り立たない
事実5: 「この惨敗が長ーくないしさらにそれは塞かない」ということは成り立たないとするとそのモード分散は長くない
事実6: そのモード分散は長い
事実7: もし仮にこの惨敗は当たり札なら「長ーいし塞かない」ということは成り立たない
事実8: もしもこのメタスタジオが行き難いとしたらそれはメーカー製でないししかも腕木通信機である
事実9: 「もしもこの惨敗がどうしても欲しくないならあの高圧ガスはプッシュする」ということは本当だ
事実10: 仮になんらかのものはどうしても欲しいとしたら「それは工程毎でないしさらに太り難くない」ということは本当であるということはない
事実11: 仮にあの高圧ガスがどうしても欲しいならばこの惨敗は当たり札だ
事実12: 仮にそのモード分散は当たり札であるとしたら「この惨敗はどうしても欲しくない」ということは成り立つ
事実13: あの高圧ガスは長くない
事実14: もしもとあるものは言い分けないならば「それは物理的定義でないしおまけに長くない」ということは成り立たない
事実15: 何らかのものが長くないとしたらそれは長ーいということはない
事実16: もし「あの高圧ガスは塞かないがしかし長い」ということは成り立たないならばこの女性ファンは塞かない
事実17: 仮に「この惨敗は当たり札である」ということは間違っているということはないとしたら「長ーくないしおまけに塞かない」ということは誤りだ
事実18: もしもこの惨敗が塞かないけれどそれがプッシュすれば当たり札でない
事実19: もしこの惨敗は当たり札であるとしたら「それは長ーいということはない一方で塞く」ということは間違いだ
事実20: もしあの高圧ガスがどうしても欲しくないけれどそれは物理的定義であるとしたらプッシュしない
事実21: あの高圧ガスは物理的定義だ
事実22: このメタスタジオが行き難いしその上ハイエースである
事実23: 「この惨敗は長ーい物で塞かない」ということは偽である

仮説: あの高圧ガスはプッシュする
1. 仮定1: 以下のように仮定する。あの高圧ガスはどうしても欲しい
2. 事実11と仮定1から、推論1: "この惨敗は当たり札だ"が導かれる
3. 推論1と事実17から、推論2: "「この惨敗は長ーくないし塞かない」ということは成り立つということはない"が導かれる
4. 推論2と事実5から、推論3: "そのモード分散は長くない"が導かれる
5. 推論3と事実6から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "あの高圧ガスはどうしても欲しくない"が導かれる
7. 推論5と事実21から、推論6: "あの高圧ガスはどうしても欲しくない一方で物理的定義だ"が導かれる
8. 推論6と事実20から、仮説が否定される

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