「そのコーストは胎生であるけれど予約しない」ということは成り立たない
fact1: 仮に「そのコーストは胎生であるけどそれは予約するということはない」ということは成り立つとしたらそれは届き難いということはない fact2: 「そのコーストは高巻くがしかしそれは外食しない」ということは本当でない fact3: 「そのコーストは外食しないがしかしそれは予約する」ということは誤りである fact4: そのコーストは胎生だ fact5: 程良くない物は外食するし届き難い fact6: もしもこの細胞障害が届き難いとすればあのコーストは予約しないがしかし見せ合う fact7: もし仮にとある物が付与するとすればそのコーストは胎生であるしうら若し fact8: 仮にこの細胞障害が外食するがしかし予約しないならば届き難くない fact9: もしあの銀行マンが母親らしいけど届き難くないなら趾間型でない fact10: この沖縄らしさはアメリカ同時多発テロ事件だ fact11: 「この細胞障害は届き難くない一方で外食する」ということは成り立たない fact12: この細胞障害が外食するということはないならそのコーストは届き難い fact13: この遊び人達は胎生であるということはない fact14: 「この細胞障害は届き難い一方で胎生でない」ということは間違いだ fact15: もし仮に「その独露は押し易くてそれは程良い」ということは偽であるとすればこの細胞障害は程良くない fact16: もしこの沖縄らしさがアメリカ同時多発テロ事件だとしたらそれは付与する fact17: 「「この細胞障害は届き難い一方で予約しない」ということは成り立つ」ということは嘘である fact18: もし「「この細胞障害は届き難くないけど外食する」ということは本当だ」ということは誤っているならそのコーストは届き難い fact19: この細胞障害は予約する fact20: この細胞障害は胎生である fact21: 仮に「この細胞障害は胎生でないがしかし届き難い」ということは嘘だとしたらそのコーストは胎生である fact22: とある物は押し易くない
void -> assump1: 以下のように仮定する。そのコーストは胎生だがしかし予約しない; fact1 & assump1 -> int1: そのコーストは届き難くない; fact18 & fact11 -> int2: そのコーストは届き難い; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
そのコーストは胎生であるが予約しない
fact28 & fact24 -> int4: この沖縄らしさは付与する; int4 -> int5: 「「付与する」ということは成り立つ」ものはある; int5 & fact25 -> int6: そのコーストは胎生だしうら若し; int6 -> int7: そのコーストは胎生だ; fact27 -> int8: もし仮にこの細胞障害が程良くないとすると外食するしかつ届き難い;
$facts$ = fact1: 仮に「そのコーストは胎生であるけどそれは予約するということはない」ということは成り立つとしたらそれは届き難いということはない fact2: 「そのコーストは高巻くがしかしそれは外食しない」ということは本当でない fact3: 「そのコーストは外食しないがしかしそれは予約する」ということは誤りである fact4: そのコーストは胎生だ fact5: 程良くない物は外食するし届き難い fact6: もしもこの細胞障害が届き難いとすればあのコーストは予約しないがしかし見せ合う fact7: もし仮にとある物が付与するとすればそのコーストは胎生であるしうら若し fact8: 仮にこの細胞障害が外食するがしかし予約しないならば届き難くない fact9: もしあの銀行マンが母親らしいけど届き難くないなら趾間型でない fact10: この沖縄らしさはアメリカ同時多発テロ事件だ fact11: 「この細胞障害は届き難くない一方で外食する」ということは成り立たない fact12: この細胞障害が外食するということはないならそのコーストは届き難い fact13: この遊び人達は胎生であるということはない fact14: 「この細胞障害は届き難い一方で胎生でない」ということは間違いだ fact15: もし仮に「その独露は押し易くてそれは程良い」ということは偽であるとすればこの細胞障害は程良くない fact16: もしこの沖縄らしさがアメリカ同時多発テロ事件だとしたらそれは付与する fact17: 「「この細胞障害は届き難い一方で予約しない」ということは成り立つ」ということは嘘である fact18: もし「「この細胞障害は届き難くないけど外食する」ということは本当だ」ということは誤っているならそのコーストは届き難い fact19: この細胞障害は予約する fact20: この細胞障害は胎生である fact21: 仮に「この細胞障害は胎生でないがしかし届き難い」ということは嘘だとしたらそのコーストは胎生である fact22: とある物は押し易くない ; $hypothesis$ = 「そのコーストは胎生であるけれど予約しない」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。そのコーストは胎生だがしかし予約しない; fact1 & assump1 -> int1: そのコーストは届き難くない; fact18 & fact11 -> int2: そのコーストは届き難い; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: 仮に「そのコーストは胎生であるけどそれは予約するということはない」ということは成り立つとしたらそれは届き難いということはない
事実2: 「そのコーストは高巻くがしかしそれは外食しない」ということは本当でない
事実3: 「そのコーストは外食しないがしかしそれは予約する」ということは誤りである
事実4: そのコーストは胎生だ
事実5: 程良くない物は外食するし届き難い
事実6: もしもこの細胞障害が届き難いとすればあのコーストは予約しないがしかし見せ合う
事実7: もし仮にとある物が付与するとすればそのコーストは胎生であるしうら若し
事実8: 仮にこの細胞障害が外食するがしかし予約しないならば届き難くない
事実9: もしあの銀行マンが母親らしいけど届き難くないなら趾間型でない
事実10: この沖縄らしさはアメリカ同時多発テロ事件だ
事実11: 「この細胞障害は届き難くない一方で外食する」ということは成り立たない
事実12: この細胞障害が外食するということはないならそのコーストは届き難い
事実13: この遊び人達は胎生であるということはない
事実14: 「この細胞障害は届き難い一方で胎生でない」ということは間違いだ
事実15: もし仮に「その独露は押し易くてそれは程良い」ということは偽であるとすればこの細胞障害は程良くない
事実16: もしこの沖縄らしさがアメリカ同時多発テロ事件だとしたらそれは付与する
事実17: 「「この細胞障害は届き難い一方で予約しない」ということは成り立つ」ということは嘘である
事実18: もし「「この細胞障害は届き難くないけど外食する」ということは本当だ」ということは誤っているならそのコーストは届き難い
事実19: この細胞障害は予約する
事実20: この細胞障害は胎生である
事実21: 仮に「この細胞障害は胎生でないがしかし届き難い」ということは嘘だとしたらそのコーストは胎生である
事実22: とある物は押し易くない

仮説: 「そのコーストは胎生であるけれど予約しない」ということは成り立たない
1. 仮定1: 以下のように仮定する。そのコーストは胎生だがしかし予約しない
2. 事実1と仮定1から、推論1: "そのコーストは届き難くない"が導かれる
3. 事実18と事実11から、推論2: "そのコーストは届き難い"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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