あのライムシャーベットは黒っぽくない
fact1: その清涼殿は黒っぽくない fact2: その蝋燭集会は地方税等だがしかし確りし為さらない fact3: もし仮になんらかの物が投資収益率でないとするとデジすし間違い無い fact4: もし仮に「その蝋燭集会はやくざっぽい一方で黒っぽくない」ということは成り立てばあのライムシャーベットは骨身であるということはない fact5: その内障は黒っぽいが為らない fact6: その蝋燭集会は骨身でない fact7: あのスキンシップはやくざっぽくない fact8: その蝋燭集会は黒っぽくない fact9: もしもその蝋燭集会が骨身だ一方で黒っぽくないとしたらあのライムシャーベットはやくざっぽくない fact10: 「あのライムシャーベットは選挙調査だけれど配置前でない」ということは事実だ fact11: その蝋燭集会はやくざっぽい一方でそれは骨身でない fact12: そのメガバンクは通り難いけれどやくざっぽくない fact13: 間違い無い物は黒っぽい fact14: あのライムシャーベットがやくざっぽいけれど骨身でないとしたらその蝋燭集会は黒っぽくない fact15: 仮にその蝋燭集会はやくざっぽいけれど骨身でないならば「あのライムシャーベットは黒っぽくない」ということは確かである fact16: もし仮にその蝋燭集会がやくざっぽいしその上骨身であるとすればあのライムシャーベットは黒っぽくない fact17: 仮にあのライムシャーベットがやくざっぽいけど黒っぽくないとするとその蝋燭集会は骨身であるということはない
fact15 & fact11 -> hypothesis;
あのライムシャーベットは黒っぽい
fact19 -> int1: もし仮にあのライムシャーベットが間違い無いとするとそれは黒っぽい; fact18 -> int2: あのライムシャーベットは投資収益率であるということはないとすればデジすしまた間違い無い;
$facts$ = fact1: その清涼殿は黒っぽくない fact2: その蝋燭集会は地方税等だがしかし確りし為さらない fact3: もし仮になんらかの物が投資収益率でないとするとデジすし間違い無い fact4: もし仮に「その蝋燭集会はやくざっぽい一方で黒っぽくない」ということは成り立てばあのライムシャーベットは骨身であるということはない fact5: その内障は黒っぽいが為らない fact6: その蝋燭集会は骨身でない fact7: あのスキンシップはやくざっぽくない fact8: その蝋燭集会は黒っぽくない fact9: もしもその蝋燭集会が骨身だ一方で黒っぽくないとしたらあのライムシャーベットはやくざっぽくない fact10: 「あのライムシャーベットは選挙調査だけれど配置前でない」ということは事実だ fact11: その蝋燭集会はやくざっぽい一方でそれは骨身でない fact12: そのメガバンクは通り難いけれどやくざっぽくない fact13: 間違い無い物は黒っぽい fact14: あのライムシャーベットがやくざっぽいけれど骨身でないとしたらその蝋燭集会は黒っぽくない fact15: 仮にその蝋燭集会はやくざっぽいけれど骨身でないならば「あのライムシャーベットは黒っぽくない」ということは確かである fact16: もし仮にその蝋燭集会がやくざっぽいしその上骨身であるとすればあのライムシャーベットは黒っぽくない fact17: 仮にあのライムシャーベットがやくざっぽいけど黒っぽくないとするとその蝋燭集会は骨身であるということはない ; $hypothesis$ = あのライムシャーベットは黒っぽくない ; $proof$ = 
fact15 & fact11 -> hypothesis; __PROVED__
事実1: その清涼殿は黒っぽくない
事実2: その蝋燭集会は地方税等だがしかし確りし為さらない
事実3: もし仮になんらかの物が投資収益率でないとするとデジすし間違い無い
事実4: もし仮に「その蝋燭集会はやくざっぽい一方で黒っぽくない」ということは成り立てばあのライムシャーベットは骨身であるということはない
事実5: その内障は黒っぽいが為らない
事実6: その蝋燭集会は骨身でない
事実7: あのスキンシップはやくざっぽくない
事実8: その蝋燭集会は黒っぽくない
事実9: もしもその蝋燭集会が骨身だ一方で黒っぽくないとしたらあのライムシャーベットはやくざっぽくない
事実10: 「あのライムシャーベットは選挙調査だけれど配置前でない」ということは事実だ
事実11: その蝋燭集会はやくざっぽい一方でそれは骨身でない
事実12: そのメガバンクは通り難いけれどやくざっぽくない
事実13: 間違い無い物は黒っぽい
事実14: あのライムシャーベットがやくざっぽいけれど骨身でないとしたらその蝋燭集会は黒っぽくない
事実15: 仮にその蝋燭集会はやくざっぽいけれど骨身でないならば「あのライムシャーベットは黒っぽくない」ということは確かである
事実16: もし仮にその蝋燭集会がやくざっぽいしその上骨身であるとすればあのライムシャーベットは黒っぽくない
事実17: 仮にあのライムシャーベットがやくざっぽいけど黒っぽくないとするとその蝋燭集会は骨身であるということはない

仮説: あのライムシャーベットは黒っぽくない
1. 事実15と事実11から、仮説が導かれる

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