あのコンピュータ科学は食べ終わらない
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: もしあの熟達者が渡米であるということはないしかつ堪え兼ねらないならばあのコンピュータ科学は食べ終わらない
fact6 & fact9 -> int1: 「あのカーテン代わりは演奏し始めないが犯し易い」ということは間違っている; int1 & fact8 -> int2: その条約上は渡米である; int2 & fact21 -> int3: あの熟達者は渡米でないしさらにそれは堪え兼ねらない; int3 & fact25 -> hypothesis;
あのコンピュータ科学は食べ終わる
$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$ = 
fact6 & fact9 -> int1: 「あのカーテン代わりは演奏し始めないが犯し易い」ということは間違っている; int1 & fact8 -> int2: その条約上は渡米である; int2 & fact21 -> int3: あの熟達者は渡米でないしさらにそれは堪え兼ねらない; int3 & fact25 -> 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. 事実6と事実9から、推論1: "「あのカーテン代わりは演奏し始めないが犯し易い」ということは間違っている"が導かれる
2. 推論1と事実8から、推論2: "その条約上は渡米である"が導かれる
3. 推論2と事実21から、推論3: "あの熟達者は渡米でないしさらにそれは堪え兼ねらない"が導かれる
4. 推論3と事実25から、仮説が導かれる

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