「「このアドミニストレーションは解決であるということはないしおまけにそれは涙ぐましいということはない」ということは成り立つということはない」ということは本当である
fact1: 寄席はパトロール隊員でないか全面化しないかあるいはどちらもである fact2: 仮にあの族的接近がパトロール隊員でないとすればあのアドミニストレーションは解決でないしかつ涙ぐましいということはない fact3: あの族的接近は解決でない fact4: なんらかのものがパトロール隊員でないかもしくはそれは全面化しないかもしくは両方だとすればそれはパトロール隊員でない fact5: このアドミニストレーションは涙ぐましくないしかつパトロール隊員だということはない fact6: このアドミニストレーションは買い求めない fact7: その母親参加はパトロール隊員でない fact8: あの族的接近はパトロール隊員だということはない fact9: このアドミニストレーションは涙ぐましくない fact10: もし仮にあの族的接近が解決でないならこのアドミニストレーションはパトロール隊員でないし涙ぐましくない fact11: 「このアドミニストレーションがパトロール隊員でないならばあの族的接近は解決でない」ということは真実だ fact12: あの族的接近は酸くない fact13: 仮にあの族的接近はパトロール隊員でないならば「このアドミニストレーションは涙ぐましくない」ということは本当だ fact14: この自館はＭＨＣであるということはないなら「あの族的接近は警備するがしかしそれは旗揚げしない」ということは間違いである fact15: 仮にあの族的接近は解決でないならば「このアドミニストレーションは涙ぐましくないしパトロール隊員でない」ということは本当だ fact16: 「仮に「この自館は旗揚げしない」ということは成り立つとすればあの族的接近は寄席であるかあるいはそれは全面化しない」ということは間違っていない fact17: もしも「あの族的接近は警備するがしかしそれは旗揚げしない」ということは成り立たないならこのアドミニストレーションは寄席である fact18: もしあの族的接近が涙ぐましくないならばこのアドミニストレーションはパトロール隊員であるということはないしまた解決でない fact19: このアドミニストレーションは青白いということはないししかも凍死しない
fact2 & fact8 -> hypothesis;
fact2 & fact8 -> hypothesis;
「このアドミニストレーションは解決でないし加えて涙ぐましくない」ということは嘘である
fact20 -> int1: もしもこのアドミニストレーションはパトロール隊員でないかまたは全面化しないかもしくはどちらもであるとしたらそれはパトロール隊員でない; fact23 -> int2: もしこのアドミニストレーションは寄席であるとすればそれはパトロール隊員でないか全面化しないかあるいはどちらもである;
$facts$ = fact1: 寄席はパトロール隊員でないか全面化しないかあるいはどちらもである fact2: 仮にあの族的接近がパトロール隊員でないとすればあのアドミニストレーションは解決でないしかつ涙ぐましいということはない fact3: あの族的接近は解決でない fact4: なんらかのものがパトロール隊員でないかもしくはそれは全面化しないかもしくは両方だとすればそれはパトロール隊員でない fact5: このアドミニストレーションは涙ぐましくないしかつパトロール隊員だということはない fact6: このアドミニストレーションは買い求めない fact7: その母親参加はパトロール隊員でない fact8: あの族的接近はパトロール隊員だということはない fact9: このアドミニストレーションは涙ぐましくない fact10: もし仮にあの族的接近が解決でないならこのアドミニストレーションはパトロール隊員でないし涙ぐましくない fact11: 「このアドミニストレーションがパトロール隊員でないならばあの族的接近は解決でない」ということは真実だ fact12: あの族的接近は酸くない fact13: 仮にあの族的接近はパトロール隊員でないならば「このアドミニストレーションは涙ぐましくない」ということは本当だ fact14: この自館はＭＨＣであるということはないなら「あの族的接近は警備するがしかしそれは旗揚げしない」ということは間違いである fact15: 仮にあの族的接近は解決でないならば「このアドミニストレーションは涙ぐましくないしパトロール隊員でない」ということは本当だ fact16: 「仮に「この自館は旗揚げしない」ということは成り立つとすればあの族的接近は寄席であるかあるいはそれは全面化しない」ということは間違っていない fact17: もしも「あの族的接近は警備するがしかしそれは旗揚げしない」ということは成り立たないならこのアドミニストレーションは寄席である fact18: もしあの族的接近が涙ぐましくないならばこのアドミニストレーションはパトロール隊員であるということはないしまた解決でない fact19: このアドミニストレーションは青白いということはないししかも凍死しない ; $hypothesis$ = 「「このアドミニストレーションは解決であるということはないしおまけにそれは涙ぐましいということはない」ということは成り立つということはない」ということは本当である ; $proof$ = 
fact2 & fact8 -> hypothesis; __DISPROVED__
事実1: 寄席はパトロール隊員でないか全面化しないかあるいはどちらもである
事実2: 仮にあの族的接近がパトロール隊員でないとすればあのアドミニストレーションは解決でないしかつ涙ぐましいということはない
事実3: あの族的接近は解決でない
事実4: なんらかのものがパトロール隊員でないかもしくはそれは全面化しないかもしくは両方だとすればそれはパトロール隊員でない
事実5: このアドミニストレーションは涙ぐましくないしかつパトロール隊員だということはない
事実6: このアドミニストレーションは買い求めない
事実7: その母親参加はパトロール隊員でない
事実8: あの族的接近はパトロール隊員だということはない
事実9: このアドミニストレーションは涙ぐましくない
事実10: もし仮にあの族的接近が解決でないならこのアドミニストレーションはパトロール隊員でないし涙ぐましくない
事実11: 「このアドミニストレーションがパトロール隊員でないならばあの族的接近は解決でない」ということは真実だ
事実12: あの族的接近は酸くない
事実13: 仮にあの族的接近はパトロール隊員でないならば「このアドミニストレーションは涙ぐましくない」ということは本当だ
事実14: この自館はＭＨＣであるということはないなら「あの族的接近は警備するがしかしそれは旗揚げしない」ということは間違いである
事実15: 仮にあの族的接近は解決でないならば「このアドミニストレーションは涙ぐましくないしパトロール隊員でない」ということは本当だ
事実16: 「仮に「この自館は旗揚げしない」ということは成り立つとすればあの族的接近は寄席であるかあるいはそれは全面化しない」ということは間違っていない
事実17: もしも「あの族的接近は警備するがしかしそれは旗揚げしない」ということは成り立たないならこのアドミニストレーションは寄席である
事実18: もしあの族的接近が涙ぐましくないならばこのアドミニストレーションはパトロール隊員であるということはないしまた解決でない
事実19: このアドミニストレーションは青白いということはないししかも凍死しない

仮説: 「「このアドミニストレーションは解決であるということはないしおまけにそれは涙ぐましいということはない」ということは成り立つということはない」ということは本当である
1. 事実2と事実8から、仮説が否定される

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