「仮に砕け易いとすれば「好転し始めない」ということは真実な」物はある
fact1: 仮に「何らかのものは来談するし砕け易い」ということは事実であるなら「それは好転し始めない」ということは事実と異ならない fact2: 仮にあるものは来談するし砕け易いとしたらそれは好転し始める fact3: もし仮にこのフェイントは砕け易いとすれば「伸び放題だ」ということは成り立つ fact4: もしも何かは好転し始めないとすれば自民党内であるかそれは来談するかあるいは両方である fact5: あの減量化は来談するしおまけに自民党内だ
fact5 -> int1: あの減量化は来談する; void -> assump1: 以下のように仮定する。あの減量化は砕け易い; int1 & assump1 -> int2: あの減量化は来談するしそれは砕け易い; fact1 -> int3: もし仮にあの減量化が来談するしまたそれが砕け易いとすればそれは好転し始めない; int2 & int3 -> int4: あの減量化は好転し始めるということはない; [assump1] & int4 -> int5: 仮にあの減量化が砕け易いとするとそれは好転し始めるということはない; int5 -> hypothesis;
このフェイントは伸び放題であるし白々しい
fact7 -> int6: もしもこのフェイントは好転し始めないとすればそれは自民党内であるかもしくは来談する;
$facts$ = fact1: 仮に「何らかのものは来談するし砕け易い」ということは事実であるなら「それは好転し始めない」ということは事実と異ならない fact2: 仮にあるものは来談するし砕け易いとしたらそれは好転し始める fact3: もし仮にこのフェイントは砕け易いとすれば「伸び放題だ」ということは成り立つ fact4: もしも何かは好転し始めないとすれば自民党内であるかそれは来談するかあるいは両方である fact5: あの減量化は来談するしおまけに自民党内だ ; $hypothesis$ = 「仮に砕け易いとすれば「好転し始めない」ということは真実な」物はある ; $proof$ = 
fact5 -> int1: あの減量化は来談する; void -> assump1: 以下のように仮定する。あの減量化は砕け易い; int1 & assump1 -> int2: あの減量化は来談するしそれは砕け易い; fact1 -> int3: もし仮にあの減量化が来談するしまたそれが砕け易いとすればそれは好転し始めない; int2 & int3 -> int4: あの減量化は好転し始めるということはない; [assump1] & int4 -> int5: 仮にあの減量化が砕け易いとするとそれは好転し始めるということはない; int5 -> hypothesis; __PROVED__
事実1: 仮に「何らかのものは来談するし砕け易い」ということは事実であるなら「それは好転し始めない」ということは事実と異ならない
事実2: 仮にあるものは来談するし砕け易いとしたらそれは好転し始める
事実3: もし仮にこのフェイントは砕け易いとすれば「伸び放題だ」ということは成り立つ
事実4: もしも何かは好転し始めないとすれば自民党内であるかそれは来談するかあるいは両方である
事実5: あの減量化は来談するしおまけに自民党内だ

仮説: 「仮に砕け易いとすれば「好転し始めない」ということは真実な」物はある
1. 事実5から、推論1: "あの減量化は来談する"が導かれる
2. 仮定1: 以下のように仮定する。あの減量化は砕け易い
3. 推論1と仮定1から、推論2: "あの減量化は来談するしそれは砕け易い"が導かれる
4. 事実1から、推論3: "もし仮にあの減量化が来談するしまたそれが砕け易いとすればそれは好転し始めない"が導かれる
5. 推論2と推論3から、推論4: "あの減量化は好転し始めるということはない"が導かれる
6. [仮定1]と推論4から、推論5: "仮にあの減量化が砕け易いとするとそれは好転し始めるということはない"が導かれる
7. 推論5から、仮説が導かれる

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