「なにかは流れ易いかもしくは進出出来るかどちらもである」ということは事実と異なる
fact1: 仮にあの男子用留置場が留まれないとするとその防風ネットは留まれるけどそれはくどくない fact2: 仮にあの男子用留置場が留まれないならばその防風ネットはくどくない fact3: あの松代藩庁文書は実行環境である fact4: 「その教祖様は報道しない」ということは事実である fact5: あの男子用留置場は判断し難い fact6: なにかは留まれるがくどくないとしたら「流れ易い」ということは本当だ fact7: その防風ネットはくどくない fact8: もし仮にあの男子用留置場が留まれればそれは報道する fact9: 「あの男子用留置場は興味深い」ということは成り立つ fact10: 「もしもその教祖様が報道するがしかし興味深くないならあの男子用留置場は報道しない」ということは事実である fact11: その教祖様が報道しなくて興味深くないならばあの男子用留置場は報道するということはない fact12: なにかは報道するかもしくは進出出来る fact13: なにがしかのものが留まれればそれは興味深い fact14: もし仮にその防風ネットは留まれるしおまけにくどいとすれば「流れ易い」ということは正しい fact15: 仮に「その防風ネットは報道しないしその上それはくどいということはない」ということは間違いであるとすると留まれる fact16: そのエスニック・アイデンティティは興味深いということはない fact17: 「この生き死には改善等だ」ということは本当だ fact18: 仮にその教祖様はくどいとすれば「報道する」ということは確かである fact19: その教祖様は報道しなくてそれに興味深くない
void -> assump1: 以下のように仮定する。あの男子用留置場は留まれる; fact8 & assump1 -> int1: あの男子用留置場は報道する; fact11 & fact19 -> int2: あの男子用留置場は報道しない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの男子用留置場は留まれない; int4 & fact1 -> int5: その防風ネットは留まれるがしかしくどくない; fact6 -> int6: もしその防風ネットが留まれるけれどくどくないとするとそれは流れ易い; int5 & int6 -> int7: その防風ネットは流れ易い; int7 -> int8: その防風ネットは流れ易いかまたは進出出来るかまたは両方である; int8 -> hypothesis;
その防風ネットは興味深い
fact21 -> int9: もし仮にその防風ネットが留まれるとしたら興味深い;
$facts$ = fact1: 仮にあの男子用留置場が留まれないとするとその防風ネットは留まれるけどそれはくどくない fact2: 仮にあの男子用留置場が留まれないならばその防風ネットはくどくない fact3: あの松代藩庁文書は実行環境である fact4: 「その教祖様は報道しない」ということは事実である fact5: あの男子用留置場は判断し難い fact6: なにかは留まれるがくどくないとしたら「流れ易い」ということは本当だ fact7: その防風ネットはくどくない fact8: もし仮にあの男子用留置場が留まれればそれは報道する fact9: 「あの男子用留置場は興味深い」ということは成り立つ fact10: 「もしもその教祖様が報道するがしかし興味深くないならあの男子用留置場は報道しない」ということは事実である fact11: その教祖様が報道しなくて興味深くないならばあの男子用留置場は報道するということはない fact12: なにかは報道するかもしくは進出出来る fact13: なにがしかのものが留まれればそれは興味深い fact14: もし仮にその防風ネットは留まれるしおまけにくどいとすれば「流れ易い」ということは正しい fact15: 仮に「その防風ネットは報道しないしその上それはくどいということはない」ということは間違いであるとすると留まれる fact16: そのエスニック・アイデンティティは興味深いということはない fact17: 「この生き死には改善等だ」ということは本当だ fact18: 仮にその教祖様はくどいとすれば「報道する」ということは確かである fact19: その教祖様は報道しなくてそれに興味深くない ; $hypothesis$ = 「なにかは流れ易いかもしくは進出出来るかどちらもである」ということは事実と異なる ; $proof$ = 
void -> assump1: 以下のように仮定する。あの男子用留置場は留まれる; fact8 & assump1 -> int1: あの男子用留置場は報道する; fact11 & fact19 -> int2: あの男子用留置場は報道しない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの男子用留置場は留まれない; int4 & fact1 -> int5: その防風ネットは留まれるがしかしくどくない; fact6 -> int6: もしその防風ネットが留まれるけれどくどくないとするとそれは流れ易い; int5 & int6 -> int7: その防風ネットは流れ易い; int7 -> int8: その防風ネットは流れ易いかまたは進出出来るかまたは両方である; int8 -> hypothesis; __DISPROVED__
事実1: 仮にあの男子用留置場が留まれないとするとその防風ネットは留まれるけどそれはくどくない
事実2: 仮にあの男子用留置場が留まれないならばその防風ネットはくどくない
事実3: あの松代藩庁文書は実行環境である
事実4: 「その教祖様は報道しない」ということは事実である
事実5: あの男子用留置場は判断し難い
事実6: なにかは留まれるがくどくないとしたら「流れ易い」ということは本当だ
事実7: その防風ネットはくどくない
事実8: もし仮にあの男子用留置場が留まれればそれは報道する
事実9: 「あの男子用留置場は興味深い」ということは成り立つ
事実10: 「もしもその教祖様が報道するがしかし興味深くないならあの男子用留置場は報道しない」ということは事実である
事実11: その教祖様が報道しなくて興味深くないならばあの男子用留置場は報道するということはない
事実12: なにかは報道するかもしくは進出出来る
事実13: なにがしかのものが留まれればそれは興味深い
事実14: もし仮にその防風ネットは留まれるしおまけにくどいとすれば「流れ易い」ということは正しい
事実15: 仮に「その防風ネットは報道しないしその上それはくどいということはない」ということは間違いであるとすると留まれる
事実16: そのエスニック・アイデンティティは興味深いということはない
事実17: 「この生き死には改善等だ」ということは本当だ
事実18: 仮にその教祖様はくどいとすれば「報道する」ということは確かである
事実19: その教祖様は報道しなくてそれに興味深くない

仮説: 「なにかは流れ易いかもしくは進出出来るかどちらもである」ということは事実と異なる
1. 仮定1: 以下のように仮定する。あの男子用留置場は留まれる
2. 事実8と仮定1から、推論1: "あの男子用留置場は報道する"が導かれる
3. 事実11と事実19から、推論2: "あの男子用留置場は報道しない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの男子用留置場は留まれない"が導かれる
6. 推論4と事実1から、推論5: "その防風ネットは留まれるがしかしくどくない"が導かれる
7. 事実6から、推論6: "もしその防風ネットが留まれるけれどくどくないとするとそれは流れ易い"が導かれる
8. 推論5と推論6から、推論7: "その防風ネットは流れ易い"が導かれる
9. 推論7から、推論8: "その防風ネットは流れ易いかまたは進出出来るかまたは両方である"が導かれる
10. 推論8から、仮説が否定される

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