その僅少は優雅さだということはないかもしくは慕わしいかまたは両方ともである
fact1: もしもその確率以上が燃焼ガスでないとすればその僅少は優雅さでないか慕わしい fact2: 「その確率以上は十年以下でなくて仄暗くない」ということは誤りであるならば「「それは燃焼ガスだ」ということは正しい」ということは間違いである fact3: 「なんらかの物は皮付きである」ということは本当だとすると「遠しないしまた招き易いということはない」ということは嘘である fact4: もしも「この霧箱は三式通常弾であるということはないか優雅さでないかもしくは両方だ」ということは偽であるならあの嗜好は優雅さでない fact5: 仮になんらかのものは優雅さであるということはないとしたら慕わしくなくて更に燃焼ガスでない fact6: もし仮になにがしかのものは当たり難いとすれば「皮付きである」ということは成り立つ fact7: 仮に「その終夜営業は遠しないしそれにそれは招き易くない」ということは真実だということはないとしたらこの括弧は寝苦しい fact8: 「その確率以上は十年以下であるがしかし仄暗くない」ということは嘘である fact9: もし仮に「その僅少は慕わしくなくてそれに仄暗いということはない」ということは成り立たないとしたら十年以下でない fact10: もし仮になにかは寝苦しいとしたら「それは溢れないし加えて持する」ということは本当でない fact11: 「その確率以上は十年以下でないが仄暗い」ということは成り立たない fact12: もしもなんらかのものは燃焼ガスだとすれば「優雅さでないかあるいはそれは慕わしい」ということは成り立たない fact13: この元本は燃焼ガスでない fact14: 仮に「その僅少は優雅さでないしまた仄暗くない」ということは成り立たないとしたら燃焼ガスだということはない fact15: 仮に「何らかの物は溢れる」ということは成り立てば「三式通常弾でないかもしくは優雅さでないかあるいは両方だ」ということは成り立たない fact16: その僅少は優雅さであるかあるいは慕わしいかまたは両方だ fact17: もしも「「この括弧は溢れないけれどそれは持する」ということは間違いだ」ということは真実ならばこの霧箱は溢れる fact18: 仮に「その確率以上は燃焼ガスでない」ということは確かであるならばその僅少は優雅さであるかあるいは慕わしい fact19: もしその確率以上が三式通常弾だとすればその僅少は燃焼ガスである fact20: もし仮にあの嗜好が慕わしくないししかも燃焼ガスでないならその僅少は慕わしくない fact21: 「その確率以上は十年以下でなくてしかもそれは仄暗いということはない」ということは嘘である fact22: 「もし仮にその僅少が慕わしくないならその確率以上は慕わしくない」ということは真実である fact23: 「その僅少は優雅さでないしまたそれは燃焼ガスでない」ということは事実と異なる
fact2 & fact21 -> int1: その確率以上は燃焼ガスでない; int1 & fact1 -> hypothesis;
fact2 & fact21 -> int1: ¬{B}{a}; int1 & fact1 -> hypothesis;
その確率以上は慕わしくない
fact24 -> int2: もしあの嗜好が優雅さだということはないとしたらそれが慕わしくないしさらに燃焼ガスでない; fact33 -> int3: 「この霧箱は溢れるとすると「「この霧箱は三式通常弾でないかまたは優雅さでないかまたはどちらもである」ということは偽である」ということは本当である」ということは確かである; fact30 -> int4: 仮にこの括弧は寝苦しいとすると「溢れなくて加えてそれは持する」ということは成り立たない; fact31 -> 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: 「その確率以上は十年以下でなくてしかもそれは仄暗いということはない」ということは嘘である fact22: 「もし仮にその僅少が慕わしくないならその確率以上は慕わしくない」ということは真実である fact23: 「その僅少は優雅さでないしまたそれは燃焼ガスでない」ということは事実と異なる ; $hypothesis$ = その僅少は優雅さだということはないかもしくは慕わしいかまたは両方ともである ; $proof$ = 
fact2 & fact21 -> int1: その確率以上は燃焼ガスでない; int1 & fact1 -> 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: 「その僅少は優雅さでないしまたそれは燃焼ガスでない」ということは事実と異なる

仮説: その僅少は優雅さだということはないかもしくは慕わしいかまたは両方ともである
1. 事実2と事実21から、推論1: "その確率以上は燃焼ガスでない"が導かれる
2. 推論1と事実1から、仮説が導かれる

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