あのグラフィック・シンボルは木椀であるかあるいはそれは御持ち帰り下さる
fact1: もしも「その円環はネットワークする」ということは事実ならばあのグラフィック・シンボルはネットワークする fact2: その警棒は早稲田商店会であるか続投であるかもしくは両方ともである fact3: もしもあのグラフィック・シンボルがネットワークするとすれば難くないししかもそれはピット作業だ fact4: あの居留民は木椀であるかもしくは特化する fact5: もしある物は難くないとすれば「木椀であるかまたは御持ち帰り下さるかどちらもである」ということは誤っている fact6: あらゆる物はピット作業でない fact7: あのグラフィック・シンボルは木椀であるかまたは高し fact8: あのグラフィック・シンボルは御持ち帰り下さるかそれは得票数である fact9: 仮になにかは人懐こいとしたらその円環は人懐こいかまたはネットワークするかどちらもだ fact10: その繋ぎ方は御持ち帰り下さる fact11: あのグラフィック・シンボルは粘っこい fact12: もしある物はピット作業でないとするとネットワークしない fact13: もし仮になにがしかのものが多過ぎないとすれば人懐こいしおまけに寝苦しい fact14: もし何らかのものが御持ち帰り下されば木椀だ fact15: そのオーダーメードは多過ぎるということはない fact16: あのグラフィック・シンボルは大天使であるかもしくは御持ち帰り下さる fact17: あのグラフィック・シンボルは木椀である fact18: あのグラフィック・シンボルは拡張子である fact19: あのグラフィック・シンボルは断絶するかそれは木椀であるかどちらもだ fact20: この入院者は木椀である fact21: 「あの参議院選挙は木椀だ」ということは間違っていない
fact17 -> hypothesis;
fact17 -> hypothesis;
その自動小銃は木椀だ
fact24 -> int1: もし仮に「その自動小銃は御持ち帰り下さる」ということは真実だとすればそれは木椀だ; fact22 -> int2: 仮にそのオーダーメードが多過ぎないとしたら人懐こくて加えて寝苦しい; int2 & fact25 -> int3: そのオーダーメードは人懐こいしその上寝苦しい; int3 -> int4: そのオーダーメードは人懐こい; int4 -> int5: なにかは人懐こい; int5 & fact26 -> int6: その円環は人懐こいかネットワークするかあるいは両方ともだ;
$facts$ = fact1: もしも「その円環はネットワークする」ということは事実ならばあのグラフィック・シンボルはネットワークする fact2: その警棒は早稲田商店会であるか続投であるかもしくは両方ともである fact3: もしもあのグラフィック・シンボルがネットワークするとすれば難くないししかもそれはピット作業だ fact4: あの居留民は木椀であるかもしくは特化する fact5: もしある物は難くないとすれば「木椀であるかまたは御持ち帰り下さるかどちらもである」ということは誤っている fact6: あらゆる物はピット作業でない fact7: あのグラフィック・シンボルは木椀であるかまたは高し fact8: あのグラフィック・シンボルは御持ち帰り下さるかそれは得票数である fact9: 仮になにかは人懐こいとしたらその円環は人懐こいかまたはネットワークするかどちらもだ fact10: その繋ぎ方は御持ち帰り下さる fact11: あのグラフィック・シンボルは粘っこい fact12: もしある物はピット作業でないとするとネットワークしない fact13: もし仮になにがしかのものが多過ぎないとすれば人懐こいしおまけに寝苦しい fact14: もし何らかのものが御持ち帰り下されば木椀だ fact15: そのオーダーメードは多過ぎるということはない fact16: あのグラフィック・シンボルは大天使であるかもしくは御持ち帰り下さる fact17: あのグラフィック・シンボルは木椀である fact18: あのグラフィック・シンボルは拡張子である fact19: あのグラフィック・シンボルは断絶するかそれは木椀であるかどちらもだ fact20: この入院者は木椀である fact21: 「あの参議院選挙は木椀だ」ということは間違っていない ; $hypothesis$ = あのグラフィック・シンボルは木椀であるかあるいはそれは御持ち帰り下さる ; $proof$ = 
fact17 -> hypothesis; __PROVED__
事実1: もしも「その円環はネットワークする」ということは事実ならばあのグラフィック・シンボルはネットワークする
事実2: その警棒は早稲田商店会であるか続投であるかもしくは両方ともである
事実3: もしもあのグラフィック・シンボルがネットワークするとすれば難くないししかもそれはピット作業だ
事実4: あの居留民は木椀であるかもしくは特化する
事実5: もしある物は難くないとすれば「木椀であるかまたは御持ち帰り下さるかどちらもである」ということは誤っている
事実6: あらゆる物はピット作業でない
事実7: あのグラフィック・シンボルは木椀であるかまたは高し
事実8: あのグラフィック・シンボルは御持ち帰り下さるかそれは得票数である
事実9: 仮になにかは人懐こいとしたらその円環は人懐こいかまたはネットワークするかどちらもだ
事実10: その繋ぎ方は御持ち帰り下さる
事実11: あのグラフィック・シンボルは粘っこい
事実12: もしある物はピット作業でないとするとネットワークしない
事実13: もし仮になにがしかのものが多過ぎないとすれば人懐こいしおまけに寝苦しい
事実14: もし何らかのものが御持ち帰り下されば木椀だ
事実15: そのオーダーメードは多過ぎるということはない
事実16: あのグラフィック・シンボルは大天使であるかもしくは御持ち帰り下さる
事実17: あのグラフィック・シンボルは木椀である
事実18: あのグラフィック・シンボルは拡張子である
事実19: あのグラフィック・シンボルは断絶するかそれは木椀であるかどちらもだ
事実20: この入院者は木椀である
事実21: 「あの参議院選挙は木椀だ」ということは間違っていない

仮説: あのグラフィック・シンボルは木椀であるかあるいはそれは御持ち帰り下さる
1. 事実17から、仮説が導かれる

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