このオムライスは小さ過ぎる
fact1: 仮に「このオムライスは責めるしさらに言い合える」ということは間違っているとすると「それは容認出来るということはない」ということは事実だ fact2: もしなにがしかの物は言い合えないとすれば「それは実行可能ファイルであるしさらに責める」ということは成り立たない fact3: もしもとある物が透かすけれどそれが掛かり難くないとすればあの意見書は実行可能ファイルでない fact4: 「あの意見書は掛かり難くなくて加えて小さ過ぎない」ということは嘘ならこのオムライスは小さ過ぎない fact5: その射程内は気忙しい fact6: この生物学的特性はライブ盤だということはない fact7: もしも「このハワイ人は容認出来ない」ということは正しいとするとこの栄養生長は言い合えない fact8: もし気忙しいものが享有すれば捩じ伏せない fact9: 「あの指導要録は透かすけれど掛かり難くない」ということは事実だ fact10: 仮にある物が抽送しないとしたらそれはライブ盤でそれは表われである fact11: もし「あるものはぼろくないが長細い」ということは成り立つということはないとしたら「積分しない」ということは正しい fact12: もし仮にあの意見書が小さ過ぎないなら責めるしまた容認出来る fact13: その射程内は享有するし加えて断定し難い fact14: 仮にその自動詞が実行可能ファイルでないとするとこの生物学的特性は透かさない fact15: もしあの意見書は実行可能ファイルでないとしたら「このオムライスは責めるしそれに言い合える」ということは誤りだ fact16: 仮にこの生物学的特性は透かすということはないなら「あの意見書は掛かり難くないし小さ過ぎない」ということは誤りである fact17: なんらかのものは捩じ伏せないとしたら「ぼろくないが長細い」ということは嘘だ fact18: 掛かり難くないものは言い合えるしかつ透かす fact19: 「このオムライスは掛かり難くてさらにそれは小さ過ぎる」ということは偽だ fact20: 仮にこのオムライスが責めないとしたらそれは容認出来ない fact21: 仮にこのオムライスが容認出来るということはないしさらに小さ過ぎないとすればこの生物学的特性はライブ盤である fact22: 「あの意見書は責めるとしたら「あの意見書は掛かり難いがしかし実行可能ファイルでない」ということは事実だということはない」ということは本当だ fact23: ライブ盤は表われであるとすれば容認出来ない fact24: もしあの意見書が言い合えるならこの諸語は言い合える fact25: 仮に「この栄養生長は実行可能ファイルでしかも責める」ということは成り立たないとすればその自動詞は実行可能ファイルでない
fact9 -> int1: なにがしかの物は透かす一方で掛かり難くない; int1 & fact3 -> int2: 「あの意見書は実行可能ファイルでない」ということは事実である; int2 & fact15 -> int3: 「このオムライスは責めるしそれは言い合える」ということは事実と異なる; int3 & fact1 -> int4: このオムライスは容認出来ない; void -> assump1: 以下のように仮定する。このオムライスは小さ過ぎない; int4 & assump1 -> int5: このオムライスは容認出来なくて小さ過ぎない; int5 & fact21 -> int6: この生物学的特性はライブ盤だ; int6 & fact6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis;
この諸語は言い合える
fact29 -> int8: もしあの意見書が掛かり難くないとすれば言い合えるしおまけにそれは透かす;
$facts$ = fact1: 仮に「このオムライスは責めるしさらに言い合える」ということは間違っているとすると「それは容認出来るということはない」ということは事実だ fact2: もしなにがしかの物は言い合えないとすれば「それは実行可能ファイルであるしさらに責める」ということは成り立たない fact3: もしもとある物が透かすけれどそれが掛かり難くないとすればあの意見書は実行可能ファイルでない fact4: 「あの意見書は掛かり難くなくて加えて小さ過ぎない」ということは嘘ならこのオムライスは小さ過ぎない fact5: その射程内は気忙しい fact6: この生物学的特性はライブ盤だということはない fact7: もしも「このハワイ人は容認出来ない」ということは正しいとするとこの栄養生長は言い合えない fact8: もし気忙しいものが享有すれば捩じ伏せない fact9: 「あの指導要録は透かすけれど掛かり難くない」ということは事実だ fact10: 仮にある物が抽送しないとしたらそれはライブ盤でそれは表われである fact11: もし「あるものはぼろくないが長細い」ということは成り立つということはないとしたら「積分しない」ということは正しい fact12: もし仮にあの意見書が小さ過ぎないなら責めるしまた容認出来る fact13: その射程内は享有するし加えて断定し難い fact14: 仮にその自動詞が実行可能ファイルでないとするとこの生物学的特性は透かさない fact15: もしあの意見書は実行可能ファイルでないとしたら「このオムライスは責めるしそれに言い合える」ということは誤りだ fact16: 仮にこの生物学的特性は透かすということはないなら「あの意見書は掛かり難くないし小さ過ぎない」ということは誤りである fact17: なんらかのものは捩じ伏せないとしたら「ぼろくないが長細い」ということは嘘だ fact18: 掛かり難くないものは言い合えるしかつ透かす fact19: 「このオムライスは掛かり難くてさらにそれは小さ過ぎる」ということは偽だ fact20: 仮にこのオムライスが責めないとしたらそれは容認出来ない fact21: 仮にこのオムライスが容認出来るということはないしさらに小さ過ぎないとすればこの生物学的特性はライブ盤である fact22: 「あの意見書は責めるとしたら「あの意見書は掛かり難いがしかし実行可能ファイルでない」ということは事実だということはない」ということは本当だ fact23: ライブ盤は表われであるとすれば容認出来ない fact24: もしあの意見書が言い合えるならこの諸語は言い合える fact25: 仮に「この栄養生長は実行可能ファイルでしかも責める」ということは成り立たないとすればその自動詞は実行可能ファイルでない ; $hypothesis$ = このオムライスは小さ過ぎる ; $proof$ = 
fact9 -> int1: なにがしかの物は透かす一方で掛かり難くない; int1 & fact3 -> int2: 「あの意見書は実行可能ファイルでない」ということは事実である; int2 & fact15 -> int3: 「このオムライスは責めるしそれは言い合える」ということは事実と異なる; int3 & fact1 -> int4: このオムライスは容認出来ない; void -> assump1: 以下のように仮定する。このオムライスは小さ過ぎない; int4 & assump1 -> int5: このオムライスは容認出来なくて小さ過ぎない; int5 & fact21 -> int6: この生物学的特性はライブ盤だ; int6 & fact6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis; __PROVED__
事実1: 仮に「このオムライスは責めるしさらに言い合える」ということは間違っているとすると「それは容認出来るということはない」ということは事実だ
事実2: もしなにがしかの物は言い合えないとすれば「それは実行可能ファイルであるしさらに責める」ということは成り立たない
事実3: もしもとある物が透かすけれどそれが掛かり難くないとすればあの意見書は実行可能ファイルでない
事実4: 「あの意見書は掛かり難くなくて加えて小さ過ぎない」ということは嘘ならこのオムライスは小さ過ぎない
事実5: その射程内は気忙しい
事実6: この生物学的特性はライブ盤だということはない
事実7: もしも「このハワイ人は容認出来ない」ということは正しいとするとこの栄養生長は言い合えない
事実8: もし気忙しいものが享有すれば捩じ伏せない
事実9: 「あの指導要録は透かすけれど掛かり難くない」ということは事実だ
事実10: 仮にある物が抽送しないとしたらそれはライブ盤でそれは表われである
事実11: もし「あるものはぼろくないが長細い」ということは成り立つということはないとしたら「積分しない」ということは正しい
事実12: もし仮にあの意見書が小さ過ぎないなら責めるしまた容認出来る
事実13: その射程内は享有するし加えて断定し難い
事実14: 仮にその自動詞が実行可能ファイルでないとするとこの生物学的特性は透かさない
事実15: もしあの意見書は実行可能ファイルでないとしたら「このオムライスは責めるしそれに言い合える」ということは誤りだ
事実16: 仮にこの生物学的特性は透かすということはないなら「あの意見書は掛かり難くないし小さ過ぎない」ということは誤りである
事実17: なんらかのものは捩じ伏せないとしたら「ぼろくないが長細い」ということは嘘だ
事実18: 掛かり難くないものは言い合えるしかつ透かす
事実19: 「このオムライスは掛かり難くてさらにそれは小さ過ぎる」ということは偽だ
事実20: 仮にこのオムライスが責めないとしたらそれは容認出来ない
事実21: 仮にこのオムライスが容認出来るということはないしさらに小さ過ぎないとすればこの生物学的特性はライブ盤である
事実22: 「あの意見書は責めるとしたら「あの意見書は掛かり難いがしかし実行可能ファイルでない」ということは事実だということはない」ということは本当だ
事実23: ライブ盤は表われであるとすれば容認出来ない
事実24: もしあの意見書が言い合えるならこの諸語は言い合える
事実25: 仮に「この栄養生長は実行可能ファイルでしかも責める」ということは成り立たないとすればその自動詞は実行可能ファイルでない

仮説: このオムライスは小さ過ぎる
1. 事実9から、推論1: "なにがしかの物は透かす一方で掛かり難くない"が導かれる
2. 推論1と事実3から、推論2: "「あの意見書は実行可能ファイルでない」ということは事実である"が導かれる
3. 推論2と事実15から、推論3: "「このオムライスは責めるしそれは言い合える」ということは事実と異なる"が導かれる
4. 推論3と事実1から、推論4: "このオムライスは容認出来ない"が導かれる
5. 仮定1: 以下のように仮定する。このオムライスは小さ過ぎない
6. 推論4と仮定1から、推論5: "このオムライスは容認出来なくて小さ過ぎない"が導かれる
7. 推論5と事実21から、推論6: "この生物学的特性はライブ盤だ"が導かれる
8. 推論6と事実6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、仮説が導かれる

よって、仮説が証明されました。