あの曖昧化は殺し合うかプロペラだ
fact1: 「「あの曖昧化は尋ね歩かないけどそれはドラム缶である」ということは成り立つ」ということは成り立たない fact2: あの曖昧化は本格化するということはないなら「それはＢＨＬであるかあるいは枕草子であるか両方だ」ということは成り立たない fact3: もしもこの食卓は動かし難いということはないとしたら「あの曖昧化はドラム缶であるしプロペラだ」ということは成り立つ fact4: 「あの曖昧化はプロペラでない」ということは確かである fact5: もし「この双六川はのんびりしないがしかし比較し難い」ということは成り立たないとしたら動かし難くない fact6: 仮にこのテーマ局面は脅威認識でないとすると「あの戦争反対は動かし難いししかも進め易い」ということは成り立つ fact7: 「あの曖昧化は動かし難くないがしかしそれはＢＨＬだ」ということは嘘だ fact8: もしこの賃貸アパートは断たないならば「維持し続けるかあるいはプロペラであるかまたは両方だ」ということは成り立たない fact9: 「あの曖昧化は動かし難くないがしかしそれはＢＨＬだ」ということは偽であるとすればドラム缶でない fact10: もしもなにかはドラム缶でないなら「殺し合うかそれはプロペラである」ということは間違っている fact11: 仮にあの曖昧化は買い易くないとすると「それはドラム缶であるかもしくはＮＭであるかもしくは両方である」ということは間違っている fact12: とある物はドラム缶でないならばそれはプロペラでない fact13: 「仮になにかはドラム缶でないならば「プロペラであるかあるいは動かし難いかどちらもだ」ということは誤っている」ということは本当である fact14: あの戦争反対が抽象的過ぎるならそれは外肛門括約筋である fact15: あの戦争反対は抽象的過ぎる fact16: 外肛門括約筋はＢＨＬだ fact17: あの曖昧化はＢＨＬでないならばそれはドラム缶であるということはない fact18: 「あの曖昧化は御引き受けするということはない」ということは成り立つ fact19: あの曖昧化は遠しない fact20: あの戦争反対がＢＨＬであるし更に動かし難いならばこの食卓は動かし難くない fact21: もし仮にあの曖昧化はドラム缶でないならそれはプロペラでない
fact10 -> int1: もしもあの曖昧化はドラム缶だということはないなら「殺し合うかもしくはプロペラだ」ということは事実と異なる; fact7 & fact9 -> int2: あの曖昧化はドラム缶であるということはない; int1 & int2 -> hypothesis;
あの曖昧化は殺し合うかそれはプロペラである
fact23 -> int3: もしもあの戦争反対が外肛門括約筋ならＢＨＬだ; fact25 & fact24 -> int4: あの戦争反対は外肛門括約筋である; int3 & int4 -> int5: あの戦争反対はＢＨＬである;
$facts$ = fact1: 「「あの曖昧化は尋ね歩かないけどそれはドラム缶である」ということは成り立つ」ということは成り立たない fact2: あの曖昧化は本格化するということはないなら「それはＢＨＬであるかあるいは枕草子であるか両方だ」ということは成り立たない fact3: もしもこの食卓は動かし難いということはないとしたら「あの曖昧化はドラム缶であるしプロペラだ」ということは成り立つ fact4: 「あの曖昧化はプロペラでない」ということは確かである fact5: もし「この双六川はのんびりしないがしかし比較し難い」ということは成り立たないとしたら動かし難くない fact6: 仮にこのテーマ局面は脅威認識でないとすると「あの戦争反対は動かし難いししかも進め易い」ということは成り立つ fact7: 「あの曖昧化は動かし難くないがしかしそれはＢＨＬだ」ということは嘘だ fact8: もしこの賃貸アパートは断たないならば「維持し続けるかあるいはプロペラであるかまたは両方だ」ということは成り立たない fact9: 「あの曖昧化は動かし難くないがしかしそれはＢＨＬだ」ということは偽であるとすればドラム缶でない fact10: もしもなにかはドラム缶でないなら「殺し合うかそれはプロペラである」ということは間違っている fact11: 仮にあの曖昧化は買い易くないとすると「それはドラム缶であるかもしくはＮＭであるかもしくは両方である」ということは間違っている fact12: とある物はドラム缶でないならばそれはプロペラでない fact13: 「仮になにかはドラム缶でないならば「プロペラであるかあるいは動かし難いかどちらもだ」ということは誤っている」ということは本当である fact14: あの戦争反対が抽象的過ぎるならそれは外肛門括約筋である fact15: あの戦争反対は抽象的過ぎる fact16: 外肛門括約筋はＢＨＬだ fact17: あの曖昧化はＢＨＬでないならばそれはドラム缶であるということはない fact18: 「あの曖昧化は御引き受けするということはない」ということは成り立つ fact19: あの曖昧化は遠しない fact20: あの戦争反対がＢＨＬであるし更に動かし難いならばこの食卓は動かし難くない fact21: もし仮にあの曖昧化はドラム缶でないならそれはプロペラでない ; $hypothesis$ = あの曖昧化は殺し合うかプロペラだ ; $proof$ = 
fact10 -> int1: もしもあの曖昧化はドラム缶だということはないなら「殺し合うかもしくはプロペラだ」ということは事実と異なる; fact7 & fact9 -> int2: あの曖昧化はドラム缶であるということはない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 「「あの曖昧化は尋ね歩かないけどそれはドラム缶である」ということは成り立つ」ということは成り立たない
事実2: あの曖昧化は本格化するということはないなら「それはＢＨＬであるかあるいは枕草子であるか両方だ」ということは成り立たない
事実3: もしもこの食卓は動かし難いということはないとしたら「あの曖昧化はドラム缶であるしプロペラだ」ということは成り立つ
事実4: 「あの曖昧化はプロペラでない」ということは確かである
事実5: もし「この双六川はのんびりしないがしかし比較し難い」ということは成り立たないとしたら動かし難くない
事実6: 仮にこのテーマ局面は脅威認識でないとすると「あの戦争反対は動かし難いししかも進め易い」ということは成り立つ
事実7: 「あの曖昧化は動かし難くないがしかしそれはＢＨＬだ」ということは嘘だ
事実8: もしこの賃貸アパートは断たないならば「維持し続けるかあるいはプロペラであるかまたは両方だ」ということは成り立たない
事実9: 「あの曖昧化は動かし難くないがしかしそれはＢＨＬだ」ということは偽であるとすればドラム缶でない
事実10: もしもなにかはドラム缶でないなら「殺し合うかそれはプロペラである」ということは間違っている
事実11: 仮にあの曖昧化は買い易くないとすると「それはドラム缶であるかもしくはＮＭであるかもしくは両方である」ということは間違っている
事実12: とある物はドラム缶でないならばそれはプロペラでない
事実13: 「仮になにかはドラム缶でないならば「プロペラであるかあるいは動かし難いかどちらもだ」ということは誤っている」ということは本当である
事実14: あの戦争反対が抽象的過ぎるならそれは外肛門括約筋である
事実15: あの戦争反対は抽象的過ぎる
事実16: 外肛門括約筋はＢＨＬだ
事実17: あの曖昧化はＢＨＬでないならばそれはドラム缶であるということはない
事実18: 「あの曖昧化は御引き受けするということはない」ということは成り立つ
事実19: あの曖昧化は遠しない
事実20: あの戦争反対がＢＨＬであるし更に動かし難いならばこの食卓は動かし難くない
事実21: もし仮にあの曖昧化はドラム缶でないならそれはプロペラでない

仮説: あの曖昧化は殺し合うかプロペラだ
1. 事実10から、推論1: "もしもあの曖昧化はドラム缶だということはないなら「殺し合うかもしくはプロペラだ」ということは事実と異なる"が導かれる
2. 事実7と事実9から、推論2: "あの曖昧化はドラム缶であるということはない"が導かれる
3. 推論1と推論2から、仮説が否定される

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