その韓国戦が次表参照であるとするとその巡航中は休める
fact1: もし仮に「その巡航中は休めない」ということは確かだとすると「授産活動でなくておまけにそれは探し易い」ということは成り立たない fact2: もし仮に「その巡航中は授産活動でないがしかし探し易い」ということは嘘なら「その韓国戦は次表参照だ」ということは正しい fact3: 「その韓国戦は休める」ということは確かである fact4: もしその巡航中が授産活動ならばその韓国戦は次表参照だということはない fact5: 仮にその韓国戦が地中深くないとするとその巡航中は次表参照でその上休める fact6: 「「その韓国戦は惜しみ無くないが次表参照だ」ということは成り立たない」ということは成り立つ fact7: もしも「その韓国戦は授産活動でないがしかし探し易い」ということは偽であるならばあの巡航中は次表参照だということはない fact8: その巡航中は休めないとすると「それは授産活動だししかも探し易い」ということは成り立たない fact9: 仮に「その巡航中は授産活動だということはないが探し易い」ということは成り立たないならその韓国戦は次表参照でない fact10: この相互依存は次表参照だ fact11: もし仮にその韓国戦が探し易いとするとその巡航中は次表参照だ fact12: その韓国戦が授産活動だとするとその巡航中は探し易い fact13: その韓国戦は餓鬼っぽい fact14: その韓国戦は惜しみ無い fact15: もしもその巡航中は次表参照でないなら「それは休めるということはなくてそれにそれは探し易い」ということは事実でない fact16: その巡航中は次表参照だ fact17: 「その巡航中が授産活動だし探し易い」ということは成り立たない fact18: この露出は次表参照であるということはない fact19: もしその巡航中が次表参照で休めるならこのサラ金は探し易いということはない fact20: もしその韓国戦が授産活動であるならばその巡航中は次表参照だ
void -> assump2: 以下のように仮定する。その巡航中は休めるということはない; fact1 & assump2 -> int1: 「その巡航中は授産活動でないがしかしそれは探し易い」ということは成り立つということはない; int1 & fact9 -> int2: その韓国戦は次表参照でない; void -> assump1: 以下のように仮定する。その韓国戦は次表参照である; int2 & assump1 -> int3: これは矛盾である; [assump2] & int3 -> int4: その巡航中は休める; [assump1] & int4 -> hypothesis;
このサラ金は探し易くない
$facts$ = fact1: もし仮に「その巡航中は休めない」ということは確かだとすると「授産活動でなくておまけにそれは探し易い」ということは成り立たない fact2: もし仮に「その巡航中は授産活動でないがしかし探し易い」ということは嘘なら「その韓国戦は次表参照だ」ということは正しい fact3: 「その韓国戦は休める」ということは確かである fact4: もしその巡航中が授産活動ならばその韓国戦は次表参照だということはない fact5: 仮にその韓国戦が地中深くないとするとその巡航中は次表参照でその上休める fact6: 「「その韓国戦は惜しみ無くないが次表参照だ」ということは成り立たない」ということは成り立つ fact7: もしも「その韓国戦は授産活動でないがしかし探し易い」ということは偽であるならばあの巡航中は次表参照だということはない fact8: その巡航中は休めないとすると「それは授産活動だししかも探し易い」ということは成り立たない fact9: 仮に「その巡航中は授産活動だということはないが探し易い」ということは成り立たないならその韓国戦は次表参照でない fact10: この相互依存は次表参照だ fact11: もし仮にその韓国戦が探し易いとするとその巡航中は次表参照だ fact12: その韓国戦が授産活動だとするとその巡航中は探し易い fact13: その韓国戦は餓鬼っぽい fact14: その韓国戦は惜しみ無い fact15: もしもその巡航中は次表参照でないなら「それは休めるということはなくてそれにそれは探し易い」ということは事実でない fact16: その巡航中は次表参照だ fact17: 「その巡航中が授産活動だし探し易い」ということは成り立たない fact18: この露出は次表参照であるということはない fact19: もしその巡航中が次表参照で休めるならこのサラ金は探し易いということはない fact20: もしその韓国戦が授産活動であるならばその巡航中は次表参照だ ; $hypothesis$ = その韓国戦が次表参照であるとするとその巡航中は休める ; $proof$ = 
void -> assump2: 以下のように仮定する。その巡航中は休めるということはない; fact1 & assump2 -> int1: 「その巡航中は授産活動でないがしかしそれは探し易い」ということは成り立つということはない; int1 & fact9 -> int2: その韓国戦は次表参照でない; void -> assump1: 以下のように仮定する。その韓国戦は次表参照である; int2 & assump1 -> int3: これは矛盾である; [assump2] & int3 -> int4: その巡航中は休める; [assump1] & int4 -> hypothesis; __PROVED__
事実1: もし仮に「その巡航中は休めない」ということは確かだとすると「授産活動でなくておまけにそれは探し易い」ということは成り立たない
事実2: もし仮に「その巡航中は授産活動でないがしかし探し易い」ということは嘘なら「その韓国戦は次表参照だ」ということは正しい
事実3: 「その韓国戦は休める」ということは確かである
事実4: もしその巡航中が授産活動ならばその韓国戦は次表参照だということはない
事実5: 仮にその韓国戦が地中深くないとするとその巡航中は次表参照でその上休める
事実6: 「「その韓国戦は惜しみ無くないが次表参照だ」ということは成り立たない」ということは成り立つ
事実7: もしも「その韓国戦は授産活動でないがしかし探し易い」ということは偽であるならばあの巡航中は次表参照だということはない
事実8: その巡航中は休めないとすると「それは授産活動だししかも探し易い」ということは成り立たない
事実9: 仮に「その巡航中は授産活動だということはないが探し易い」ということは成り立たないならその韓国戦は次表参照でない
事実10: この相互依存は次表参照だ
事実11: もし仮にその韓国戦が探し易いとするとその巡航中は次表参照だ
事実12: その韓国戦が授産活動だとするとその巡航中は探し易い
事実13: その韓国戦は餓鬼っぽい
事実14: その韓国戦は惜しみ無い
事実15: もしもその巡航中は次表参照でないなら「それは休めるということはなくてそれにそれは探し易い」ということは事実でない
事実16: その巡航中は次表参照だ
事実17: 「その巡航中が授産活動だし探し易い」ということは成り立たない
事実18: この露出は次表参照であるということはない
事実19: もしその巡航中が次表参照で休めるならこのサラ金は探し易いということはない
事実20: もしその韓国戦が授産活動であるならばその巡航中は次表参照だ

仮説: その韓国戦が次表参照であるとするとその巡航中は休める
1. 仮定2: 以下のように仮定する。その巡航中は休めるということはない
2. 事実1と仮定2から、推論1: "「その巡航中は授産活動でないがしかしそれは探し易い」ということは成り立つということはない"が導かれる
3. 推論1と事実9から、推論2: "その韓国戦は次表参照でない"が導かれる
4. 仮定1: 以下のように仮定する。その韓国戦は次表参照である
5. 推論2と仮定1から、推論3: "これは矛盾である"が導かれる
6. [仮定2]と推論3から、推論4: "その巡航中は休める"が導かれる
7. [仮定1]と推論4から、仮説が導かれる

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