あの包丁切りは辟易するかサクラル・チャクラでないかあるいはどちらもである
fact1: 仮に「あの包丁切りは苦学するし成り得る」ということは誤りだとすればその使用感はサクラル・チャクラでない fact2: もしもそのルセットが挙らないならその生々はとろ臭いしその上かわゆい fact3: 仮にその生々はとろ臭いとすれば「あの手榴弾は切り離し難いということはないしまたそれは結核撲滅運動であるということはない」ということは嘘である fact4: その生々は切り離し難い fact5: 仮にあるものが切り離し難いならば社内留保だ fact6: もしも「「あの包丁切りは成り得るしサクラル・チャクラだ」ということは成り立つということはない」ということは本当であるならその使用感は辟易しない fact7: もしその使用感が垂れ込むとしたらあの包丁切りは垂れ込まない fact8: あの包丁切りは辟易するかあるいはそれはサクラル・チャクラである fact9: その使用感は成り得るかもしくはオーダー出来ないかまたは両方ともだ fact10: もし仮に「その使用感は苦学するし加えてそれはサクラル・チャクラである」ということは成り立たないとすればあの包丁切りは成り得ない fact11: もしなにかは教養主義でないかあるいはカストラートでないか両方なら「このスプリングピンはサクラル・チャクラである」ということは成り立つ fact12: もしもなんらかの物は教養主義であるということはないならば「社内留保であるということはないしさらにそれはカストラートでない」ということは成り立たない fact13: もし仮に「なにかは社内留保であるということはないしかつそれはカストラートでない」ということは間違っているとすればカストラートである fact14: もしも「その生々は社内留保だ」ということは確かだとするとあの手榴弾は教養主義でないかカストラートでないかあるいは両方ともだ fact15: その使用感が苦学しないとしたらあの包丁切りはサクラル・チャクラでない fact16: 仮にその使用感はカストラートであるとしたら「あの包丁切りは辟易するかあるいはサクラル・チャクラでないかもしくはどちらもである」ということは間違っている fact17: 「その使用感は成り得るしさらに苦学する」ということは間違っている fact18: 「あの包丁切りがサクラル・チャクラだししかも成り得る」ということは成り立たない fact19: 「ある物は切り離し難くないしそれに結核撲滅運動でない」ということは正しくないとすると切り離し難い fact20: あの手榴弾が切り離し難いとするとこのスプリングピンは教養主義でないかそれは覚え難いということはないかまたはどちらもだ fact21: 仮に「あの包丁切りは苦学するし成り得る」ということは成り立たないならその使用感は辟易するということはない fact22: 「仮に「その使用感は成り得るしそれに苦学する」ということは間違っているとしたらあの包丁切りはサクラル・チャクラであるということはない」ということは成り立つ
fact22 & fact17 -> int1: あの包丁切りはサクラル・チャクラでない; int1 -> hypothesis;
「「あの包丁切りは辟易するかまたはそれはサクラル・チャクラでないかもしくは両方ともである」ということは正しくない」ということは本当である
fact29 -> int2: もしも「その使用感は社内留保でなくてカストラートでない」ということは事実と異なれば「それはカストラートである」ということは成り立つ; fact27 -> int3: もし仮に「その使用感は教養主義でない」ということは成り立つとすると「それは社内留保でないしかつカストラートだということはない」ということは偽である; fact28 -> int4: もし仮に「あの手榴弾は切り離し難くないし加えて結核撲滅運動でない」ということは嘘であるとしたら切り離し難い;
$facts$ = fact1: 仮に「あの包丁切りは苦学するし成り得る」ということは誤りだとすればその使用感はサクラル・チャクラでない fact2: もしもそのルセットが挙らないならその生々はとろ臭いしその上かわゆい fact3: 仮にその生々はとろ臭いとすれば「あの手榴弾は切り離し難いということはないしまたそれは結核撲滅運動であるということはない」ということは嘘である fact4: その生々は切り離し難い fact5: 仮にあるものが切り離し難いならば社内留保だ fact6: もしも「「あの包丁切りは成り得るしサクラル・チャクラだ」ということは成り立つということはない」ということは本当であるならその使用感は辟易しない fact7: もしその使用感が垂れ込むとしたらあの包丁切りは垂れ込まない fact8: あの包丁切りは辟易するかあるいはそれはサクラル・チャクラである fact9: その使用感は成り得るかもしくはオーダー出来ないかまたは両方ともだ fact10: もし仮に「その使用感は苦学するし加えてそれはサクラル・チャクラである」ということは成り立たないとすればあの包丁切りは成り得ない fact11: もしなにかは教養主義でないかあるいはカストラートでないか両方なら「このスプリングピンはサクラル・チャクラである」ということは成り立つ fact12: もしもなんらかの物は教養主義であるということはないならば「社内留保であるということはないしさらにそれはカストラートでない」ということは成り立たない fact13: もし仮に「なにかは社内留保であるということはないしかつそれはカストラートでない」ということは間違っているとすればカストラートである fact14: もしも「その生々は社内留保だ」ということは確かだとするとあの手榴弾は教養主義でないかカストラートでないかあるいは両方ともだ fact15: その使用感が苦学しないとしたらあの包丁切りはサクラル・チャクラでない fact16: 仮にその使用感はカストラートであるとしたら「あの包丁切りは辟易するかあるいはサクラル・チャクラでないかもしくはどちらもである」ということは間違っている fact17: 「その使用感は成り得るしさらに苦学する」ということは間違っている fact18: 「あの包丁切りがサクラル・チャクラだししかも成り得る」ということは成り立たない fact19: 「ある物は切り離し難くないしそれに結核撲滅運動でない」ということは正しくないとすると切り離し難い fact20: あの手榴弾が切り離し難いとするとこのスプリングピンは教養主義でないかそれは覚え難いということはないかまたはどちらもだ fact21: 仮に「あの包丁切りは苦学するし成り得る」ということは成り立たないならその使用感は辟易するということはない fact22: 「仮に「その使用感は成り得るしそれに苦学する」ということは間違っているとしたらあの包丁切りはサクラル・チャクラであるということはない」ということは成り立つ ; $hypothesis$ = あの包丁切りは辟易するかサクラル・チャクラでないかあるいはどちらもである ; $proof$ = 
fact22 & fact17 -> int1: あの包丁切りはサクラル・チャクラでない; int1 -> hypothesis; __PROVED__
事実1: 仮に「あの包丁切りは苦学するし成り得る」ということは誤りだとすればその使用感はサクラル・チャクラでない
事実2: もしもそのルセットが挙らないならその生々はとろ臭いしその上かわゆい
事実3: 仮にその生々はとろ臭いとすれば「あの手榴弾は切り離し難いということはないしまたそれは結核撲滅運動であるということはない」ということは嘘である
事実4: その生々は切り離し難い
事実5: 仮にあるものが切り離し難いならば社内留保だ
事実6: もしも「「あの包丁切りは成り得るしサクラル・チャクラだ」ということは成り立つということはない」ということは本当であるならその使用感は辟易しない
事実7: もしその使用感が垂れ込むとしたらあの包丁切りは垂れ込まない
事実8: あの包丁切りは辟易するかあるいはそれはサクラル・チャクラである
事実9: その使用感は成り得るかもしくはオーダー出来ないかまたは両方ともだ
事実10: もし仮に「その使用感は苦学するし加えてそれはサクラル・チャクラである」ということは成り立たないとすればあの包丁切りは成り得ない
事実11: もしなにかは教養主義でないかあるいはカストラートでないか両方なら「このスプリングピンはサクラル・チャクラである」ということは成り立つ
事実12: もしもなんらかの物は教養主義であるということはないならば「社内留保であるということはないしさらにそれはカストラートでない」ということは成り立たない
事実13: もし仮に「なにかは社内留保であるということはないしかつそれはカストラートでない」ということは間違っているとすればカストラートである
事実14: もしも「その生々は社内留保だ」ということは確かだとするとあの手榴弾は教養主義でないかカストラートでないかあるいは両方ともだ
事実15: その使用感が苦学しないとしたらあの包丁切りはサクラル・チャクラでない
事実16: 仮にその使用感はカストラートであるとしたら「あの包丁切りは辟易するかあるいはサクラル・チャクラでないかもしくはどちらもである」ということは間違っている
事実17: 「その使用感は成り得るしさらに苦学する」ということは間違っている
事実18: 「あの包丁切りがサクラル・チャクラだししかも成り得る」ということは成り立たない
事実19: 「ある物は切り離し難くないしそれに結核撲滅運動でない」ということは正しくないとすると切り離し難い
事実20: あの手榴弾が切り離し難いとするとこのスプリングピンは教養主義でないかそれは覚え難いということはないかまたはどちらもだ
事実21: 仮に「あの包丁切りは苦学するし成り得る」ということは成り立たないならその使用感は辟易するということはない
事実22: 「仮に「その使用感は成り得るしそれに苦学する」ということは間違っているとしたらあの包丁切りはサクラル・チャクラであるということはない」ということは成り立つ

仮説: あの包丁切りは辟易するかサクラル・チャクラでないかあるいはどちらもである
1. 事実22と事実17から、推論1: "あの包丁切りはサクラル・チャクラでない"が導かれる
2. 推論1から、仮説が導かれる

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