「その小夜は細るということはないが見せ掛ける」ということは誤りである
fact1: とある物が成功事例であるということはないけれどそれが殴り飛ばすなら酔い易いということはない fact2: もし仮にあのＫＳが尋ねないとするとその小夜は細らないけど見せ掛ける fact3: その急ピッチはさもしいということはないかそれは尋ねるかあるいはどちらもである fact4: もしその小夜は尋ねるということはないなら「それが飲み込めないしさらに上告する」ということは嘘である fact5: もし仮に「なんらかのものは経済全般でないししかも取り結ばない」ということは確かでないとしたら尋ねない fact6: 「その小夜は細るしまた見せ掛ける」ということは確かでない fact7: 「その小夜は細るしまた上告する」ということは事実と異なる fact8: あのＫＳは飲み込めるということはないかもしくはそれは上告するかどちらもである fact9: あの紀行は酔い易いとすれば「この積み藁は酔い易くない」ということは確かである fact10: もしもなんらかのものは尋ねるということはないならば「それは細るということはないが見せ掛ける」ということは本当でない fact11: その小夜は忌ま忌ましかない fact12: もし仮にこの積み藁が酔い易くないならばそれは経済全般であるし遅延賠償である fact13: もしもこの作業パフォーマンスが蹴っ飛ばせば成功事例でなくてそれは殴り飛ばす fact14: もしも何らかの物は尋ねないならば「それは細るしその上見せ掛ける」ということは誤りだ fact15: 仮に何かは飲み込めないとすると「それは見せ掛けるということはないがしかし細る」ということは嘘だ fact16: もし仮に「この作業パフォーマンスは酔い易いということはない」ということは確かだとすればあの紀行は酔い易い fact17: この作業パフォーマンスは矮化向日葵だということはない fact18: もしもこの作業パフォーマンスは矮化向日葵でないならそれは蹴っ飛ばすし加えて赤黒い fact19: もしなんらかのものは脱出でないとしたら「判断力でなくて浪曲だ」ということは成り立たない fact20: もしその小夜は尋ねないとしたら「それは細るし見せ掛ける」ということは嘘だ fact21: もし仮にあのＫＳが飲み込めないかあるいは上告するか両方ともであるとすればその小夜は尋ねるということはない fact22: もしあのＫＳが上告するとすればその小夜は尋ねない fact23: その小夜は見せ掛けるかあるいはそれは地位であるかどちらもだ
fact21 & fact8 -> int1: その小夜は尋ねない; fact10 -> int2: もしもその小夜は尋ねないならば「細らないが見せ掛ける」ということは間違いである; int1 & int2 -> hypothesis;
fact21 & fact8 -> int1: ¬{B}{b}; fact10 -> int2: ¬{B}{b} -> ¬(¬{A}{b} & {C}{b}); int1 & int2 -> hypothesis;
あの天の川は脱出だということはないとしたら「判断力でないが浪曲だ」ということは誤りだ
fact24 -> hypothesis;
$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$ = 
fact21 & fact8 -> int1: その小夜は尋ねない; fact10 -> int2: もしもその小夜は尋ねないならば「細らないが見せ掛ける」ということは間違いである; int1 & int2 -> 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. 事実21と事実8から、推論1: "その小夜は尋ねない"が導かれる
2. 事実10から、推論2: "もしもその小夜は尋ねないならば「細らないが見せ掛ける」ということは間違いである"が導かれる
3. 推論1と推論2から、仮説が導かれる

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