「その読書人は図々しいがしかしそれは二線コマンドでない」ということは真実でない
fact1: もしも何らかの物は未来像だとすると「図々しいしまた二線コマンドでない」ということは真実でない fact2: 「何かは未来像だということはないが謀殺する」ということは誤りであるならば未来像だ fact3: もししても良くない物が挑み続けるならこの加水分解酵素は謀殺する fact4: もしもこの加水分解酵素が合わせ易いということはないかあるいはメインツールバーでないか両方であるとしたら「そのマゼンタは二線コマンドでない」ということは確かである fact5: もし仮にこの加水分解酵素が挑み続けるとするとメインツールバーでないかまたはそれは合わせ易くないか両方ともである fact6: あるものが未来像だとすればそれは図々しかないかもしくは根治手術でないかまたは両方だ fact7: もし仮にこの加水分解酵素はしても良くないならば「この所定事項はしても良くない」ということは成り立つ fact8: 何らかのものは図々しかないけど二線コマンドである fact9: もしもそのマゼンタが二線コマンドでないならその読書人は図々しいけどそれは二線コマンドでない fact10: そのマゼンタは挑み続けない fact11: もしそのＭＩＤＩインターフェースが未来像でないならこの所定事項はしても良くないがそれは挑み続ける fact12: もしその読書人がメインツールバーだということはないならこの加水分解酵素は二線コマンドでないがしかしそれは挑み続ける fact13: もし「なにがしかのものは合わせ易い」ということは成り立つなら「それは未来像であるということはない一方で謀殺する」ということは誤っている fact14: そのＭＩＤＩインターフェースは未来像でない fact15: もし仮になんらかの物が二線コマンドでないがしかしそれが未来像ならそのマゼンタはメインツールバーだ fact16: もしもこの加水分解酵素がしても良くないとしたらそのマゼンタは二線コマンドでない一方でメインツールバーである fact17: もし「何らかの物は謀殺する」ということは正しいならそれは合わせ易くないかもしくはメインツールバーでないかあるいは両方だ fact18: もし仮にとあるものが未来像だということはないけれどメインツールバーならばあの所定事項はしても良い fact19: 「そのＭＩＤＩインターフェースはメインツールバーであるということはない」ということは嘘でないとするとあの紅蜘蛛は合わせ易い
fact11 & fact14 -> int1: この所定事項はしても良くない一方で挑み続ける; int1 -> int2: 「「しても良くないけれど挑み続ける」ということは事実である」物はある; int2 & fact3 -> int3: この加水分解酵素は謀殺する; fact17 -> int4: 仮にこの加水分解酵素が謀殺するとすれば合わせ易くないかあるいはメインツールバーであるということはないかあるいはどちらもだ; int3 & int4 -> int5: この加水分解酵素は合わせ易くないかそれはメインツールバーでないかあるいはどちらもだ; int5 & fact4 -> int6: そのマゼンタは二線コマンドでない; int6 & fact9 -> hypothesis;
「「その読書人は図々しいが二線コマンドでない」ということは成り立つ」ということは間違っている
fact20 -> int7: もしも「その読書人は未来像だ」ということは事実と異ならないとすれば「図々しいけれど二線コマンドでない」ということは成り立つということはない;
$facts$ = fact1: もしも何らかの物は未来像だとすると「図々しいしまた二線コマンドでない」ということは真実でない fact2: 「何かは未来像だということはないが謀殺する」ということは誤りであるならば未来像だ fact3: もししても良くない物が挑み続けるならこの加水分解酵素は謀殺する fact4: もしもこの加水分解酵素が合わせ易いということはないかあるいはメインツールバーでないか両方であるとしたら「そのマゼンタは二線コマンドでない」ということは確かである fact5: もし仮にこの加水分解酵素が挑み続けるとするとメインツールバーでないかまたはそれは合わせ易くないか両方ともである fact6: あるものが未来像だとすればそれは図々しかないかもしくは根治手術でないかまたは両方だ fact7: もし仮にこの加水分解酵素はしても良くないならば「この所定事項はしても良くない」ということは成り立つ fact8: 何らかのものは図々しかないけど二線コマンドである fact9: もしもそのマゼンタが二線コマンドでないならその読書人は図々しいけどそれは二線コマンドでない fact10: そのマゼンタは挑み続けない fact11: もしそのＭＩＤＩインターフェースが未来像でないならこの所定事項はしても良くないがそれは挑み続ける fact12: もしその読書人がメインツールバーだということはないならこの加水分解酵素は二線コマンドでないがしかしそれは挑み続ける fact13: もし「なにがしかのものは合わせ易い」ということは成り立つなら「それは未来像であるということはない一方で謀殺する」ということは誤っている fact14: そのＭＩＤＩインターフェースは未来像でない fact15: もし仮になんらかの物が二線コマンドでないがしかしそれが未来像ならそのマゼンタはメインツールバーだ fact16: もしもこの加水分解酵素がしても良くないとしたらそのマゼンタは二線コマンドでない一方でメインツールバーである fact17: もし「何らかの物は謀殺する」ということは正しいならそれは合わせ易くないかもしくはメインツールバーでないかあるいは両方だ fact18: もし仮にとあるものが未来像だということはないけれどメインツールバーならばあの所定事項はしても良い fact19: 「そのＭＩＤＩインターフェースはメインツールバーであるということはない」ということは嘘でないとするとあの紅蜘蛛は合わせ易い ; $hypothesis$ = 「その読書人は図々しいがしかしそれは二線コマンドでない」ということは真実でない ; $proof$ = 
fact11 & fact14 -> int1: この所定事項はしても良くない一方で挑み続ける; int1 -> int2: 「「しても良くないけれど挑み続ける」ということは事実である」物はある; int2 & fact3 -> int3: この加水分解酵素は謀殺する; fact17 -> int4: 仮にこの加水分解酵素が謀殺するとすれば合わせ易くないかあるいはメインツールバーであるということはないかあるいはどちらもだ; int3 & int4 -> int5: この加水分解酵素は合わせ易くないかそれはメインツールバーでないかあるいはどちらもだ; int5 & fact4 -> int6: そのマゼンタは二線コマンドでない; int6 & fact9 -> hypothesis; __DISPROVED__
事実1: もしも何らかの物は未来像だとすると「図々しいしまた二線コマンドでない」ということは真実でない
事実2: 「何かは未来像だということはないが謀殺する」ということは誤りであるならば未来像だ
事実3: もししても良くない物が挑み続けるならこの加水分解酵素は謀殺する
事実4: もしもこの加水分解酵素が合わせ易いということはないかあるいはメインツールバーでないか両方であるとしたら「そのマゼンタは二線コマンドでない」ということは確かである
事実5: もし仮にこの加水分解酵素が挑み続けるとするとメインツールバーでないかまたはそれは合わせ易くないか両方ともである
事実6: あるものが未来像だとすればそれは図々しかないかもしくは根治手術でないかまたは両方だ
事実7: もし仮にこの加水分解酵素はしても良くないならば「この所定事項はしても良くない」ということは成り立つ
事実8: 何らかのものは図々しかないけど二線コマンドである
事実9: もしもそのマゼンタが二線コマンドでないならその読書人は図々しいけどそれは二線コマンドでない
事実10: そのマゼンタは挑み続けない
事実11: もしそのＭＩＤＩインターフェースが未来像でないならこの所定事項はしても良くないがそれは挑み続ける
事実12: もしその読書人がメインツールバーだということはないならこの加水分解酵素は二線コマンドでないがしかしそれは挑み続ける
事実13: もし「なにがしかのものは合わせ易い」ということは成り立つなら「それは未来像であるということはない一方で謀殺する」ということは誤っている
事実14: そのＭＩＤＩインターフェースは未来像でない
事実15: もし仮になんらかの物が二線コマンドでないがしかしそれが未来像ならそのマゼンタはメインツールバーだ
事実16: もしもこの加水分解酵素がしても良くないとしたらそのマゼンタは二線コマンドでない一方でメインツールバーである
事実17: もし「何らかの物は謀殺する」ということは正しいならそれは合わせ易くないかもしくはメインツールバーでないかあるいは両方だ
事実18: もし仮にとあるものが未来像だということはないけれどメインツールバーならばあの所定事項はしても良い
事実19: 「そのＭＩＤＩインターフェースはメインツールバーであるということはない」ということは嘘でないとするとあの紅蜘蛛は合わせ易い

仮説: 「その読書人は図々しいがしかしそれは二線コマンドでない」ということは真実でない
1. 事実11と事実14から、推論1: "この所定事項はしても良くない一方で挑み続ける"が導かれる
2. 推論1から、推論2: "「「しても良くないけれど挑み続ける」ということは事実である」物はある"が導かれる
3. 推論2と事実3から、推論3: "この加水分解酵素は謀殺する"が導かれる
4. 事実17から、推論4: "仮にこの加水分解酵素が謀殺するとすれば合わせ易くないかあるいはメインツールバーであるということはないかあるいはどちらもだ"が導かれる
5. 推論3と推論4から、推論5: "この加水分解酵素は合わせ易くないかそれはメインツールバーでないかあるいはどちらもだ"が導かれる
6. 推論5と事実4から、推論6: "そのマゼンタは二線コマンドでない"が導かれる
7. 推論6と事実9から、仮説が否定される

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