その大雪は言い出し難いということはない
fact1: 「あの要介護は高速化しない」ということは偽だということはない fact2: もし「何らかのものは学期末試験だけれど高速化しない」ということは間違いであるとするとそれは荒海だ fact3: その大雪はたゆたわない fact4: 「公募制補助金制度は労う」ということは成り立つ fact5: もしその大雪は最優先事項であるとすればそれは荒海である fact6: その大雪が御存じ無いとすると最優先事項だということはない fact7: 「この二期会ゴールデンコンサートは荒海でない」ということは真実である fact8: その大雪は成立範囲でない fact9: 「この蜜液は言い出し難くてさらに低し」ということは成り立たない fact10: 「「とある物は外界知覚だけれどそれは遷座しない」ということは確かだ」ということは誤りなら悩ましい fact11: その産生株は学期末試験でない fact12: あの御肉は荒海である fact13: もしその大雪は荒海であるならそれは言い出し難くない fact14: その大雪は学期末試験でない
void -> assump1: 以下のように仮定する。その大雪は学期末試験だ一方で高速化しない; assump1 -> int1: その大雪は学期末試験だ; int1 & fact14 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「その大雪は学期末試験である一方で高速化しない」ということは真実でない; fact2 -> int4: もし仮に「「その大雪は学期末試験だけど高速化しない」ということは成り立たない」ということは本当ならば荒海だ; int3 & int4 -> int5: その大雪は荒海である; int5 & fact13 -> hypothesis;
$facts$ = fact1: 「あの要介護は高速化しない」ということは偽だということはない fact2: もし「何らかのものは学期末試験だけれど高速化しない」ということは間違いであるとするとそれは荒海だ fact3: その大雪はたゆたわない fact4: 「公募制補助金制度は労う」ということは成り立つ fact5: もしその大雪は最優先事項であるとすればそれは荒海である fact6: その大雪が御存じ無いとすると最優先事項だということはない fact7: 「この二期会ゴールデンコンサートは荒海でない」ということは真実である fact8: その大雪は成立範囲でない fact9: 「この蜜液は言い出し難くてさらに低し」ということは成り立たない fact10: 「「とある物は外界知覚だけれどそれは遷座しない」ということは確かだ」ということは誤りなら悩ましい fact11: その産生株は学期末試験でない fact12: あの御肉は荒海である fact13: もしその大雪は荒海であるならそれは言い出し難くない fact14: その大雪は学期末試験でない ; $hypothesis$ = その大雪は言い出し難いということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。その大雪は学期末試験だ一方で高速化しない; assump1 -> int1: その大雪は学期末試験だ; int1 & fact14 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「その大雪は学期末試験である一方で高速化しない」ということは真実でない; fact2 -> int4: もし仮に「「その大雪は学期末試験だけど高速化しない」ということは成り立たない」ということは本当ならば荒海だ; int3 & int4 -> int5: その大雪は荒海である; int5 & fact13 -> hypothesis; __PROVED__
事実1: 「あの要介護は高速化しない」ということは偽だということはない
事実2: もし「何らかのものは学期末試験だけれど高速化しない」ということは間違いであるとするとそれは荒海だ
事実3: その大雪はたゆたわない
事実4: 「公募制補助金制度は労う」ということは成り立つ
事実5: もしその大雪は最優先事項であるとすればそれは荒海である
事実6: その大雪が御存じ無いとすると最優先事項だということはない
事実7: 「この二期会ゴールデンコンサートは荒海でない」ということは真実である
事実8: その大雪は成立範囲でない
事実9: 「この蜜液は言い出し難くてさらに低し」ということは成り立たない
事実10: 「「とある物は外界知覚だけれどそれは遷座しない」ということは確かだ」ということは誤りなら悩ましい
事実11: その産生株は学期末試験でない
事実12: あの御肉は荒海である
事実13: もしその大雪は荒海であるならそれは言い出し難くない
事実14: その大雪は学期末試験でない

仮説: その大雪は言い出し難いということはない
1. 仮定1: 以下のように仮定する。その大雪は学期末試験だ一方で高速化しない
2. 仮定1から、推論1: "その大雪は学期末試験だ"が導かれる
3. 推論1と事実14から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「その大雪は学期末試験である一方で高速化しない」ということは真実でない"が導かれる
5. 事実2から、推論4: "もし仮に「「その大雪は学期末試験だけど高速化しない」ということは成り立たない」ということは本当ならば荒海だ"が導かれる
6. 推論3と推論4から、推論5: "その大雪は荒海である"が導かれる
7. 推論5と事実13から、仮説が導かれる

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