その二計画は怠い
fact1: もし仮にあの生活振りが同年輩でないとすればあの書架スペースは聡い fact2: 「あのハーフコートは浴び始めるし加えてバタだ」ということは成り立たない fact3: もしあの生活振りが試験紙であるならばその二計画は伊豆新世紀創造祭である fact4: もしもこの書架スペースは上がれるとしたら「あのハーフコートは賛成し兼ねる」ということは本当だ fact5: もしも何かは聡いかまたは賛成し兼ねらないとすれば「聡い」ということは確かである fact6: もしあの生活振りが同年輩でないとすればこの書架スペースは上がれるしまた聡い fact7: もしなにがしかのものが同年輩でないかもしくはそれは賛成し兼ねらないとすれば怠くらない fact8: もし仮に「なにかは聡くない一方で同年輩だ」ということは誤っているとしたらそれは聡い fact9: 「この書架スペースは聡い」ということは嘘でない fact10: あのハーフコートはバタでないならば賛成し兼ねらない fact11: もし仮にその二計画が伊豆新世紀創造祭だとすると怠い fact12: 同年輩は試験紙だ fact13: 仮に「あのハーフコートは浴び始めるしおまけにバタである」ということは本当であるということはないならそれは賛成し兼ねらない
void -> assump1: 以下のように仮定する。あの生活振りは同年輩だということはない; fact6 & assump1 -> int1: この書架スペースは上がれるしさらに聡い; int1 -> int2: この書架スペースは上がれる; int2 & fact4 -> int3: 「あのハーフコートは賛成し兼ねる」ということは事実だ; fact2 & fact13 -> int4: あのハーフコートは賛成し兼ねらない; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: あの生活振りは同年輩である; fact12 -> int7: 仮に「あの生活振りは同年輩である」ということは確かだとすると試験紙である; int6 & int7 -> int8: あの生活振りは試験紙だ; int8 & fact3 -> int9: その二計画は伊豆新世紀創造祭だ; int9 & fact11 -> hypothesis;
あの生活振りは聡い
fact15 -> int10: もしも「「あの生活振りは聡いということはないけれど同年輩である」ということは正しくない」ということは嘘でないとすれば聡い; fact14 -> int11: この書架スペースが聡いかまたは賛成し兼ねらないとするとそれは聡い;
$facts$ = fact1: もし仮にあの生活振りが同年輩でないとすればあの書架スペースは聡い fact2: 「あのハーフコートは浴び始めるし加えてバタだ」ということは成り立たない fact3: もしあの生活振りが試験紙であるならばその二計画は伊豆新世紀創造祭である fact4: もしもこの書架スペースは上がれるとしたら「あのハーフコートは賛成し兼ねる」ということは本当だ fact5: もしも何かは聡いかまたは賛成し兼ねらないとすれば「聡い」ということは確かである fact6: もしあの生活振りが同年輩でないとすればこの書架スペースは上がれるしまた聡い fact7: もしなにがしかのものが同年輩でないかもしくはそれは賛成し兼ねらないとすれば怠くらない fact8: もし仮に「なにかは聡くない一方で同年輩だ」ということは誤っているとしたらそれは聡い fact9: 「この書架スペースは聡い」ということは嘘でない fact10: あのハーフコートはバタでないならば賛成し兼ねらない fact11: もし仮にその二計画が伊豆新世紀創造祭だとすると怠い fact12: 同年輩は試験紙だ fact13: 仮に「あのハーフコートは浴び始めるしおまけにバタである」ということは本当であるということはないならそれは賛成し兼ねらない ; $hypothesis$ = その二計画は怠い ; $proof$ = 
void -> assump1: 以下のように仮定する。あの生活振りは同年輩だということはない; fact6 & assump1 -> int1: この書架スペースは上がれるしさらに聡い; int1 -> int2: この書架スペースは上がれる; int2 & fact4 -> int3: 「あのハーフコートは賛成し兼ねる」ということは事実だ; fact2 & fact13 -> int4: あのハーフコートは賛成し兼ねらない; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: あの生活振りは同年輩である; fact12 -> int7: 仮に「あの生活振りは同年輩である」ということは確かだとすると試験紙である; int6 & int7 -> int8: あの生活振りは試験紙だ; int8 & fact3 -> int9: その二計画は伊豆新世紀創造祭だ; int9 & fact11 -> hypothesis; __PROVED__
事実1: もし仮にあの生活振りが同年輩でないとすればあの書架スペースは聡い
事実2: 「あのハーフコートは浴び始めるし加えてバタだ」ということは成り立たない
事実3: もしあの生活振りが試験紙であるならばその二計画は伊豆新世紀創造祭である
事実4: もしもこの書架スペースは上がれるとしたら「あのハーフコートは賛成し兼ねる」ということは本当だ
事実5: もしも何かは聡いかまたは賛成し兼ねらないとすれば「聡い」ということは確かである
事実6: もしあの生活振りが同年輩でないとすればこの書架スペースは上がれるしまた聡い
事実7: もしなにがしかのものが同年輩でないかもしくはそれは賛成し兼ねらないとすれば怠くらない
事実8: もし仮に「なにかは聡くない一方で同年輩だ」ということは誤っているとしたらそれは聡い
事実9: 「この書架スペースは聡い」ということは嘘でない
事実10: あのハーフコートはバタでないならば賛成し兼ねらない
事実11: もし仮にその二計画が伊豆新世紀創造祭だとすると怠い
事実12: 同年輩は試験紙だ
事実13: 仮に「あのハーフコートは浴び始めるしおまけにバタである」ということは本当であるということはないならそれは賛成し兼ねらない

仮説: その二計画は怠い
1. 仮定1: 以下のように仮定する。あの生活振りは同年輩だということはない
2. 事実6と仮定1から、推論1: "この書架スペースは上がれるしさらに聡い"が導かれる
3. 推論1から、推論2: "この書架スペースは上がれる"が導かれる
4. 推論2と事実4から、推論3: "「あのハーフコートは賛成し兼ねる」ということは事実だ"が導かれる
5. 事実2と事実13から、推論4: "あのハーフコートは賛成し兼ねらない"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "あの生活振りは同年輩である"が導かれる
8. 事実12から、推論7: "仮に「あの生活振りは同年輩である」ということは確かだとすると試験紙である"が導かれる
9. 推論6と推論7から、推論8: "あの生活振りは試験紙だ"が導かれる
10. 推論8と事実3から、推論9: "その二計画は伊豆新世紀創造祭だ"が導かれる
11. 推論9と事実11から、仮説が導かれる

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