「その効率性は創立する」ということは本当だ
fact1: あの馬上杯は三ＤＣＧだ fact2: 「この新ジャガは登録票でない一方でそれは創立する」ということは事実と異なる fact3: この新ジャガは溜まり易いということはなくてしかもそれは出し易くない fact4: もし仮に何らかのものが中世前期でないならばそれは恵み深くないかまたはフジテレビ映像企画部でない fact5: 「あの馬上杯は新機軸創出だ」ということは真実であるならばあの筋持久力は新機軸創出であるということはない fact6: もし仮にその筋持久力が新機軸創出でないとすれば刻み込むということはないしさらにそれは中世前期でない fact7: もしあるものが創立しないとしたら登録票でないがしかし特記事項である fact8: 仮に「「あの足全体は盛り上げるしおまけに中世前期である」ということは嘘である」ということは成り立つとしたらこの現行犯逮捕は中世前期でない fact9: もしもあるものが登録票でないとすれば創立しない fact10: もしこの現行犯逮捕が恵み深くないかあるいはフジテレビ映像企画部でないかもしくはどちらもだとしたらこの戌は特記事項でない fact11: もし「この新ジャガは登録票でなくてまた出し易くない」ということは成り立つならそれは特記事項だ fact12: もし仮に「この新ジャガは創立するか登録票でない」ということは成り立たないならば「その効率性は創立する」ということは真実だ fact13: 仮にこの新ジャガが溜まり易くないしそれが出し易くないとすると登録票である fact14: もし仮にこの新ジャガは溜まり易くないけれど出し易いならばそれは登録票である fact15: 仮に「ある物は特記事項でないがそれは登録票だ」ということは間違いであるならばそれは創立するということはない fact16: 仮にこの新ジャガは登録票であるとしたら「その効率性は特記事項でないがそれは登録票である」ということは嘘だ fact17: もしもあの馬上杯がおっそろしないならば新機軸創出であるしおまけにそれはバースデーケーキだ fact18: もし仮にその効率性は登録票でないならば創立しない fact19: 仮になにがしかの物は中世前期でないなら「「あの足全体は盛り上げるしおまけに中世前期である」ということは嘘である」ということは成り立つ fact20: 「この新ジャガは出し易くない」ということは成り立つ fact21: もしあの馬上杯が三ＤＣＧならばおっそろしないし蒸しでない
fact13 & fact3 -> int1: この新ジャガは登録票だ; int1 & fact16 -> int2: 「その効率性は特記事項でないが登録票である」ということは間違いだ; fact15 -> int3: もし「「その効率性は特記事項でないがそれは登録票である」ということは正しい」ということは事実でないとしたらそれは創立しない; int2 & int3 -> hypothesis;
この看護上は特記事項である
fact22 -> int4: もしこの看護上が創立しないとするとそれは登録票でないけれど特記事項だ;
$facts$ = fact1: あの馬上杯は三ＤＣＧだ fact2: 「この新ジャガは登録票でない一方でそれは創立する」ということは事実と異なる fact3: この新ジャガは溜まり易いということはなくてしかもそれは出し易くない fact4: もし仮に何らかのものが中世前期でないならばそれは恵み深くないかまたはフジテレビ映像企画部でない fact5: 「あの馬上杯は新機軸創出だ」ということは真実であるならばあの筋持久力は新機軸創出であるということはない fact6: もし仮にその筋持久力が新機軸創出でないとすれば刻み込むということはないしさらにそれは中世前期でない fact7: もしあるものが創立しないとしたら登録票でないがしかし特記事項である fact8: 仮に「「あの足全体は盛り上げるしおまけに中世前期である」ということは嘘である」ということは成り立つとしたらこの現行犯逮捕は中世前期でない fact9: もしもあるものが登録票でないとすれば創立しない fact10: もしこの現行犯逮捕が恵み深くないかあるいはフジテレビ映像企画部でないかもしくはどちらもだとしたらこの戌は特記事項でない fact11: もし「この新ジャガは登録票でなくてまた出し易くない」ということは成り立つならそれは特記事項だ fact12: もし仮に「この新ジャガは創立するか登録票でない」ということは成り立たないならば「その効率性は創立する」ということは真実だ fact13: 仮にこの新ジャガが溜まり易くないしそれが出し易くないとすると登録票である fact14: もし仮にこの新ジャガは溜まり易くないけれど出し易いならばそれは登録票である fact15: 仮に「ある物は特記事項でないがそれは登録票だ」ということは間違いであるならばそれは創立するということはない fact16: 仮にこの新ジャガは登録票であるとしたら「その効率性は特記事項でないがそれは登録票である」ということは嘘だ fact17: もしもあの馬上杯がおっそろしないならば新機軸創出であるしおまけにそれはバースデーケーキだ fact18: もし仮にその効率性は登録票でないならば創立しない fact19: 仮になにがしかの物は中世前期でないなら「「あの足全体は盛り上げるしおまけに中世前期である」ということは嘘である」ということは成り立つ fact20: 「この新ジャガは出し易くない」ということは成り立つ fact21: もしあの馬上杯が三ＤＣＧならばおっそろしないし蒸しでない ; $hypothesis$ = 「その効率性は創立する」ということは本当だ ; $proof$ = 
fact13 & fact3 -> int1: この新ジャガは登録票だ; int1 & fact16 -> int2: 「その効率性は特記事項でないが登録票である」ということは間違いだ; fact15 -> int3: もし「「その効率性は特記事項でないがそれは登録票である」ということは正しい」ということは事実でないとしたらそれは創立しない; int2 & int3 -> hypothesis; __DISPROVED__
事実1: あの馬上杯は三ＤＣＧだ
事実2: 「この新ジャガは登録票でない一方でそれは創立する」ということは事実と異なる
事実3: この新ジャガは溜まり易いということはなくてしかもそれは出し易くない
事実4: もし仮に何らかのものが中世前期でないならばそれは恵み深くないかまたはフジテレビ映像企画部でない
事実5: 「あの馬上杯は新機軸創出だ」ということは真実であるならばあの筋持久力は新機軸創出であるということはない
事実6: もし仮にその筋持久力が新機軸創出でないとすれば刻み込むということはないしさらにそれは中世前期でない
事実7: もしあるものが創立しないとしたら登録票でないがしかし特記事項である
事実8: 仮に「「あの足全体は盛り上げるしおまけに中世前期である」ということは嘘である」ということは成り立つとしたらこの現行犯逮捕は中世前期でない
事実9: もしもあるものが登録票でないとすれば創立しない
事実10: もしこの現行犯逮捕が恵み深くないかあるいはフジテレビ映像企画部でないかもしくはどちらもだとしたらこの戌は特記事項でない
事実11: もし「この新ジャガは登録票でなくてまた出し易くない」ということは成り立つならそれは特記事項だ
事実12: もし仮に「この新ジャガは創立するか登録票でない」ということは成り立たないならば「その効率性は創立する」ということは真実だ
事実13: 仮にこの新ジャガが溜まり易くないしそれが出し易くないとすると登録票である
事実14: もし仮にこの新ジャガは溜まり易くないけれど出し易いならばそれは登録票である
事実15: 仮に「ある物は特記事項でないがそれは登録票だ」ということは間違いであるならばそれは創立するということはない
事実16: 仮にこの新ジャガは登録票であるとしたら「その効率性は特記事項でないがそれは登録票である」ということは嘘だ
事実17: もしもあの馬上杯がおっそろしないならば新機軸創出であるしおまけにそれはバースデーケーキだ
事実18: もし仮にその効率性は登録票でないならば創立しない
事実19: 仮になにがしかの物は中世前期でないなら「「あの足全体は盛り上げるしおまけに中世前期である」ということは嘘である」ということは成り立つ
事実20: 「この新ジャガは出し易くない」ということは成り立つ
事実21: もしあの馬上杯が三ＤＣＧならばおっそろしないし蒸しでない

仮説: 「その効率性は創立する」ということは本当だ
1. 事実13と事実3から、推論1: "この新ジャガは登録票だ"が導かれる
2. 推論1と事実16から、推論2: "「その効率性は特記事項でないが登録票である」ということは間違いだ"が導かれる
3. 事実15から、推論3: "もし「「その効率性は特記事項でないがそれは登録票である」ということは正しい」ということは事実でないとしたらそれは創立しない"が導かれる
4. 推論2と推論3から、仮説が否定される

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