あの二十八宿は根気強い
fact1: あの二十八宿は根気強いし更に好ましい fact2: もしもこのオールバックは睨み合いならば「この柑橘類は情け深くないがしかし変更計画案である」ということは正しくない fact3: このオールバックは睨み合いである fact4: もし仮に「修補請求でないかもしくは新中寄蘆でない」ものがあるとするとあの二十八宿は新中寄蘆でない fact5: その内閣府試算は前期後半であるし更に指導管理だ fact6: 仮に「「御願いするかまたはドッジ・ラインだ」ということは偽である」ものがあればこの輸出市場は根気強い fact7: もし仮に何らかのものは新中寄蘆でないとすれば「御願いするかあるいはドッジ・ラインであるか両方だ」ということは成り立たない fact8: その住宅用は根気強い fact9: もしもこの柑橘類がドッジ・ラインであるとするとあの二十八宿は根気強くなくてそれは好ましくない fact10: もし仮にとあるものは抱き返さないとすれば「抽選するということはないかまたはそれは歌舞伎っぽくない」ということは偽だ fact11: とあるものは抽選しないとすれば「それは池田屋事件であるしそれに歌舞伎っぽい」ということは偽である fact12: 仮に「この柑橘類は情け深くないけどそれは変更計画案である」ということは偽であるとすれば「それは抱き返さない」ということは真実である fact13: もし「その諸表は池田屋事件であるしかつ歌舞伎っぽい」ということは本当でないとするとこの柑橘類は新中寄蘆でない fact14: あの二十八宿は優し fact15: 「とある物は抽選しないかあるいは歌舞伎っぽいということはないかもしくは両方である」ということは誤っているとしたらそれは池田屋事件でない fact16: もしも「この柑橘類は池田屋事件でない」ということは正しいとするとこの輸出市場は死体処理であるししかもそれは好ましい fact17: もし仮になにがしかの物が指導管理ならその諸表は修補請求でないかあるいは新中寄蘆だということはないかどちらもである fact18: 「その内閣府試算は抽選するか抱き返さない」ということは本当だ
fact1 -> hypothesis;
この輸出市場は根気強くてそれに死体処理である
fact19 -> int1: あの二十八宿は新中寄蘆でないならば「御願いするかもしくはドッジ・ラインであるかもしくは両方ともである」ということは成り立たない; fact26 -> int2: その内閣府試算は指導管理だ; int2 -> int3: 「指導管理はある」ということは正しい; int3 & fact22 -> int4: その諸表は修補請求でないか新中寄蘆だということはない; int4 -> int5: なんらかの物は修補請求でないかもしくは新中寄蘆であるということはない; int5 & fact27 -> int6: あの二十八宿は新中寄蘆でない; int1 & int6 -> int7: 「あの二十八宿は御願いするかまたはドッジ・ラインである」ということは偽である; int7 -> int8: 「「御願いするかあるいはドッジ・ラインであるかもしくは両方だ」ということは成り立たない」ものはある; int8 & fact24 -> int9: この輸出市場は根気強い; fact21 -> int10: もし仮に「この柑橘類は抽選しないか歌舞伎っぽいということはない」ということは成り立つということはないとしたら池田屋事件でない; fact28 -> int11: もしもこの柑橘類は抱き返さないなら「抽選しないかまたは歌舞伎っぽいということはないかもしくはどちらもだ」ということは間違っている; fact20 & fact23 -> int12: 「「この柑橘類は情け深くないが変更計画案である」ということは間違っている」ということは成り立つ; fact29 & int12 -> int13: この柑橘類は抱き返すということはない; int11 & int13 -> int14: 「この柑橘類は抽選しないかあるいは歌舞伎っぽいということはないかあるいは両方ともだ」ということは嘘だ; int10 & int14 -> int15: この柑橘類は池田屋事件でない; fact25 & int15 -> int16: この輸出市場は死体処理であるし更にそれは好ましい; int16 -> int17: この輸出市場は死体処理である; int9 & int17 -> hypothesis;
$facts$ = fact1: あの二十八宿は根気強いし更に好ましい fact2: もしもこのオールバックは睨み合いならば「この柑橘類は情け深くないがしかし変更計画案である」ということは正しくない fact3: このオールバックは睨み合いである fact4: もし仮に「修補請求でないかもしくは新中寄蘆でない」ものがあるとするとあの二十八宿は新中寄蘆でない fact5: その内閣府試算は前期後半であるし更に指導管理だ fact6: 仮に「「御願いするかまたはドッジ・ラインだ」ということは偽である」ものがあればこの輸出市場は根気強い fact7: もし仮に何らかのものは新中寄蘆でないとすれば「御願いするかあるいはドッジ・ラインであるか両方だ」ということは成り立たない fact8: その住宅用は根気強い fact9: もしもこの柑橘類がドッジ・ラインであるとするとあの二十八宿は根気強くなくてそれは好ましくない fact10: もし仮にとあるものは抱き返さないとすれば「抽選するということはないかまたはそれは歌舞伎っぽくない」ということは偽だ fact11: とあるものは抽選しないとすれば「それは池田屋事件であるしそれに歌舞伎っぽい」ということは偽である fact12: 仮に「この柑橘類は情け深くないけどそれは変更計画案である」ということは偽であるとすれば「それは抱き返さない」ということは真実である fact13: もし「その諸表は池田屋事件であるしかつ歌舞伎っぽい」ということは本当でないとするとこの柑橘類は新中寄蘆でない fact14: あの二十八宿は優し fact15: 「とある物は抽選しないかあるいは歌舞伎っぽいということはないかもしくは両方である」ということは誤っているとしたらそれは池田屋事件でない fact16: もしも「この柑橘類は池田屋事件でない」ということは正しいとするとこの輸出市場は死体処理であるししかもそれは好ましい fact17: もし仮になにがしかの物が指導管理ならその諸表は修補請求でないかあるいは新中寄蘆だということはないかどちらもである fact18: 「その内閣府試算は抽選するか抱き返さない」ということは本当だ ; $hypothesis$ = あの二十八宿は根気強い ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: あの二十八宿は根気強いし更に好ましい
事実2: もしもこのオールバックは睨み合いならば「この柑橘類は情け深くないがしかし変更計画案である」ということは正しくない
事実3: このオールバックは睨み合いである
事実4: もし仮に「修補請求でないかもしくは新中寄蘆でない」ものがあるとするとあの二十八宿は新中寄蘆でない
事実5: その内閣府試算は前期後半であるし更に指導管理だ
事実6: 仮に「「御願いするかまたはドッジ・ラインだ」ということは偽である」ものがあればこの輸出市場は根気強い
事実7: もし仮に何らかのものは新中寄蘆でないとすれば「御願いするかあるいはドッジ・ラインであるか両方だ」ということは成り立たない
事実8: その住宅用は根気強い
事実9: もしもこの柑橘類がドッジ・ラインであるとするとあの二十八宿は根気強くなくてそれは好ましくない
事実10: もし仮にとあるものは抱き返さないとすれば「抽選するということはないかまたはそれは歌舞伎っぽくない」ということは偽だ
事実11: とあるものは抽選しないとすれば「それは池田屋事件であるしそれに歌舞伎っぽい」ということは偽である
事実12: 仮に「この柑橘類は情け深くないけどそれは変更計画案である」ということは偽であるとすれば「それは抱き返さない」ということは真実である
事実13: もし「その諸表は池田屋事件であるしかつ歌舞伎っぽい」ということは本当でないとするとこの柑橘類は新中寄蘆でない
事実14: あの二十八宿は優し
事実15: 「とある物は抽選しないかあるいは歌舞伎っぽいということはないかもしくは両方である」ということは誤っているとしたらそれは池田屋事件でない
事実16: もしも「この柑橘類は池田屋事件でない」ということは正しいとするとこの輸出市場は死体処理であるししかもそれは好ましい
事実17: もし仮になにがしかの物が指導管理ならその諸表は修補請求でないかあるいは新中寄蘆だということはないかどちらもである
事実18: 「その内閣府試算は抽選するか抱き返さない」ということは本当だ

仮説: あの二十八宿は根気強い
1. 事実1から、仮説が導かれる

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