「「その表面板は太り易くて加えてそれはしょっぱい」ということは本当だ」ということは成り立たない
fact1: もし仮にあの東洋文明は口惜しいとしたら「その腕釧はブラックフライアーズ駅下車である」ということは成り立つ fact2: もし仮にこのクスクスが楔形だとしたらその腕釧は楔形である fact3: あのタイトルバーは通俗療養書だ fact4: 仮にとあるものは楔形であるとすれば「発揮し難いしおまけに生まれ難くない」ということは正しくない fact5: もしもあの東洋文明が受験指導機関であるということはなくてしかもそれがブラックフライアーズ駅下車でないとしたらその表面板はブラックフライアーズ駅下車でない fact6: もしもある物は口惜しくないとすると「太り易いし加えてしょっぱい」ということは確かでない fact7: このクスクスは悪し fact8: もしもあのタイトルバーが生まれ難いとするとそれはしょっぱくない fact9: 仮にあのタイトルバーは通俗療養書であるとすると「確約しないけれど汚れ切る」ということは成り立つということはない fact10: 仮にその腕釧が悪しないならばあの東洋文明は悪しない fact11: 仮にその腕釧がブラックフライアーズ駅下車で加えて受験指導機関であるとするとこのクスクスは悪しない fact12: 「なにかはブラックフライアーズ駅下車でない」ということは成り立つとしたらそれは口惜しくない fact13: その腕釧は受験指導機関でないならば「あのタイトルバーは受験指導機関だがしかしそれは生まれ難くない」ということは成り立たない fact14: あの東洋文明は口惜しい fact15: 悪しないものは受験指導機関でないしブラックフライアーズ駅下車でない fact16: もし仮に「とあるものは発揮し難いけど生まれ難くない」ということは誤っているとすれば悪しということはない fact17: 仮にあのタイトルバーがしょっぱくないとしたらその表面板は太り易いしそれにそれはしょっぱい fact18: もしも「あのタイトルバーは受験指導機関だ一方で生まれ難くない」ということは間違いであるならそれはしょっぱくない
fact1 & fact14 -> int1: その腕釧はブラックフライアーズ駅下車だ; void -> assump1: 以下のように仮定する。その腕釧は受験指導機関である; int1 & assump1 -> int2: その腕釧はブラックフライアーズ駅下車であるしおまけに受験指導機関である; int2 & fact11 -> int3: 「このクスクスは悪しない」ということは正しい; int3 & fact7 -> int4: これは矛盾である; [assump1] & int4 -> int5: その腕釧は受験指導機関でない; int5 & fact13 -> int6: 「あのタイトルバーは受験指導機関だけれど生まれ難いということはない」ということは事実と異なる; int6 & fact18 -> int7: あのタイトルバーはしょっぱくない; int7 & fact17 -> hypothesis;
「その表面板が太り易いしその上それはしょっぱい」ということは事実と異なる
fact24 -> int8: もしもその表面板は口惜しくないとすると「太り易くてかつしょっぱい」ということは正しくない; fact22 -> int9: その表面板はブラックフライアーズ駅下車でないならばそれは口惜しいということはない; fact28 -> int10: もし仮にあの東洋文明が悪しないならばそれは受験指導機関であるということはないしそれにブラックフライアーズ駅下車でない; fact19 -> int11: 「その腕釧は発揮し難いがそれは生まれ難いということはない」ということは間違いであるとすれば悪しない; fact26 -> int12: 「仮にその腕釧は楔形であるとしたら「その腕釧は発揮し難いがしかし生まれ難くない」ということは本当でない」ということは事実だ; fact20 & fact23 -> int13: 「あのタイトルバーは確約しない一方で汚れ切る」ということは成り立たない; int13 -> int14: 「「確約しないしおまけに汚れ切る」ということは成り立たない」物はある;
$facts$ = fact1: もし仮にあの東洋文明は口惜しいとしたら「その腕釧はブラックフライアーズ駅下車である」ということは成り立つ fact2: もし仮にこのクスクスが楔形だとしたらその腕釧は楔形である fact3: あのタイトルバーは通俗療養書だ fact4: 仮にとあるものは楔形であるとすれば「発揮し難いしおまけに生まれ難くない」ということは正しくない fact5: もしもあの東洋文明が受験指導機関であるということはなくてしかもそれがブラックフライアーズ駅下車でないとしたらその表面板はブラックフライアーズ駅下車でない fact6: もしもある物は口惜しくないとすると「太り易いし加えてしょっぱい」ということは確かでない fact7: このクスクスは悪し fact8: もしもあのタイトルバーが生まれ難いとするとそれはしょっぱくない fact9: 仮にあのタイトルバーは通俗療養書であるとすると「確約しないけれど汚れ切る」ということは成り立つということはない fact10: 仮にその腕釧が悪しないならばあの東洋文明は悪しない fact11: 仮にその腕釧がブラックフライアーズ駅下車で加えて受験指導機関であるとするとこのクスクスは悪しない fact12: 「なにかはブラックフライアーズ駅下車でない」ということは成り立つとしたらそれは口惜しくない fact13: その腕釧は受験指導機関でないならば「あのタイトルバーは受験指導機関だがしかしそれは生まれ難くない」ということは成り立たない fact14: あの東洋文明は口惜しい fact15: 悪しないものは受験指導機関でないしブラックフライアーズ駅下車でない fact16: もし仮に「とあるものは発揮し難いけど生まれ難くない」ということは誤っているとすれば悪しということはない fact17: 仮にあのタイトルバーがしょっぱくないとしたらその表面板は太り易いしそれにそれはしょっぱい fact18: もしも「あのタイトルバーは受験指導機関だ一方で生まれ難くない」ということは間違いであるならそれはしょっぱくない ; $hypothesis$ = 「「その表面板は太り易くて加えてそれはしょっぱい」ということは本当だ」ということは成り立たない ; $proof$ = 
fact1 & fact14 -> int1: その腕釧はブラックフライアーズ駅下車だ; void -> assump1: 以下のように仮定する。その腕釧は受験指導機関である; int1 & assump1 -> int2: その腕釧はブラックフライアーズ駅下車であるしおまけに受験指導機関である; int2 & fact11 -> int3: 「このクスクスは悪しない」ということは正しい; int3 & fact7 -> int4: これは矛盾である; [assump1] & int4 -> int5: その腕釧は受験指導機関でない; int5 & fact13 -> int6: 「あのタイトルバーは受験指導機関だけれど生まれ難いということはない」ということは事実と異なる; int6 & fact18 -> int7: あのタイトルバーはしょっぱくない; int7 & fact17 -> hypothesis; __DISPROVED__
事実1: もし仮にあの東洋文明は口惜しいとしたら「その腕釧はブラックフライアーズ駅下車である」ということは成り立つ
事実2: もし仮にこのクスクスが楔形だとしたらその腕釧は楔形である
事実3: あのタイトルバーは通俗療養書だ
事実4: 仮にとあるものは楔形であるとすれば「発揮し難いしおまけに生まれ難くない」ということは正しくない
事実5: もしもあの東洋文明が受験指導機関であるということはなくてしかもそれがブラックフライアーズ駅下車でないとしたらその表面板はブラックフライアーズ駅下車でない
事実6: もしもある物は口惜しくないとすると「太り易いし加えてしょっぱい」ということは確かでない
事実7: このクスクスは悪し
事実8: もしもあのタイトルバーが生まれ難いとするとそれはしょっぱくない
事実9: 仮にあのタイトルバーは通俗療養書であるとすると「確約しないけれど汚れ切る」ということは成り立つということはない
事実10: 仮にその腕釧が悪しないならばあの東洋文明は悪しない
事実11: 仮にその腕釧がブラックフライアーズ駅下車で加えて受験指導機関であるとするとこのクスクスは悪しない
事実12: 「なにかはブラックフライアーズ駅下車でない」ということは成り立つとしたらそれは口惜しくない
事実13: その腕釧は受験指導機関でないならば「あのタイトルバーは受験指導機関だがしかしそれは生まれ難くない」ということは成り立たない
事実14: あの東洋文明は口惜しい
事実15: 悪しないものは受験指導機関でないしブラックフライアーズ駅下車でない
事実16: もし仮に「とあるものは発揮し難いけど生まれ難くない」ということは誤っているとすれば悪しということはない
事実17: 仮にあのタイトルバーがしょっぱくないとしたらその表面板は太り易いしそれにそれはしょっぱい
事実18: もしも「あのタイトルバーは受験指導機関だ一方で生まれ難くない」ということは間違いであるならそれはしょっぱくない

仮説: 「「その表面板は太り易くて加えてそれはしょっぱい」ということは本当だ」ということは成り立たない
1. 事実1と事実14から、推論1: "その腕釧はブラックフライアーズ駅下車だ"が導かれる
2. 仮定1: 以下のように仮定する。その腕釧は受験指導機関である
3. 推論1と仮定1から、推論2: "その腕釧はブラックフライアーズ駅下車であるしおまけに受験指導機関である"が導かれる
4. 推論2と事実11から、推論3: "「このクスクスは悪しない」ということは正しい"が導かれる
5. 推論3と事実7から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "その腕釧は受験指導機関でない"が導かれる
7. 推論5と事実13から、推論6: "「あのタイトルバーは受験指導機関だけれど生まれ難いということはない」ということは事実と異なる"が導かれる
8. 推論6と事実18から、推論7: "あのタイトルバーはしょっぱくない"が導かれる
9. 推論7と事実17から、仮説が否定される

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