「その三次ベジェ曲線は極まり悪い一方で専門特化しない」ということは誤っている
fact1: もし仮にこの滞在は極まり悪いということはないとすると「その三次ベジェ曲線は極まり悪いが専門特化しない」ということは成り立たない fact2: この滞在は与え難い fact3: 極まり悪くないものは投資するし更に与え難い fact4: あの講は織り込まないけれどそれは投資する fact5: あの講は織り込まないけれど投資するとすればえぐくない fact6: 仮にこの滞在は極まり悪くないとしたら「その三次ベジェ曲線は極まり悪くてそれは専門特化する」ということは誤りだ fact7: もし仮に「極まり悪いしそれにえぐい」ものがあればあの講は専門特化しない fact8: もし仮にあの講がえぐいということはないなら冷たくてさらにそれは芳しい fact9: もし与え難いし極まり悪いものがあるならばあの講は冷たくない fact10: もしも「その三次ベジェ曲線はえぐくない」ということは成り立つとすれば極まり悪くて与え難い fact11: あの講は投資する fact12: その三次ベジェ曲線は食べ切れるしおまけにそれは基づく
void -> assump1: 以下のように仮定する。この滞在は極まり悪い; fact2 & assump1 -> int1: この滞在は与え難いししかも極まり悪い; int1 -> int2: 「与え難いしさらに極まり悪い」物はある; int2 & fact9 -> int3: あの講は冷たくない; fact4 & fact5 -> int4: あの講はえぐくない; fact8 & int4 -> int5: あの講は冷たいし加えて芳しい; int5 -> int6: あの講は冷たい; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: この滞在は極まり悪くない; int8 & fact1 -> hypothesis;
その三次ベジェ曲線は極まり悪い一方で専門特化しない
$facts$ = fact1: もし仮にこの滞在は極まり悪いということはないとすると「その三次ベジェ曲線は極まり悪いが専門特化しない」ということは成り立たない fact2: この滞在は与え難い fact3: 極まり悪くないものは投資するし更に与え難い fact4: あの講は織り込まないけれどそれは投資する fact5: あの講は織り込まないけれど投資するとすればえぐくない fact6: 仮にこの滞在は極まり悪くないとしたら「その三次ベジェ曲線は極まり悪くてそれは専門特化する」ということは誤りだ fact7: もし仮に「極まり悪いしそれにえぐい」ものがあればあの講は専門特化しない fact8: もし仮にあの講がえぐいということはないなら冷たくてさらにそれは芳しい fact9: もし与え難いし極まり悪いものがあるならばあの講は冷たくない fact10: もしも「その三次ベジェ曲線はえぐくない」ということは成り立つとすれば極まり悪くて与え難い fact11: あの講は投資する fact12: その三次ベジェ曲線は食べ切れるしおまけにそれは基づく ; $hypothesis$ = 「その三次ベジェ曲線は極まり悪い一方で専門特化しない」ということは誤っている ; $proof$ = 
void -> assump1: 以下のように仮定する。この滞在は極まり悪い; fact2 & assump1 -> int1: この滞在は与え難いししかも極まり悪い; int1 -> int2: 「与え難いしさらに極まり悪い」物はある; int2 & fact9 -> int3: あの講は冷たくない; fact4 & fact5 -> int4: あの講はえぐくない; fact8 & int4 -> int5: あの講は冷たいし加えて芳しい; int5 -> int6: あの講は冷たい; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: この滞在は極まり悪くない; int8 & fact1 -> hypothesis; __PROVED__
事実1: もし仮にこの滞在は極まり悪いということはないとすると「その三次ベジェ曲線は極まり悪いが専門特化しない」ということは成り立たない
事実2: この滞在は与え難い
事実3: 極まり悪くないものは投資するし更に与え難い
事実4: あの講は織り込まないけれどそれは投資する
事実5: あの講は織り込まないけれど投資するとすればえぐくない
事実6: 仮にこの滞在は極まり悪くないとしたら「その三次ベジェ曲線は極まり悪くてそれは専門特化する」ということは誤りだ
事実7: もし仮に「極まり悪いしそれにえぐい」ものがあればあの講は専門特化しない
事実8: もし仮にあの講がえぐいということはないなら冷たくてさらにそれは芳しい
事実9: もし与え難いし極まり悪いものがあるならばあの講は冷たくない
事実10: もしも「その三次ベジェ曲線はえぐくない」ということは成り立つとすれば極まり悪くて与え難い
事実11: あの講は投資する
事実12: その三次ベジェ曲線は食べ切れるしおまけにそれは基づく

仮説: 「その三次ベジェ曲線は極まり悪い一方で専門特化しない」ということは誤っている
1. 仮定1: 以下のように仮定する。この滞在は極まり悪い
2. 事実2と仮定1から、推論1: "この滞在は与え難いししかも極まり悪い"が導かれる
3. 推論1から、推論2: "「与え難いしさらに極まり悪い」物はある"が導かれる
4. 推論2と事実9から、推論3: "あの講は冷たくない"が導かれる
5. 事実4と事実5から、推論4: "あの講はえぐくない"が導かれる
6. 事実8と推論4から、推論5: "あの講は冷たいし加えて芳しい"が導かれる
7. 推論5から、推論6: "あの講は冷たい"が導かれる
8. 推論3と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "この滞在は極まり悪くない"が導かれる
10. 推論8と事実1から、仮説が導かれる

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