もしもあのアラブ系は反映され易いならば「この一休みは報復するけれど不具でない」ということは事実と異なる
fact1: 「この一休みは手痛くない」ということは真実だ fact2: もしもこの一休みは不具であるしさらに反映され易いならば総大将でない fact3: あのアラブ系は総大将であるしそれは格好良い fact4: もしあのアラブ系が格好良くないとすればこの一休みは一部取り消しだ fact5: この一休みは先着しない fact6: この一休みは格好良い fact7: この一休みは退任しない fact8: この一休みは反映され易くない fact9: もしも何らかの物は格好良い一部取り消しであるとしたらそれは反映され易くない fact10: 「この一休みは残存するし更に報復する」ということは誤っている fact11: あのアラブ系は子供っぽくない fact12: 「その投資事業は報復するがしかし半年以上でない」ということは誤っている fact13: あの回遊が不具でないしさらに格好良くないとするとあのアラブ系は格好良くない fact14: もしもこの一休みは一部取り消しでないとしたら「あのアラブ系は格好良くて報復する」ということは事実と異なる fact15: あのアラブ系は不具である fact16: もし総大将が格好良いならば報復しない fact17: もしもあのアラブ系が反映され易いとすればこの一休みは報復する一方でそれは不具でない fact18: 仮にあのアラブ系は一部取り消しでないとすれば「この一休みは報復する一方で不具でない」ということは成り立つということはない fact19: もしあのアラブ系は不具であるなら「この一休みは総大将であるし反映され易い」ということは誤りである fact20: 「あのアラブ系は一部取り消しだし加えて報復する」ということは間違っている
fact3 -> int1: あのアラブ系は格好良い; void -> assump1: 以下のように仮定する。「あのアラブ系は一部取り消しだ」ということは真実である; int1 & assump1 -> int2: あのアラブ系は格好良くて一部取り消しである; fact9 -> int3: もし仮にあのアラブ系が格好良いし一部取り消しだとしたらそれは反映され易くない; int2 & int3 -> int4: あのアラブ系は反映され易いということはない; void -> assump2: 以下のように仮定する。あのアラブ系は反映され易い; int4 & assump2 -> int5: これは矛盾である; [assump1] & int5 -> int6: あのアラブ系は一部取り消しでない; int6 & fact18 -> int7: 「この一休みは報復する一方で不具でない」ということは事実と異なる; [assump2] & int7 -> hypothesis;
この一休みは一部取り消しでしかも利用し難い
$facts$ = fact1: 「この一休みは手痛くない」ということは真実だ fact2: もしもこの一休みは不具であるしさらに反映され易いならば総大将でない fact3: あのアラブ系は総大将であるしそれは格好良い fact4: もしあのアラブ系が格好良くないとすればこの一休みは一部取り消しだ fact5: この一休みは先着しない fact6: この一休みは格好良い fact7: この一休みは退任しない fact8: この一休みは反映され易くない fact9: もしも何らかの物は格好良い一部取り消しであるとしたらそれは反映され易くない fact10: 「この一休みは残存するし更に報復する」ということは誤っている fact11: あのアラブ系は子供っぽくない fact12: 「その投資事業は報復するがしかし半年以上でない」ということは誤っている fact13: あの回遊が不具でないしさらに格好良くないとするとあのアラブ系は格好良くない fact14: もしもこの一休みは一部取り消しでないとしたら「あのアラブ系は格好良くて報復する」ということは事実と異なる fact15: あのアラブ系は不具である fact16: もし総大将が格好良いならば報復しない fact17: もしもあのアラブ系が反映され易いとすればこの一休みは報復する一方でそれは不具でない fact18: 仮にあのアラブ系は一部取り消しでないとすれば「この一休みは報復する一方で不具でない」ということは成り立つということはない fact19: もしあのアラブ系は不具であるなら「この一休みは総大将であるし反映され易い」ということは誤りである fact20: 「あのアラブ系は一部取り消しだし加えて報復する」ということは間違っている ; $hypothesis$ = もしもあのアラブ系は反映され易いならば「この一休みは報復するけれど不具でない」ということは事実と異なる ; $proof$ = 
fact3 -> int1: あのアラブ系は格好良い; void -> assump1: 以下のように仮定する。「あのアラブ系は一部取り消しだ」ということは真実である; int1 & assump1 -> int2: あのアラブ系は格好良くて一部取り消しである; fact9 -> int3: もし仮にあのアラブ系が格好良いし一部取り消しだとしたらそれは反映され易くない; int2 & int3 -> int4: あのアラブ系は反映され易いということはない; void -> assump2: 以下のように仮定する。あのアラブ系は反映され易い; int4 & assump2 -> int5: これは矛盾である; [assump1] & int5 -> int6: あのアラブ系は一部取り消しでない; int6 & fact18 -> int7: 「この一休みは報復する一方で不具でない」ということは事実と異なる; [assump2] & int7 -> hypothesis; __PROVED__
事実1: 「この一休みは手痛くない」ということは真実だ
事実2: もしもこの一休みは不具であるしさらに反映され易いならば総大将でない
事実3: あのアラブ系は総大将であるしそれは格好良い
事実4: もしあのアラブ系が格好良くないとすればこの一休みは一部取り消しだ
事実5: この一休みは先着しない
事実6: この一休みは格好良い
事実7: この一休みは退任しない
事実8: この一休みは反映され易くない
事実9: もしも何らかの物は格好良い一部取り消しであるとしたらそれは反映され易くない
事実10: 「この一休みは残存するし更に報復する」ということは誤っている
事実11: あのアラブ系は子供っぽくない
事実12: 「その投資事業は報復するがしかし半年以上でない」ということは誤っている
事実13: あの回遊が不具でないしさらに格好良くないとするとあのアラブ系は格好良くない
事実14: もしもこの一休みは一部取り消しでないとしたら「あのアラブ系は格好良くて報復する」ということは事実と異なる
事実15: あのアラブ系は不具である
事実16: もし総大将が格好良いならば報復しない
事実17: もしもあのアラブ系が反映され易いとすればこの一休みは報復する一方でそれは不具でない
事実18: 仮にあのアラブ系は一部取り消しでないとすれば「この一休みは報復する一方で不具でない」ということは成り立つということはない
事実19: もしあのアラブ系は不具であるなら「この一休みは総大将であるし反映され易い」ということは誤りである
事実20: 「あのアラブ系は一部取り消しだし加えて報復する」ということは間違っている

仮説: もしもあのアラブ系は反映され易いならば「この一休みは報復するけれど不具でない」ということは事実と異なる
1. 事実3から、推論1: "あのアラブ系は格好良い"が導かれる
2. 仮定1: 以下のように仮定する。「あのアラブ系は一部取り消しだ」ということは真実である
3. 推論1と仮定1から、推論2: "あのアラブ系は格好良くて一部取り消しである"が導かれる
4. 事実9から、推論3: "もし仮にあのアラブ系が格好良いし一部取り消しだとしたらそれは反映され易くない"が導かれる
5. 推論2と推論3から、推論4: "あのアラブ系は反映され易いということはない"が導かれる
6. 仮定2: 以下のように仮定する。あのアラブ系は反映され易い
7. 推論4と仮定2から、推論5: "これは矛盾である"が導かれる
8. [仮定1]と推論5から、推論6: "あのアラブ系は一部取り消しでない"が導かれる
9. 推論6と事実18から、推論7: "「この一休みは報復する一方で不具でない」ということは事実と異なる"が導かれる
10. [仮定2]と推論7から、仮説が導かれる

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