この収縮早期は海豹でないが手際良い
fact1: 「この収縮早期は海豹でない」ということは嘘でない fact2: ＳＳは熱苦しくないがどうして良い fact3: 「この収縮早期は冷ますしかつそれは利き難い」ということは嘘である fact4: もし仮に「この収縮早期は平らぐ」ということは本当なら海豹でない fact5: もし仮に「なんらかの物は冷まさないけれど利き難い」ということは成り立たないとすればそれは平らぐ fact6: もし仮に「ストレッチする」ものはあれば「この収縮早期は冷ますしかつ利き難い」ということは真実でない fact7: なにがしかの物が冷ますとしたら平らぐ fact8: とある物はストレッチする fact9: あの赤穂浪士はストレッチしないなら「この収縮早期は海豹でないけど手際良い」ということは誤っている fact10: もし仮に「ストレッチする」ものはあるとすると「この収縮早期は冷まさないけれどそれは利き難い」ということは成り立たない fact11: もしこの収縮早期が冷ますとすればそれは平らぐ fact12: もし「海豹な」ものはあるなら「この収縮早期は心弱くないがしかし事故防止である」ということは嘘だ fact13: もし「なんらかの物は平らぐ」ということは事実だとしたらそれは海豹でないがしかし手際良い fact14: 仮にある物が平らぐとすれば海豹でない
fact8 & fact10 -> int1: 「この収縮早期は冷まさないけど利き難い」ということは成り立たない; fact5 -> int2: 「この収縮早期は冷まさないけれどそれは利き難い」ということは成り立たないならばそれは平らぐ; int1 & int2 -> int3: この収縮早期は平らぐ; fact13 -> int4: もし仮にこの収縮早期が平らぐなら海豹だということはなくてかつそれは手際良い; int3 & int4 -> hypothesis;
「この収縮早期は海豹でないが手際良い」ということは間違いである
$facts$ = fact1: 「この収縮早期は海豹でない」ということは嘘でない fact2: ＳＳは熱苦しくないがどうして良い fact3: 「この収縮早期は冷ますしかつそれは利き難い」ということは嘘である fact4: もし仮に「この収縮早期は平らぐ」ということは本当なら海豹でない fact5: もし仮に「なんらかの物は冷まさないけれど利き難い」ということは成り立たないとすればそれは平らぐ fact6: もし仮に「ストレッチする」ものはあれば「この収縮早期は冷ますしかつ利き難い」ということは真実でない fact7: なにがしかの物が冷ますとしたら平らぐ fact8: とある物はストレッチする fact9: あの赤穂浪士はストレッチしないなら「この収縮早期は海豹でないけど手際良い」ということは誤っている fact10: もし仮に「ストレッチする」ものはあるとすると「この収縮早期は冷まさないけれどそれは利き難い」ということは成り立たない fact11: もしこの収縮早期が冷ますとすればそれは平らぐ fact12: もし「海豹な」ものはあるなら「この収縮早期は心弱くないがしかし事故防止である」ということは嘘だ fact13: もし「なんらかの物は平らぐ」ということは事実だとしたらそれは海豹でないがしかし手際良い fact14: 仮にある物が平らぐとすれば海豹でない ; $hypothesis$ = この収縮早期は海豹でないが手際良い ; $proof$ = 
fact8 & fact10 -> int1: 「この収縮早期は冷まさないけど利き難い」ということは成り立たない; fact5 -> int2: 「この収縮早期は冷まさないけれどそれは利き難い」ということは成り立たないならばそれは平らぐ; int1 & int2 -> int3: この収縮早期は平らぐ; fact13 -> int4: もし仮にこの収縮早期が平らぐなら海豹だということはなくてかつそれは手際良い; int3 & int4 -> hypothesis; __PROVED__
事実1: 「この収縮早期は海豹でない」ということは嘘でない
事実2: ＳＳは熱苦しくないがどうして良い
事実3: 「この収縮早期は冷ますしかつそれは利き難い」ということは嘘である
事実4: もし仮に「この収縮早期は平らぐ」ということは本当なら海豹でない
事実5: もし仮に「なんらかの物は冷まさないけれど利き難い」ということは成り立たないとすればそれは平らぐ
事実6: もし仮に「ストレッチする」ものはあれば「この収縮早期は冷ますしかつ利き難い」ということは真実でない
事実7: なにがしかの物が冷ますとしたら平らぐ
事実8: とある物はストレッチする
事実9: あの赤穂浪士はストレッチしないなら「この収縮早期は海豹でないけど手際良い」ということは誤っている
事実10: もし仮に「ストレッチする」ものはあるとすると「この収縮早期は冷まさないけれどそれは利き難い」ということは成り立たない
事実11: もしこの収縮早期が冷ますとすればそれは平らぐ
事実12: もし「海豹な」ものはあるなら「この収縮早期は心弱くないがしかし事故防止である」ということは嘘だ
事実13: もし「なんらかの物は平らぐ」ということは事実だとしたらそれは海豹でないがしかし手際良い
事実14: 仮にある物が平らぐとすれば海豹でない

仮説: この収縮早期は海豹でないが手際良い
1. 事実8と事実10から、推論1: "「この収縮早期は冷まさないけど利き難い」ということは成り立たない"が導かれる
2. 事実5から、推論2: "「この収縮早期は冷まさないけれどそれは利き難い」ということは成り立たないならばそれは平らぐ"が導かれる
3. 推論1と推論2から、推論3: "この収縮早期は平らぐ"が導かれる
4. 事実13から、推論4: "もし仮にこの収縮早期が平らぐなら海豹だということはなくてかつそれは手際良い"が導かれる
5. 推論3と推論4から、仮説が導かれる

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