その比例定数は襟付けるかもしくは疑える
fact1: もしも「この便秘・下痢は極まるということはないかもしくは無声化し易くないかどちらもである」ということは間違っているとするとあのアップグレードは停車場でない fact2: もし仮になにがしかのものが物凄いとすれば用心深い fact3: 仮にこの便秘・下痢が極まらないとすればあの比例定数は用心深い fact4: もし仮に「このＷＡＳは無声化し易くないかまたは換価しない」ということは事実と異なるとすると「この便秘・下痢は停車場でない」ということは成り立つ fact5: 用心深いものは襟付ける fact6: このＷＡＳは物凄くて換価する fact7: 「もしもこの便秘・下痢が無声化し易くないならばその比例定数は用心深い」ということは確かだ fact8: あのアップグレードは停車場でないならば「このＷＡＳは停車場でないけれど物凄い」ということは事実と異なる fact9: 「あのハイアール集団は停車場でないしさらに街路樹であるということはない」ということは成り立つ fact10: もしあのハイアール集団が停車場でなくて街路樹であるということはないならばこのＷＡＳは停車場でない
void -> assump1: 以下のように仮定する。「この便秘・下痢は極まらないかまたは無声化し易くないかまたは両方ともだ」ということは成り立たない; fact1 & assump1 -> int1: あのアップグレードは停車場であるということはない; int1 & fact8 -> int2: 「このＷＡＳは停車場だということはない一方で物凄い」ということは間違いである; fact6 -> int3: このＷＡＳは物凄い; fact9 & fact10 -> int4: このＷＡＳは停車場でない; int3 & int4 -> int5: このＷＡＳは停車場でないけれどそれは物凄い; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: この便秘・下痢は極まらないかあるいはそれは無声化し易くないかどちらもである; int7 & fact3 & fact7 -> int8: その比例定数は用心深い; fact5 -> int9: もしその比例定数が用心深いとするとそれは襟付ける; int8 & int9 -> int10: その比例定数は襟付ける; int10 -> hypothesis;
あの建設所は用心深いか自己破産する
fact11 -> int11: あの建設所が物凄いとするとそれは用心深い;
$facts$ = fact1: もしも「この便秘・下痢は極まるということはないかもしくは無声化し易くないかどちらもである」ということは間違っているとするとあのアップグレードは停車場でない fact2: もし仮になにがしかのものが物凄いとすれば用心深い fact3: 仮にこの便秘・下痢が極まらないとすればあの比例定数は用心深い fact4: もし仮に「このＷＡＳは無声化し易くないかまたは換価しない」ということは事実と異なるとすると「この便秘・下痢は停車場でない」ということは成り立つ fact5: 用心深いものは襟付ける fact6: このＷＡＳは物凄くて換価する fact7: 「もしもこの便秘・下痢が無声化し易くないならばその比例定数は用心深い」ということは確かだ fact8: あのアップグレードは停車場でないならば「このＷＡＳは停車場でないけれど物凄い」ということは事実と異なる fact9: 「あのハイアール集団は停車場でないしさらに街路樹であるということはない」ということは成り立つ fact10: もしあのハイアール集団が停車場でなくて街路樹であるということはないならばこのＷＡＳは停車場でない ; $hypothesis$ = その比例定数は襟付けるかもしくは疑える ; $proof$ = 
void -> assump1: 以下のように仮定する。「この便秘・下痢は極まらないかまたは無声化し易くないかまたは両方ともだ」ということは成り立たない; fact1 & assump1 -> int1: あのアップグレードは停車場であるということはない; int1 & fact8 -> int2: 「このＷＡＳは停車場だということはない一方で物凄い」ということは間違いである; fact6 -> int3: このＷＡＳは物凄い; fact9 & fact10 -> int4: このＷＡＳは停車場でない; int3 & int4 -> int5: このＷＡＳは停車場でないけれどそれは物凄い; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: この便秘・下痢は極まらないかあるいはそれは無声化し易くないかどちらもである; int7 & fact3 & fact7 -> int8: その比例定数は用心深い; fact5 -> int9: もしその比例定数が用心深いとするとそれは襟付ける; int8 & int9 -> int10: その比例定数は襟付ける; int10 -> hypothesis; __PROVED__
事実1: もしも「この便秘・下痢は極まるということはないかもしくは無声化し易くないかどちらもである」ということは間違っているとするとあのアップグレードは停車場でない
事実2: もし仮になにがしかのものが物凄いとすれば用心深い
事実3: 仮にこの便秘・下痢が極まらないとすればあの比例定数は用心深い
事実4: もし仮に「このＷＡＳは無声化し易くないかまたは換価しない」ということは事実と異なるとすると「この便秘・下痢は停車場でない」ということは成り立つ
事実5: 用心深いものは襟付ける
事実6: このＷＡＳは物凄くて換価する
事実7: 「もしもこの便秘・下痢が無声化し易くないならばその比例定数は用心深い」ということは確かだ
事実8: あのアップグレードは停車場でないならば「このＷＡＳは停車場でないけれど物凄い」ということは事実と異なる
事実9: 「あのハイアール集団は停車場でないしさらに街路樹であるということはない」ということは成り立つ
事実10: もしあのハイアール集団が停車場でなくて街路樹であるということはないならばこのＷＡＳは停車場でない

仮説: その比例定数は襟付けるかもしくは疑える
1. 仮定1: 以下のように仮定する。「この便秘・下痢は極まらないかまたは無声化し易くないかまたは両方ともだ」ということは成り立たない
2. 事実1と仮定1から、推論1: "あのアップグレードは停車場であるということはない"が導かれる
3. 推論1と事実8から、推論2: "「このＷＡＳは停車場だということはない一方で物凄い」ということは間違いである"が導かれる
4. 事実6から、推論3: "このＷＡＳは物凄い"が導かれる
5. 事実9と事実10から、推論4: "このＷＡＳは停車場でない"が導かれる
6. 推論3と推論4から、推論5: "このＷＡＳは停車場でないけれどそれは物凄い"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "この便秘・下痢は極まらないかあるいはそれは無声化し易くないかどちらもである"が導かれる
9. 推論7と事実3と事実7から、推論8: "その比例定数は用心深い"が導かれる
10. 事実5から、推論9: "もしその比例定数が用心深いとするとそれは襟付ける"が導かれる
11. 推論8と推論9から、推論10: "その比例定数は襟付ける"が導かれる
12. 推論10から、仮説が導かれる

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