「その応用はしつこいし吹き続ける」ということは成り立たない
fact1: あの着工は話せるということはない fact2: もしもある物が吹き続けるということはないなら滑り込むし更に彩る fact3: あの表高は話せるということはない fact4: もし仮にこのペティは漏れ聞くとすれば「その応用は吹き続ける」ということは確かである fact5: その応用は彩るしおまけに話せる fact6: もし仮にあの表高が彩れば話せる fact7: 「あの表高は滑り込む」ということは真実であるなら「彩る」ということは誤っていない fact8: もしあの表高が滑り込むし更にそれが彩るとするとその選考委員会は話せらない fact9: 仮にとあるものが漏れ聞くということはないとしたらそれは吹き続けるしかつそれは滑り込む fact10: 仮にあの表高は滑り込むということはないとすれば「その応用はしつこいしかつ吹き続ける」ということは成り立たない
void -> assump1: 以下のように仮定する。あの表高は滑り込む; fact7 & assump1 -> int1: あの表高は彩る; int1 & fact6 -> int2: あの表高は話せる; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの表高は滑り込まない; int4 & fact10 -> hypothesis;
「その選考委員会は話せらない」ということは成り立つ
fact11 -> int5: もし仮にあの表高が吹き続けないならば滑り込むし更に彩る;
$facts$ = fact1: あの着工は話せるということはない fact2: もしもある物が吹き続けるということはないなら滑り込むし更に彩る fact3: あの表高は話せるということはない fact4: もし仮にこのペティは漏れ聞くとすれば「その応用は吹き続ける」ということは確かである fact5: その応用は彩るしおまけに話せる fact6: もし仮にあの表高が彩れば話せる fact7: 「あの表高は滑り込む」ということは真実であるなら「彩る」ということは誤っていない fact8: もしあの表高が滑り込むし更にそれが彩るとするとその選考委員会は話せらない fact9: 仮にとあるものが漏れ聞くということはないとしたらそれは吹き続けるしかつそれは滑り込む fact10: 仮にあの表高は滑り込むということはないとすれば「その応用はしつこいしかつ吹き続ける」ということは成り立たない ; $hypothesis$ = 「その応用はしつこいし吹き続ける」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの表高は滑り込む; fact7 & assump1 -> int1: あの表高は彩る; int1 & fact6 -> int2: あの表高は話せる; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの表高は滑り込まない; int4 & fact10 -> hypothesis; __PROVED__
事実1: あの着工は話せるということはない
事実2: もしもある物が吹き続けるということはないなら滑り込むし更に彩る
事実3: あの表高は話せるということはない
事実4: もし仮にこのペティは漏れ聞くとすれば「その応用は吹き続ける」ということは確かである
事実5: その応用は彩るしおまけに話せる
事実6: もし仮にあの表高が彩れば話せる
事実7: 「あの表高は滑り込む」ということは真実であるなら「彩る」ということは誤っていない
事実8: もしあの表高が滑り込むし更にそれが彩るとするとその選考委員会は話せらない
事実9: 仮にとあるものが漏れ聞くということはないとしたらそれは吹き続けるしかつそれは滑り込む
事実10: 仮にあの表高は滑り込むということはないとすれば「その応用はしつこいしかつ吹き続ける」ということは成り立たない

仮説: 「その応用はしつこいし吹き続ける」ということは成り立たない
1. 仮定1: 以下のように仮定する。あの表高は滑り込む
2. 事実7と仮定1から、推論1: "あの表高は彩る"が導かれる
3. 推論1と事実6から、推論2: "あの表高は話せる"が導かれる
4. 推論2と事実3から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの表高は滑り込まない"が導かれる
6. 推論4と事実10から、仮説が導かれる

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