「「この無権限占有者は飛び抜けるし市町村史だ」ということは成り立たない」ということは正しい
fact1: 仮に「古臭くない」物があるとしたらこの男性以上は特定化出来ない fact2: もし「「酷くてそれに協力関係である」ということは誤っている」ものがあるとしたらその花粉荷は酷くない fact3: もし仮にこの無権限占有者が明記でないとしたらこの男性以上は古臭いしその上特定化出来る fact4: 「この男性以上は耐え切れない」ということは事実である fact5: この男性以上は市町村史でない fact6: もし仮に「「棚卸しするし古臭い」ということは間違いな」物があるとするとこの男性以上は特定化出来ない fact7: この男性以上は酷くない fact8: この無権限占有者は酷くてさらにそれは傍観する fact9: もしも「この子方は協力関係でない」ということは事実だとするとこの施錠は傍観しない fact10: もしもこの色面がアデノでないか市町村史でないかあるいはどちらもならその花粉荷は市町村史でない fact11: 「この子方は協力関係だがしかし御付き合いしない」ということは偽だとすればそれは協力関係でない fact12: 「この子方は協力関係であるけれどそれは御付き合いしない」ということは誤っている fact13: 「外遊日記・世界であるしそれに思わしい」ものはある fact14: この施錠は酷くなくてかつ押さえ込まない fact15: もし仮にこの男性以上が明記でないならばこの無権限占有者は飛び抜ける fact16: もし仮になにがしかの物は傍観しないとすれば「酷いしおまけにそれは協力関係だ」ということは成り立たない fact17: もしこのガーター編みが酷いということはないとするとそれはアデノでない fact18: もしもこの施錠が酷くなくて傍観しないとするとこのガーター編みは酷くない fact19: この子方は酷くない fact20: 酷いものは市町村史であるがしかしアデノでない fact21: 「「アデノでない」ということは成り立つ」ものがあるならこの色面はアデノでないかあるいは市町村史でないかまたはどちらもである fact22: 「「棚卸しするしまた古臭い」ということは成り立たない」物はある fact23: もし仮にこの男性以上がアデノであるがしかしそれが明記でないとするとこの無権限占有者は特定化出来ない fact24: 仮にあるものが特定化出来ないなら明記でない fact25: 「もし仮になんらかの物がスキンシップでないならばあの男性以上は入り乱れない」ということは成り立つ
fact22 & fact6 -> int1: この男性以上は特定化出来ない; fact24 -> int2: この男性以上が特定化出来ないならば明記でない; int1 & int2 -> int3: この男性以上は明記でない; int3 & fact15 -> int4: この無権限占有者は飛び抜ける; fact8 -> int5: この無権限占有者は酷い; fact20 -> int6: もし仮にこの無権限占有者が酷いとすると市町村史だしアデノだということはない; int5 & int6 -> int7: この無権限占有者は市町村史である一方でアデノだということはない; int7 -> int8: この無権限占有者は市町村史だ; int4 & int8 -> hypothesis;
この男性以上は古臭い
fact32 -> int9: この施錠は酷くない; fact31 & fact29 -> int10: この子方は協力関係だということはない; fact34 & int10 -> int11: この施錠は傍観しない; int9 & int11 -> int12: この施錠は酷くなくてその上それは傍観しない; fact26 & int12 -> int13: このガーター編みは酷くない; fact27 & int13 -> int14: このガーター編みはアデノでない; int14 -> int15: 「アデノでない」ものはある; int15 & fact28 -> int16: この色面はアデノでないかあるいは市町村史でない; fact30 & int16 -> int17: その花粉荷は市町村史でない; int17 -> int18: 「市町村史でない」ものはある;
$facts$ = fact1: 仮に「古臭くない」物があるとしたらこの男性以上は特定化出来ない fact2: もし「「酷くてそれに協力関係である」ということは誤っている」ものがあるとしたらその花粉荷は酷くない fact3: もし仮にこの無権限占有者が明記でないとしたらこの男性以上は古臭いしその上特定化出来る fact4: 「この男性以上は耐え切れない」ということは事実である fact5: この男性以上は市町村史でない fact6: もし仮に「「棚卸しするし古臭い」ということは間違いな」物があるとするとこの男性以上は特定化出来ない fact7: この男性以上は酷くない fact8: この無権限占有者は酷くてさらにそれは傍観する fact9: もしも「この子方は協力関係でない」ということは事実だとするとこの施錠は傍観しない fact10: もしもこの色面がアデノでないか市町村史でないかあるいはどちらもならその花粉荷は市町村史でない fact11: 「この子方は協力関係だがしかし御付き合いしない」ということは偽だとすればそれは協力関係でない fact12: 「この子方は協力関係であるけれどそれは御付き合いしない」ということは誤っている fact13: 「外遊日記・世界であるしそれに思わしい」ものはある fact14: この施錠は酷くなくてかつ押さえ込まない fact15: もし仮にこの男性以上が明記でないならばこの無権限占有者は飛び抜ける fact16: もし仮になにがしかの物は傍観しないとすれば「酷いしおまけにそれは協力関係だ」ということは成り立たない fact17: もしこのガーター編みが酷いということはないとするとそれはアデノでない fact18: もしもこの施錠が酷くなくて傍観しないとするとこのガーター編みは酷くない fact19: この子方は酷くない fact20: 酷いものは市町村史であるがしかしアデノでない fact21: 「「アデノでない」ということは成り立つ」ものがあるならこの色面はアデノでないかあるいは市町村史でないかまたはどちらもである fact22: 「「棚卸しするしまた古臭い」ということは成り立たない」物はある fact23: もし仮にこの男性以上がアデノであるがしかしそれが明記でないとするとこの無権限占有者は特定化出来ない fact24: 仮にあるものが特定化出来ないなら明記でない fact25: 「もし仮になんらかの物がスキンシップでないならばあの男性以上は入り乱れない」ということは成り立つ ; $hypothesis$ = 「「この無権限占有者は飛び抜けるし市町村史だ」ということは成り立たない」ということは正しい ; $proof$ = 
fact22 & fact6 -> int1: この男性以上は特定化出来ない; fact24 -> int2: この男性以上が特定化出来ないならば明記でない; int1 & int2 -> int3: この男性以上は明記でない; int3 & fact15 -> int4: この無権限占有者は飛び抜ける; fact8 -> int5: この無権限占有者は酷い; fact20 -> int6: もし仮にこの無権限占有者が酷いとすると市町村史だしアデノだということはない; int5 & int6 -> int7: この無権限占有者は市町村史である一方でアデノだということはない; int7 -> int8: この無権限占有者は市町村史だ; int4 & int8 -> 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: もし仮にこの男性以上がアデノであるがしかしそれが明記でないとするとこの無権限占有者は特定化出来ない
事実24: 仮にあるものが特定化出来ないなら明記でない
事実25: 「もし仮になんらかの物がスキンシップでないならばあの男性以上は入り乱れない」ということは成り立つ

仮説: 「「この無権限占有者は飛び抜けるし市町村史だ」ということは成り立たない」ということは正しい
1. 事実22と事実6から、推論1: "この男性以上は特定化出来ない"が導かれる
2. 事実24から、推論2: "この男性以上が特定化出来ないならば明記でない"が導かれる
3. 推論1と推論2から、推論3: "この男性以上は明記でない"が導かれる
4. 推論3と事実15から、推論4: "この無権限占有者は飛び抜ける"が導かれる
5. 事実8から、推論5: "この無権限占有者は酷い"が導かれる
6. 事実20から、推論6: "もし仮にこの無権限占有者が酷いとすると市町村史だしアデノだということはない"が導かれる
7. 推論5と推論6から、推論7: "この無権限占有者は市町村史である一方でアデノだということはない"が導かれる
8. 推論7から、推論8: "この無権限占有者は市町村史だ"が導かれる
9. 推論4と推論8から、仮説が否定される

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