「その審議中は尽くない」ということは成り立つ
fact1: この銃使いは招集する fact2: 「あの蘇我蝦夷は招集する」ということは正しい fact3: もしも「この銃使いは尽くないしそれは難くない」ということは間違いならその審議中は信じ始める fact4: その審議中は高い fact5: もしその審議中は招集すれば「それは尽くないしそれは難くない」ということは本当でない fact6: この皮弁作成は招集する fact7: 仮にそのエルムズは平ったいとすると「三種法華でないししかもそれは会報でない」ということは正しくない fact8: もし仮にその審議中は尽くとすれば「それは招集する一方で難くない」ということは間違いである fact9: 「その審議中は犯し易いけれど情報科学でない」ということは成り立たない fact10: 仮にこの銃使いが信じ始めるとしたらその審議中は尽く fact11: もし仮にこの銃使いは難いなら「それは招集しないしそれに尽くない」ということは成り立たない fact12: 「この銃使いは招集する」ということは事実であるなら「それは尽くないしまた信じ始めない」ということは誤りだ fact13: もしも「その審議中は尽くないし招集しない」ということは間違いであるとしたら「この銃使いは難い」ということは成り立つ fact14: もしも「この銃使いは招集する」ということは事実であるならば「それは尽くないしおまけに難くない」ということは間違いである fact15: 「このばてさんは難くないしツーピースであるということはない」ということは成り立たない fact16: もし仮にこの銃使いは招集するなら「それは難くない一方で信じ始める」ということは間違いだ fact17: 「「この銃使いは難いということはないしその上信じ始めない」ということは誤りであるならその審議中は尽く」ということは正しい fact18: そのぱくりは招集する fact19: 「その審議中は尽くないし信じ始めない」ということは嘘だ fact20: もし仮にこの銃使いは招集するとすれば「難くないしおまけに信じ始めるということはない」ということは誤りである fact21: もし仮に「その審議中は難くないし加えて信じ始めるということはない」ということは確かでないならばこの銃使いは尽く fact22: 仮に「その審議中は尽くということはないしそれに難くない」ということは誤っているならこの銃使いは信じ始める
fact20 & fact1 -> int1: 「この銃使いは難くないしまた信じ始めない」ということは成り立たない; int1 & fact17 -> hypothesis;
$facts$ = fact1: この銃使いは招集する fact2: 「あの蘇我蝦夷は招集する」ということは正しい fact3: もしも「この銃使いは尽くないしそれは難くない」ということは間違いならその審議中は信じ始める fact4: その審議中は高い fact5: もしその審議中は招集すれば「それは尽くないしそれは難くない」ということは本当でない fact6: この皮弁作成は招集する fact7: 仮にそのエルムズは平ったいとすると「三種法華でないししかもそれは会報でない」ということは正しくない fact8: もし仮にその審議中は尽くとすれば「それは招集する一方で難くない」ということは間違いである fact9: 「その審議中は犯し易いけれど情報科学でない」ということは成り立たない fact10: 仮にこの銃使いが信じ始めるとしたらその審議中は尽く fact11: もし仮にこの銃使いは難いなら「それは招集しないしそれに尽くない」ということは成り立たない fact12: 「この銃使いは招集する」ということは事実であるなら「それは尽くないしまた信じ始めない」ということは誤りだ fact13: もしも「その審議中は尽くないし招集しない」ということは間違いであるとしたら「この銃使いは難い」ということは成り立つ fact14: もしも「この銃使いは招集する」ということは事実であるならば「それは尽くないしおまけに難くない」ということは間違いである fact15: 「このばてさんは難くないしツーピースであるということはない」ということは成り立たない fact16: もし仮にこの銃使いは招集するなら「それは難くない一方で信じ始める」ということは間違いだ fact17: 「「この銃使いは難いということはないしその上信じ始めない」ということは誤りであるならその審議中は尽く」ということは正しい fact18: そのぱくりは招集する fact19: 「その審議中は尽くないし信じ始めない」ということは嘘だ fact20: もし仮にこの銃使いは招集するとすれば「難くないしおまけに信じ始めるということはない」ということは誤りである fact21: もし仮に「その審議中は難くないし加えて信じ始めるということはない」ということは確かでないならばこの銃使いは尽く fact22: 仮に「その審議中は尽くということはないしそれに難くない」ということは誤っているならこの銃使いは信じ始める ; $hypothesis$ = 「その審議中は尽くない」ということは成り立つ ; $proof$ = 
fact20 & fact1 -> int1: 「この銃使いは難くないしまた信じ始めない」ということは成り立たない; int1 & fact17 -> hypothesis; __DISPROVED__
事実1: この銃使いは招集する
事実2: 「あの蘇我蝦夷は招集する」ということは正しい
事実3: もしも「この銃使いは尽くないしそれは難くない」ということは間違いならその審議中は信じ始める
事実4: その審議中は高い
事実5: もしその審議中は招集すれば「それは尽くないしそれは難くない」ということは本当でない
事実6: この皮弁作成は招集する
事実7: 仮にそのエルムズは平ったいとすると「三種法華でないししかもそれは会報でない」ということは正しくない
事実8: もし仮にその審議中は尽くとすれば「それは招集する一方で難くない」ということは間違いである
事実9: 「その審議中は犯し易いけれど情報科学でない」ということは成り立たない
事実10: 仮にこの銃使いが信じ始めるとしたらその審議中は尽く
事実11: もし仮にこの銃使いは難いなら「それは招集しないしそれに尽くない」ということは成り立たない
事実12: 「この銃使いは招集する」ということは事実であるなら「それは尽くないしまた信じ始めない」ということは誤りだ
事実13: もしも「その審議中は尽くないし招集しない」ということは間違いであるとしたら「この銃使いは難い」ということは成り立つ
事実14: もしも「この銃使いは招集する」ということは事実であるならば「それは尽くないしおまけに難くない」ということは間違いである
事実15: 「このばてさんは難くないしツーピースであるということはない」ということは成り立たない
事実16: もし仮にこの銃使いは招集するなら「それは難くない一方で信じ始める」ということは間違いだ
事実17: 「「この銃使いは難いということはないしその上信じ始めない」ということは誤りであるならその審議中は尽く」ということは正しい
事実18: そのぱくりは招集する
事実19: 「その審議中は尽くないし信じ始めない」ということは嘘だ
事実20: もし仮にこの銃使いは招集するとすれば「難くないしおまけに信じ始めるということはない」ということは誤りである
事実21: もし仮に「その審議中は難くないし加えて信じ始めるということはない」ということは確かでないならばこの銃使いは尽く
事実22: 仮に「その審議中は尽くということはないしそれに難くない」ということは誤っているならこの銃使いは信じ始める

仮説: 「その審議中は尽くない」ということは成り立つ
1. 事実20と事実1から、推論1: "「この銃使いは難くないしまた信じ始めない」ということは成り立たない"が導かれる
2. 推論1と事実17から、仮説が否定される

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