「あのエバンゲリオンは操縦するけど下賜しない」ということは成り立たない
fact1: 「このホワイトリカーは調節し易いがしかしそれは操縦しない」ということは誤っている fact2: もし仮にこのホワイトリカーは下賜するなら「あのエバンゲリオンは操縦する一方で下賜しない」ということは真実でない fact3: もし仮にある物がホワイトハウス入りするということはないならそれは操縦するし加えてそれは下賜しない fact4: このホワイトリカーはホワイトハウス入りするしおまけに下賜する fact5: 仮に「あのエバンゲリオンは操縦する」ということは間違っていないならば「このホワイトリカーは下賜するしおまけに操縦する」ということは事実だということはない fact6: このホワイトリカーはホワイトハウス入りするとすれば「あのエバンゲリオンは下賜するしまたホワイトハウス入りする」ということは誤っている fact7: あのエバンゲリオンはホワイトハウス入りするなら「「このホワイトリカーは操縦するしそれはホワイトハウス入りする」ということは偽である」ということは成り立つ fact8: 仮にこのホワイトリカーは下賜すれば「あのエバンゲリオンは操縦するし下賜する」ということは間違っている fact9: 仮にあのエバンゲリオンは下賜するとすれば「このホワイトリカーは操縦するしさらに下賜する」ということは成り立たない fact10: 仮にこのホワイトリカーがホワイトハウス入りしないならばあのエバンゲリオンはホワイトハウス入りするということはない fact11: 「あのエバンゲリオンは下賜するしまたホワイトハウス入りする」ということは成り立たない fact12: このホワイトリカーはホワイトハウス入りする fact13: 「あの漁師町は操縦する」ということは真実だ
fact4 -> int1: このホワイトリカーは下賜する; int1 & fact2 -> hypothesis;
あのエバンゲリオンは操縦するけれどそれは下賜しない
fact14 -> int2: もしあのエバンゲリオンはホワイトハウス入りしないとしたら「操縦するしそれに下賜するということはない」ということは本当だ;
$facts$ = fact1: 「このホワイトリカーは調節し易いがしかしそれは操縦しない」ということは誤っている fact2: もし仮にこのホワイトリカーは下賜するなら「あのエバンゲリオンは操縦する一方で下賜しない」ということは真実でない fact3: もし仮にある物がホワイトハウス入りするということはないならそれは操縦するし加えてそれは下賜しない fact4: このホワイトリカーはホワイトハウス入りするしおまけに下賜する fact5: 仮に「あのエバンゲリオンは操縦する」ということは間違っていないならば「このホワイトリカーは下賜するしおまけに操縦する」ということは事実だということはない fact6: このホワイトリカーはホワイトハウス入りするとすれば「あのエバンゲリオンは下賜するしまたホワイトハウス入りする」ということは誤っている fact7: あのエバンゲリオンはホワイトハウス入りするなら「「このホワイトリカーは操縦するしそれはホワイトハウス入りする」ということは偽である」ということは成り立つ fact8: 仮にこのホワイトリカーは下賜すれば「あのエバンゲリオンは操縦するし下賜する」ということは間違っている fact9: 仮にあのエバンゲリオンは下賜するとすれば「このホワイトリカーは操縦するしさらに下賜する」ということは成り立たない fact10: 仮にこのホワイトリカーがホワイトハウス入りしないならばあのエバンゲリオンはホワイトハウス入りするということはない fact11: 「あのエバンゲリオンは下賜するしまたホワイトハウス入りする」ということは成り立たない fact12: このホワイトリカーはホワイトハウス入りする fact13: 「あの漁師町は操縦する」ということは真実だ ; $hypothesis$ = 「あのエバンゲリオンは操縦するけど下賜しない」ということは成り立たない ; $proof$ = 
fact4 -> int1: このホワイトリカーは下賜する; int1 & fact2 -> hypothesis; __PROVED__
事実1: 「このホワイトリカーは調節し易いがしかしそれは操縦しない」ということは誤っている
事実2: もし仮にこのホワイトリカーは下賜するなら「あのエバンゲリオンは操縦する一方で下賜しない」ということは真実でない
事実3: もし仮にある物がホワイトハウス入りするということはないならそれは操縦するし加えてそれは下賜しない
事実4: このホワイトリカーはホワイトハウス入りするしおまけに下賜する
事実5: 仮に「あのエバンゲリオンは操縦する」ということは間違っていないならば「このホワイトリカーは下賜するしおまけに操縦する」ということは事実だということはない
事実6: このホワイトリカーはホワイトハウス入りするとすれば「あのエバンゲリオンは下賜するしまたホワイトハウス入りする」ということは誤っている
事実7: あのエバンゲリオンはホワイトハウス入りするなら「「このホワイトリカーは操縦するしそれはホワイトハウス入りする」ということは偽である」ということは成り立つ
事実8: 仮にこのホワイトリカーは下賜すれば「あのエバンゲリオンは操縦するし下賜する」ということは間違っている
事実9: 仮にあのエバンゲリオンは下賜するとすれば「このホワイトリカーは操縦するしさらに下賜する」ということは成り立たない
事実10: 仮にこのホワイトリカーがホワイトハウス入りしないならばあのエバンゲリオンはホワイトハウス入りするということはない
事実11: 「あのエバンゲリオンは下賜するしまたホワイトハウス入りする」ということは成り立たない
事実12: このホワイトリカーはホワイトハウス入りする
事実13: 「あの漁師町は操縦する」ということは真実だ

仮説: 「あのエバンゲリオンは操縦するけど下賜しない」ということは成り立たない
1. 事実4から、推論1: "このホワイトリカーは下賜する"が導かれる
2. 推論1と事実2から、仮説が導かれる

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