「もしも五分以内でないならば「起き易くないし加えて心強くない」ということは成り立たない」ものはある
fact1: そのＵＴＦは数値範囲でないならば「それは心強くないしその上それは岩体でない」ということは成り立たない fact2: もしもこの漢方エキス剤が五分以内だけどそれが旨しないならそれは把握す fact3: 仮に「「なにがしかの物は五分以内でないけどそれは相違成る」ということは成り立つ」ということは真実でないならばそれはちぎれ易くない fact4: 仮にあの同伴競技者が傍受記録でないがしかしそれが押し入れるとすればこの漢方エキス剤は甚だしくない fact5: 「五分以内でないなら「起き易いが心強いということはない」ということは嘘である」ものはある fact6: もしも起き易くない物が心強くないとすれば五分以内だ fact7: もし仮にこの性格付けはアットホームでないなら「それは過ごし易くないしそれは由々しいということはない」ということは成り立たない fact8: なにかは甚だしくないならばそれは嘆かわしくないがしかし素早い fact9: 仮になにがしかのものは嘆かわしくないとすれば「五分以内でないけど相違成る」ということは間違いである
fact6 -> int1: もしもこの漢方エキス剤は起き易くないししかも心強くないとすれば五分以内である; void -> assump1: 以下のように仮定する。この漢方エキス剤は起き易くないし心強くない; int1 & assump1 -> int2: この漢方エキス剤は五分以内である; void -> assump2: 以下のように仮定する。「この漢方エキス剤は五分以内でない」ということは本当だ; int2 & assump2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「この漢方エキス剤は起き易くないし心強くない」ということは事実と異なる; [assump2] & int4 -> int5: この漢方エキス剤は五分以内でないとすれば「起き易くないし心強くない」ということは成り立たない; int5 -> hypothesis;
「この漢方エキス剤はちぎれ易くない」ということは確かである
fact12 -> int6: もし仮に「この漢方エキス剤は五分以内でないがしかし相違成る」ということは誤っていればちぎれ易くない; fact13 -> int7: 仮にこの漢方エキス剤は嘆かわしくないなら「それは五分以内でなくて更にそれは相違成る」ということは誤りだ; fact11 -> int8: もしこの漢方エキス剤は甚だしくないとしたら「嘆かわしくないけれど素早い」ということは成り立つ;
$facts$ = fact1: そのＵＴＦは数値範囲でないならば「それは心強くないしその上それは岩体でない」ということは成り立たない fact2: もしもこの漢方エキス剤が五分以内だけどそれが旨しないならそれは把握す fact3: 仮に「「なにがしかの物は五分以内でないけどそれは相違成る」ということは成り立つ」ということは真実でないならばそれはちぎれ易くない fact4: 仮にあの同伴競技者が傍受記録でないがしかしそれが押し入れるとすればこの漢方エキス剤は甚だしくない fact5: 「五分以内でないなら「起き易いが心強いということはない」ということは嘘である」ものはある fact6: もしも起き易くない物が心強くないとすれば五分以内だ fact7: もし仮にこの性格付けはアットホームでないなら「それは過ごし易くないしそれは由々しいということはない」ということは成り立たない fact8: なにかは甚だしくないならばそれは嘆かわしくないがしかし素早い fact9: 仮になにがしかのものは嘆かわしくないとすれば「五分以内でないけど相違成る」ということは間違いである ; $hypothesis$ = 「もしも五分以内でないならば「起き易くないし加えて心強くない」ということは成り立たない」ものはある ; $proof$ = 
fact6 -> int1: もしもこの漢方エキス剤は起き易くないししかも心強くないとすれば五分以内である; void -> assump1: 以下のように仮定する。この漢方エキス剤は起き易くないし心強くない; int1 & assump1 -> int2: この漢方エキス剤は五分以内である; void -> assump2: 以下のように仮定する。「この漢方エキス剤は五分以内でない」ということは本当だ; int2 & assump2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「この漢方エキス剤は起き易くないし心強くない」ということは事実と異なる; [assump2] & int4 -> int5: この漢方エキス剤は五分以内でないとすれば「起き易くないし心強くない」ということは成り立たない; int5 -> hypothesis; __PROVED__
事実1: そのＵＴＦは数値範囲でないならば「それは心強くないしその上それは岩体でない」ということは成り立たない
事実2: もしもこの漢方エキス剤が五分以内だけどそれが旨しないならそれは把握す
事実3: 仮に「「なにがしかの物は五分以内でないけどそれは相違成る」ということは成り立つ」ということは真実でないならばそれはちぎれ易くない
事実4: 仮にあの同伴競技者が傍受記録でないがしかしそれが押し入れるとすればこの漢方エキス剤は甚だしくない
事実5: 「五分以内でないなら「起き易いが心強いということはない」ということは嘘である」ものはある
事実6: もしも起き易くない物が心強くないとすれば五分以内だ
事実7: もし仮にこの性格付けはアットホームでないなら「それは過ごし易くないしそれは由々しいということはない」ということは成り立たない
事実8: なにかは甚だしくないならばそれは嘆かわしくないがしかし素早い
事実9: 仮になにがしかのものは嘆かわしくないとすれば「五分以内でないけど相違成る」ということは間違いである

仮説: 「もしも五分以内でないならば「起き易くないし加えて心強くない」ということは成り立たない」ものはある
1. 事実6から、推論1: "もしもこの漢方エキス剤は起き易くないししかも心強くないとすれば五分以内である"が導かれる
2. 仮定1: 以下のように仮定する。この漢方エキス剤は起き易くないし心強くない
3. 推論1と仮定1から、推論2: "この漢方エキス剤は五分以内である"が導かれる
4. 仮定2: 以下のように仮定する。「この漢方エキス剤は五分以内でない」ということは本当だ
5. 推論2と仮定2から、推論3: "これは矛盾である"が導かれる
6. [仮定1]と推論3から、推論4: "「この漢方エキス剤は起き易くないし心強くない」ということは事実と異なる"が導かれる
7. [仮定2]と推論4から、推論5: "この漢方エキス剤は五分以内でないとすれば「起き易くないし心強くない」ということは成り立たない"が導かれる
8. 推論5から、仮説が導かれる

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