「あの乞食はルポしない」ということは本当である
fact1: あの乞食はルポするかあるいは白っぽくない fact2: もし仮にあの乞食が法廷審理だとすれば甘海老であるかもしくは人間らしいということはない fact3: 何らかの物が賢しいならばそれは法廷審理であるが夢想でない fact4: 仮にとあるものが法廷審理であるがそれが夢想だということはないならそれは人間らしいということはない fact5: あの乞食は甘海老であるとすれば「ルポする」ということは正しい fact6: 「もし仮にあの転移性脊椎腫瘍がトレッキング・コースだとしたらあの転移性脊椎腫瘍は甘海老であるかそれは漢字語でない」ということは正しい fact7: もし「あの背景消しゴムツールは完全武装しない」ということは真実だとすればこの占有移転は乳繰り有るししかも一巡りする fact8: もし何かは甘海老なら「それはルポするということはない」ということは確かである fact9: もしあの電気工事屋さんが賢しいならばあの乞食は賢しい fact10: あの乞食は法廷審理だ fact11: あの信託銀行は人間らしくない fact12: 「あの乞食は受容器だ」ということは事実であるならそれは処理出来ない fact13: 仮に「この占有移転はエンゲージメントでなくて加えて成功し易いということはない」ということは成り立たないとするとあのクルは成功し易くない fact14: もし仮に「その十進数は開かすしさらに完全武装する」ということは真実でないとすればそれは完全武装しない fact15: 人間らしくないものはルポしない fact16: もしその付き添い看護は人間らしくないなら「それは選りすぐらない」ということは成り立つ fact17: その大陸横断は自活出来るかもしくは年度別でないかあるいは両方だ fact18: もしもあのクルが成功し易くないとするとあの電気工事屋さんは賢しいしおまけにそれは既払いである fact19: あの乞食は乗り込めない fact20: 抗し難い物はクロバザムでない fact21: もし仮になんらかのものが乳繰り有るとすればそれは混同し易い fact22: もしもなんらかのものは混同し易いなら「エンゲージメントでなくておまけに成功し易くない」ということは事実と異なる fact23: 甘海老はルポする fact24: もし仮にその十進数が完全武装しないならあの背景消しゴムツールは完全武装しない
fact15 -> int1: もしもあの乞食が人間らしくないとしたらルポしない; fact2 & fact10 -> int2: あの乞食は甘海老であるかもしくは人間らしくないかどちらもである; fact8 -> int3: もし仮に「あの乞食は甘海老だ」ということは成り立てばそれはルポしない; int1 & int2 & int3 -> hypothesis;
fact15 -> int1: ¬{B}{aa} -> ¬{C}{aa}; fact2 & fact10 -> int2: ({A}{aa} v ¬{B}{aa}); fact8 -> int3: {A}{aa} -> ¬{C}{aa}; int1 & int2 & int3 -> hypothesis;
あの乞食はルポする
fact32 -> int4: もし仮にあの乞食が法廷審理であるがしかし夢想でないとすれば人間らしくない; fact33 -> int5: もし仮にあの乞食は賢しいとすれば「それは法廷審理であるがしかし夢想でない」ということは成り立つ; fact34 -> int6: もし仮に「この占有移転は混同し易い」ということは真実であるとすると「エンゲージメントだということはないしおまけに成功し易くない」ということは間違いである; fact31 -> int7: もしもこの占有移転が乳繰り有るとすると混同し易い;
$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: もし仮にその十進数が完全武装しないならあの背景消しゴムツールは完全武装しない ; $hypothesis$ = 「あの乞食はルポしない」ということは本当である ; $proof$ = 
fact15 -> int1: もしもあの乞食が人間らしくないとしたらルポしない; fact2 & fact10 -> int2: あの乞食は甘海老であるかもしくは人間らしくないかどちらもである; fact8 -> int3: もし仮に「あの乞食は甘海老だ」ということは成り立てばそれはルポしない; int1 & int2 & int3 -> 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: もし仮にその十進数が完全武装しないならあの背景消しゴムツールは完全武装しない

仮説: 「あの乞食はルポしない」ということは本当である
1. 事実15から、推論1: "もしもあの乞食が人間らしくないとしたらルポしない"が導かれる
2. 事実2と事実10から、推論2: "あの乞食は甘海老であるかもしくは人間らしくないかどちらもである"が導かれる
3. 事実8から、推論3: "もし仮に「あの乞食は甘海老だ」ということは成り立てばそれはルポしない"が導かれる
4. 推論1と推論2と推論3から、仮説が導かれる

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