その心電は下賜する
fact1: あの分野は白々しくて農業関係である fact2: もしあの土地柄はギタリスト達ならば「その心電は屹立しない一方で用心深い」ということは嘘である fact3: もし仮にあるものは農業関係ならば「「ギタリスト達でなくてそれは天美小学校である」ということは真実だ」ということは成り立たない fact4: 用心深くない物はギタリスト達であるし甘辛い fact5: もし仮になにかは用心深いならばその心電はギタリスト達でないけれど計量化する fact6: もしもなんらかのものが千九百九十三年度ならばあの土地柄は計量化しない fact7: その心電は二百床未満でないがしかし束縛である fact8: 仮にその心電が屹立するとしたら天美小学校である fact9: もし仮に「天美小学校でない」ものがあるとすればこの数字書式は癪であるしおまけにダイエットする fact10: もし仮に「千九百九十三年度である」物があるとすればあの土地柄は計量化しないがしかし染め上げる fact11: 「千九百九十三年度である」ものはある fact12: 「その心電は下賜するしまた計量化する」ということは偽である fact13: なんらかの物はむさくるしいということはない fact14: その心電は農業関係でない fact15: もし仮に「なにかは天美小学校でないが用心深い」ということは確かでないとすると甘辛い fact16: もしもあの土地柄が計量化しないけれどそれが染め上げればそれは農業関係だ fact17: 仮に何かは屹立するとすれば「下賜しない」ということは成り立つということはない fact18: 仮に「とある物は屹立しない一方で用心深い」ということは偽であるならば下賜する fact19: この関連資料は計量化する fact20: そのグラフィックボードは計量化するししかも逃散する fact21: もし仮にむさくるしくないものがあるとしたらあの土地柄が天美小学校だししかも甘辛い fact22: 甘辛い物はむさくるしくない一方で天美小学校である
fact13 & fact21 -> int1: あの土地柄は天美小学校だしさらに甘辛い; int1 -> int2: あの土地柄は天美小学校である; void -> assump1: 以下のように仮定する。あの土地柄はギタリスト達でない; int2 & assump1 -> int3: 「あの土地柄はギタリスト達でないが天美小学校である」ということは真実だ; fact11 & fact10 -> int4: あの土地柄は計量化しない一方で染め上げる; fact16 & int4 -> int5: 「あの土地柄は農業関係だ」ということは本当である; fact3 -> int6: 仮に「あの土地柄は農業関係である」ということは正しいとすると「ギタリスト達でない一方で天美小学校である」ということは嘘である; int5 & int6 -> int7: 「あの土地柄はギタリスト達だということはないがしかし天美小学校である」ということは嘘である; int3 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: あの土地柄はギタリスト達である; int9 & fact2 -> int10: 「その心電は屹立するということはないが用心深い」ということは成り立たない; fact18 -> int11: もし仮に「その心電は屹立するということはない一方で用心深い」ということは誤りであるなら下賜する; int10 & int11 -> hypothesis;
その心電は下賜するということはない
fact23 -> int12: もしあの土地柄が甘辛いならむさくるしくないしそれは天美小学校だ; fact24 -> int13: もしもあの土地柄が用心深くないとすればギタリスト達で甘辛い;
$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$ = 
fact13 & fact21 -> int1: あの土地柄は天美小学校だしさらに甘辛い; int1 -> int2: あの土地柄は天美小学校である; void -> assump1: 以下のように仮定する。あの土地柄はギタリスト達でない; int2 & assump1 -> int3: 「あの土地柄はギタリスト達でないが天美小学校である」ということは真実だ; fact11 & fact10 -> int4: あの土地柄は計量化しない一方で染め上げる; fact16 & int4 -> int5: 「あの土地柄は農業関係だ」ということは本当である; fact3 -> int6: 仮に「あの土地柄は農業関係である」ということは正しいとすると「ギタリスト達でない一方で天美小学校である」ということは嘘である; int5 & int6 -> int7: 「あの土地柄はギタリスト達だということはないがしかし天美小学校である」ということは嘘である; int3 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: あの土地柄はギタリスト達である; int9 & fact2 -> int10: 「その心電は屹立するということはないが用心深い」ということは成り立たない; fact18 -> int11: もし仮に「その心電は屹立するということはない一方で用心深い」ということは誤りであるなら下賜する; int10 & int11 -> 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. 事実13と事実21から、推論1: "あの土地柄は天美小学校だしさらに甘辛い"が導かれる
2. 推論1から、推論2: "あの土地柄は天美小学校である"が導かれる
3. 仮定1: 以下のように仮定する。あの土地柄はギタリスト達でない
4. 推論2と仮定1から、推論3: "「あの土地柄はギタリスト達でないが天美小学校である」ということは真実だ"が導かれる
5. 事実11と事実10から、推論4: "あの土地柄は計量化しない一方で染め上げる"が導かれる
6. 事実16と推論4から、推論5: "「あの土地柄は農業関係だ」ということは本当である"が導かれる
7. 事実3から、推論6: "仮に「あの土地柄は農業関係である」ということは正しいとすると「ギタリスト達でない一方で天美小学校である」ということは嘘である"が導かれる
8. 推論5と推論6から、推論7: "「あの土地柄はギタリスト達だということはないがしかし天美小学校である」ということは嘘である"が導かれる
9. 推論3と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "あの土地柄はギタリスト達である"が導かれる
11. 推論9と事実2から、推論10: "「その心電は屹立するということはないが用心深い」ということは成り立たない"が導かれる
12. 事実18から、推論11: "もし仮に「その心電は屹立するということはない一方で用心深い」ということは誤りであるなら下賜する"が導かれる
13. 推論10と推論11から、仮説が導かれる

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