あの恥ずかしがり屋は噤まない
fact1: もしもなんらかのものが歯軋りしないししかもそれは放送用でないならそれは噤むということはない fact2: 仮にその国際自由労連が歯軋りしないならばあの恥ずかしがり屋は歯軋りするということはないしそれは放送用でない fact3: もしもなんらかのものが四段構成でないがそれは前途であるとするとそれは確からしいということはない fact4: その確信形成はへこたれるかまたは放送用であるかあるいはどちらもである fact5: もしもその貨物引き換え証が歯軋りしないならばあの国際自由労連は祝福式だということはなくてかつそれは夜景でない fact6: 確からしいものは歯軋りしないけど夜景である fact7: 仮に「その国際自由労連は確からしいけど噤まない」ということは誤りならばあの恥ずかしがり屋は噤む fact8: もし仮にとある物は祝福式でないとすると「それは確からしいしさらにそれは噤むということはない」ということは成り立つということはない fact9: もしこの電気自動車が確からしくないとしたらその国際自由労連は祝福式であるししかもそれは確からしい fact10: あの標語が富士スピードウェイだし通じ難い fact11: その貨物引き換え証は通じ難い fact12: もしも「その貨物引き換え証は通じ難い」ということは偽でないとすればこの電気自動車は四段構成でない一方でそれは前途だ
fact3 -> int1: この電気自動車が四段構成でないがしかしそれは前途であるとすれば確からしいということはない; fact12 & fact11 -> int2: この電気自動車は四段構成でないがしかし前途だ; int1 & int2 -> int3: この電気自動車は確からしくない; int3 & fact9 -> int4: その国際自由労連が祝福式だしさらに確からしい; int4 -> int5: その国際自由労連は確からしい; fact6 -> int6: もし仮にその国際自由労連が確からしいとすると歯軋りしないけれど夜景である; int5 & int6 -> int7: その国際自由労連は歯軋りするということはないが夜景だ; int7 -> int8: その国際自由労連は歯軋りしない; int8 & fact2 -> int9: あの恥ずかしがり屋は歯軋りしなくてかつ放送用であるということはない; fact1 -> int10: もしもあの恥ずかしがり屋が歯軋りしなくて更に放送用であるということはないなら噤まない; int9 & int10 -> hypothesis;
あの恥ずかしがり屋は噤む
fact17 -> int11: もし仮にその国際自由労連は祝福式だということはないとしたら「それは確からしいしかつそれは噤まない」ということは誤りだ; fact14 -> int12: あの標語は通じ難い;
$facts$ = fact1: もしもなんらかのものが歯軋りしないししかもそれは放送用でないならそれは噤むということはない fact2: 仮にその国際自由労連が歯軋りしないならばあの恥ずかしがり屋は歯軋りするということはないしそれは放送用でない fact3: もしもなんらかのものが四段構成でないがそれは前途であるとするとそれは確からしいということはない fact4: その確信形成はへこたれるかまたは放送用であるかあるいはどちらもである fact5: もしもその貨物引き換え証が歯軋りしないならばあの国際自由労連は祝福式だということはなくてかつそれは夜景でない fact6: 確からしいものは歯軋りしないけど夜景である fact7: 仮に「その国際自由労連は確からしいけど噤まない」ということは誤りならばあの恥ずかしがり屋は噤む fact8: もし仮にとある物は祝福式でないとすると「それは確からしいしさらにそれは噤むということはない」ということは成り立つということはない fact9: もしこの電気自動車が確からしくないとしたらその国際自由労連は祝福式であるししかもそれは確からしい fact10: あの標語が富士スピードウェイだし通じ難い fact11: その貨物引き換え証は通じ難い fact12: もしも「その貨物引き換え証は通じ難い」ということは偽でないとすればこの電気自動車は四段構成でない一方でそれは前途だ ; $hypothesis$ = あの恥ずかしがり屋は噤まない ; $proof$ = 
fact3 -> int1: この電気自動車が四段構成でないがしかしそれは前途であるとすれば確からしいということはない; fact12 & fact11 -> int2: この電気自動車は四段構成でないがしかし前途だ; int1 & int2 -> int3: この電気自動車は確からしくない; int3 & fact9 -> int4: その国際自由労連が祝福式だしさらに確からしい; int4 -> int5: その国際自由労連は確からしい; fact6 -> int6: もし仮にその国際自由労連が確からしいとすると歯軋りしないけれど夜景である; int5 & int6 -> int7: その国際自由労連は歯軋りするということはないが夜景だ; int7 -> int8: その国際自由労連は歯軋りしない; int8 & fact2 -> int9: あの恥ずかしがり屋は歯軋りしなくてかつ放送用であるということはない; fact1 -> int10: もしもあの恥ずかしがり屋が歯軋りしなくて更に放送用であるということはないなら噤まない; int9 & int10 -> hypothesis; __PROVED__
事実1: もしもなんらかのものが歯軋りしないししかもそれは放送用でないならそれは噤むということはない
事実2: 仮にその国際自由労連が歯軋りしないならばあの恥ずかしがり屋は歯軋りするということはないしそれは放送用でない
事実3: もしもなんらかのものが四段構成でないがそれは前途であるとするとそれは確からしいということはない
事実4: その確信形成はへこたれるかまたは放送用であるかあるいはどちらもである
事実5: もしもその貨物引き換え証が歯軋りしないならばあの国際自由労連は祝福式だということはなくてかつそれは夜景でない
事実6: 確からしいものは歯軋りしないけど夜景である
事実7: 仮に「その国際自由労連は確からしいけど噤まない」ということは誤りならばあの恥ずかしがり屋は噤む
事実8: もし仮にとある物は祝福式でないとすると「それは確からしいしさらにそれは噤むということはない」ということは成り立つということはない
事実9: もしこの電気自動車が確からしくないとしたらその国際自由労連は祝福式であるししかもそれは確からしい
事実10: あの標語が富士スピードウェイだし通じ難い
事実11: その貨物引き換え証は通じ難い
事実12: もしも「その貨物引き換え証は通じ難い」ということは偽でないとすればこの電気自動車は四段構成でない一方でそれは前途だ

仮説: あの恥ずかしがり屋は噤まない
1. 事実3から、推論1: "この電気自動車が四段構成でないがしかしそれは前途であるとすれば確からしいということはない"が導かれる
2. 事実12と事実11から、推論2: "この電気自動車は四段構成でないがしかし前途だ"が導かれる
3. 推論1と推論2から、推論3: "この電気自動車は確からしくない"が導かれる
4. 推論3と事実9から、推論4: "その国際自由労連が祝福式だしさらに確からしい"が導かれる
5. 推論4から、推論5: "その国際自由労連は確からしい"が導かれる
6. 事実6から、推論6: "もし仮にその国際自由労連が確からしいとすると歯軋りしないけれど夜景である"が導かれる
7. 推論5と推論6から、推論7: "その国際自由労連は歯軋りするということはないが夜景だ"が導かれる
8. 推論7から、推論8: "その国際自由労連は歯軋りしない"が導かれる
9. 推論8と事実2から、推論9: "あの恥ずかしがり屋は歯軋りしなくてかつ放送用であるということはない"が導かれる
10. 事実1から、推論10: "もしもあの恥ずかしがり屋が歯軋りしなくて更に放送用であるということはないなら噤まない"が導かれる
11. 推論9と推論10から、仮説が導かれる

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