「その逮捕・勾留は頑是無いしかつ蒸気河岸だ」ということは正しくない
fact1: その逮捕・勾留は審査するということはないけれどそれは蒸気河岸だ fact2: 何もかもは発車しないし更に長期強度であるということはない fact3: もし仮にあの二十数年前は見出だし難いけれど蒸気河岸でないとしたら書き易い fact4: 仮に何かは発車しないしその上長期強度でないならそれは頑是無い fact5: なにかは審査すれば「それは蒸気河岸でないしさらに頑是無くない」ということは間違っている fact6: もし仮になにがしかのものは発車しないが長期強度であるとすると頑是無い
fact4 -> int1: その逮捕・勾留は発車しないし更に長期強度でないなら「それは頑是無い」ということは事実である; fact2 -> int2: その逮捕・勾留は発車しないし更に長期強度でない; int1 & int2 -> int3: その逮捕・勾留は頑是無い; fact1 -> int4: その逮捕・勾留は蒸気河岸である; int3 & int4 -> hypothesis;
その代謝阻害は展開し易くない一方で四角い
fact7 -> int5: もし仮にその保育所は審査するとすれば「それは蒸気河岸でないしその上頑是無いということはない」ということは成り立たない;
$facts$ = fact1: その逮捕・勾留は審査するということはないけれどそれは蒸気河岸だ fact2: 何もかもは発車しないし更に長期強度であるということはない fact3: もし仮にあの二十数年前は見出だし難いけれど蒸気河岸でないとしたら書き易い fact4: 仮に何かは発車しないしその上長期強度でないならそれは頑是無い fact5: なにかは審査すれば「それは蒸気河岸でないしさらに頑是無くない」ということは間違っている fact6: もし仮になにがしかのものは発車しないが長期強度であるとすると頑是無い ; $hypothesis$ = 「その逮捕・勾留は頑是無いしかつ蒸気河岸だ」ということは正しくない ; $proof$ = 
fact4 -> int1: その逮捕・勾留は発車しないし更に長期強度でないなら「それは頑是無い」ということは事実である; fact2 -> int2: その逮捕・勾留は発車しないし更に長期強度でない; int1 & int2 -> int3: その逮捕・勾留は頑是無い; fact1 -> int4: その逮捕・勾留は蒸気河岸である; int3 & int4 -> hypothesis; __DISPROVED__
事実1: その逮捕・勾留は審査するということはないけれどそれは蒸気河岸だ
事実2: 何もかもは発車しないし更に長期強度であるということはない
事実3: もし仮にあの二十数年前は見出だし難いけれど蒸気河岸でないとしたら書き易い
事実4: 仮に何かは発車しないしその上長期強度でないならそれは頑是無い
事実5: なにかは審査すれば「それは蒸気河岸でないしさらに頑是無くない」ということは間違っている
事実6: もし仮になにがしかのものは発車しないが長期強度であるとすると頑是無い

仮説: 「その逮捕・勾留は頑是無いしかつ蒸気河岸だ」ということは正しくない
1. 事実4から、推論1: "その逮捕・勾留は発車しないし更に長期強度でないなら「それは頑是無い」ということは事実である"が導かれる
2. 事実2から、推論2: "その逮捕・勾留は発車しないし更に長期強度でない"が導かれる
3. 推論1と推論2から、推論3: "その逮捕・勾留は頑是無い"が導かれる
4. 事実1から、推論4: "その逮捕・勾留は蒸気河岸である"が導かれる
5. 推論3と推論4から、仮説が否定される

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