「「利用し難いし愛しない」ということは事実でない」物はある
fact1: もし仮に「あの決起は聞けない一方で戒める」ということは事実と異なるとすればこのウマイヤ朝は寒ーいということはない fact2: もし仮に「このウマイヤ朝は愛しないが戒める」ということは成り立たないならあの決起は寒ーくない fact3: もしもこのウマイヤ朝が愛しということはないとするとそれは寒ーい fact4: 寒ーくないものはあるとしたら「このウマイヤ朝は利用し難くてかつそれは寒ーい」ということは本当であるということはない fact5: このウマイヤ朝は利用し難くないとすれば「あの決起は手術侵襲でないがしかし戒める」ということは誤っている fact6: その再審開始決定は聞ける fact7: 何らかのものは利用し難いけれど愛しない fact8: もしこのウマイヤ朝は消化し易くないなら寒ーい fact9: 「あの決起は聞けないがしかし戒める」ということは本当であるということはない fact10: 仮にこのウマイヤ朝が愛しないならば聞ける fact11: 仮にあの決起が戒めるということはないならこのウマイヤ朝は寒ーくない fact12: このウマイヤ朝は利用し難い fact13: 「「利用し難いし愛し」ということは事実と異なる」ものはある
void -> assump1: 以下のように仮定する。このウマイヤ朝は利用し難い一方で愛しということはない; assump1 -> int1: このウマイヤ朝は愛しない; int1 & fact3 -> int2: このウマイヤ朝は寒ーい; fact1 & fact9 -> int3: このウマイヤ朝は寒ーくない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「このウマイヤ朝は利用し難いが愛しない」ということは間違っている; int5 -> hypothesis;
「あの決起は手術侵襲でないがしかし戒める」ということは真実でない
$facts$ = fact1: もし仮に「あの決起は聞けない一方で戒める」ということは事実と異なるとすればこのウマイヤ朝は寒ーいということはない fact2: もし仮に「このウマイヤ朝は愛しないが戒める」ということは成り立たないならあの決起は寒ーくない fact3: もしもこのウマイヤ朝が愛しということはないとするとそれは寒ーい fact4: 寒ーくないものはあるとしたら「このウマイヤ朝は利用し難くてかつそれは寒ーい」ということは本当であるということはない fact5: このウマイヤ朝は利用し難くないとすれば「あの決起は手術侵襲でないがしかし戒める」ということは誤っている fact6: その再審開始決定は聞ける fact7: 何らかのものは利用し難いけれど愛しない fact8: もしこのウマイヤ朝は消化し易くないなら寒ーい fact9: 「あの決起は聞けないがしかし戒める」ということは本当であるということはない fact10: 仮にこのウマイヤ朝が愛しないならば聞ける fact11: 仮にあの決起が戒めるということはないならこのウマイヤ朝は寒ーくない fact12: このウマイヤ朝は利用し難い fact13: 「「利用し難いし愛し」ということは事実と異なる」ものはある ; $hypothesis$ = 「「利用し難いし愛しない」ということは事実でない」物はある ; $proof$ = 
void -> assump1: 以下のように仮定する。このウマイヤ朝は利用し難い一方で愛しということはない; assump1 -> int1: このウマイヤ朝は愛しない; int1 & fact3 -> int2: このウマイヤ朝は寒ーい; fact1 & fact9 -> int3: このウマイヤ朝は寒ーくない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「このウマイヤ朝は利用し難いが愛しない」ということは間違っている; int5 -> hypothesis; __PROVED__
事実1: もし仮に「あの決起は聞けない一方で戒める」ということは事実と異なるとすればこのウマイヤ朝は寒ーいということはない
事実2: もし仮に「このウマイヤ朝は愛しないが戒める」ということは成り立たないならあの決起は寒ーくない
事実3: もしもこのウマイヤ朝が愛しということはないとするとそれは寒ーい
事実4: 寒ーくないものはあるとしたら「このウマイヤ朝は利用し難くてかつそれは寒ーい」ということは本当であるということはない
事実5: このウマイヤ朝は利用し難くないとすれば「あの決起は手術侵襲でないがしかし戒める」ということは誤っている
事実6: その再審開始決定は聞ける
事実7: 何らかのものは利用し難いけれど愛しない
事実8: もしこのウマイヤ朝は消化し易くないなら寒ーい
事実9: 「あの決起は聞けないがしかし戒める」ということは本当であるということはない
事実10: 仮にこのウマイヤ朝が愛しないならば聞ける
事実11: 仮にあの決起が戒めるということはないならこのウマイヤ朝は寒ーくない
事実12: このウマイヤ朝は利用し難い
事実13: 「「利用し難いし愛し」ということは事実と異なる」ものはある

仮説: 「「利用し難いし愛しない」ということは事実でない」物はある
1. 仮定1: 以下のように仮定する。このウマイヤ朝は利用し難い一方で愛しということはない
2. 仮定1から、推論1: "このウマイヤ朝は愛しない"が導かれる
3. 推論1と事実3から、推論2: "このウマイヤ朝は寒ーい"が導かれる
4. 事実1と事実9から、推論3: "このウマイヤ朝は寒ーくない"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "「このウマイヤ朝は利用し難いが愛しない」ということは間違っている"が導かれる
7. 推論5から、仮説が導かれる

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