その日本画はアイロン台だ
fact1: あの腕部は好ましいということはない fact2: 仮に「あの食休みは人間らしいしその上感得する」ということは間違いだとしたら「あの経営革新は人間らしいということはない」ということは本当だ fact3: その建設工事紛争審査会は感得するということはない fact4: あの腕部は人間らしい fact5: 「この熊本時代は記念物でない」ということは偽でない fact6: 「あの経営革新は人間らしいということはない」ということは真実であるとするとあの単位面積当たり生産量は最近店であるということはない fact7: もしも何らかの物が感得するなら記念物でない fact8: 「その日本画は遠州灘でない」ということは本当だ fact9: 「あの単位面積当たり生産量は最近店であるがそれは好ましいということはない」ということは確かだということはない fact10: 「もし「最近店でない」ものがあるとしたらこの熊本時代は想定するしさらに遠州灘である」ということは誤っていない fact11: 「あの腕部は恐ろしいしおまけにアイロン台である」ということは事実でないとしたらその日本画はアイロン台でない fact12: 「あの単位面積当たり生産量は最近店で好ましい」ということは誤っている fact13: もしも「あの単位面積当たり生産量は最近店だがしかし好ましくない」ということは誤りならばあの腕部は最近店でない fact14: 仮にあの単位面積当たり生産量が好ましいとしたらあの腕部は最近店でない fact15: もし仮にその日本画は想定しないとすると「あの腕部は人間らしい」ということは成り立つ fact16: もしもその日本画は恐ろしい一方で遠州灘だということはないならそれは想定しない fact17: あの腕部は感得しない fact18: もしもその日本画が恐ろしくないならあの腕部は恐ろしい fact19: もしもこの拡張辞が変化し始めるしおまけに深部白質だとするとこの相好は変化し始めない fact20: その電子データ交換システムはわりないし贈呈する fact21: もしもとあるものが恐ろしくないしさらに記念物であるということはないならばアイロン台だ fact22: もしなにがしかのものは変化し始めないとしたら「それは二区分データで好ましい」ということは間違いである fact23: 仮に「なにがしかのものが二区分データだし更にそれは好ましい」ということは偽であるとするとそれは記念物であるということはない fact24: もし仮にその日本画が想定しないとするとあの腕部は人間らしいし更に最近店である fact25: この熊本時代が感得しないとすればその日本画は感得する fact26: もしこの相好は記念物であるということはないとすれば「あの食休みは人間らしいし感得する」ということは間違っている fact27: この熊本時代は感得するということはない
void -> assump1: 以下のように仮定する。その日本画は恐ろしい; assump1 & fact8 -> int1: その日本画は恐ろしい一方で遠州灘でない; int1 & fact16 -> int2: その日本画は想定しない; int2 & fact24 -> int3: あの腕部は人間らしいしその上最近店だ; int3 -> int4: あの腕部は最近店である; fact9 & fact13 -> int5: あの腕部は最近店でない; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その日本画は恐ろしくない; fact27 & fact25 -> int8: その日本画は感得する; fact7 -> int9: その日本画が感得するとすると記念物でない; int8 & int9 -> int10: その日本画は記念物であるということはない; int7 & int10 -> int11: その日本画は恐ろしくないし記念物でない; fact21 -> int12: 仮にその日本画は恐ろしくなくてしかも記念物でないならアイロン台だ; int11 & int12 -> hypothesis;
「その日本画はアイロン台でない」ということは確かである
fact35 -> int13: もしも「この相好は二区分データだししかも好ましい」ということは嘘だとするとそれは記念物であるということはない; fact28 -> int14: この相好は変化し始めないならば「二区分データであるしさらに好ましい」ということは成り立たない;
$facts$ = fact1: あの腕部は好ましいということはない fact2: 仮に「あの食休みは人間らしいしその上感得する」ということは間違いだとしたら「あの経営革新は人間らしいということはない」ということは本当だ fact3: その建設工事紛争審査会は感得するということはない fact4: あの腕部は人間らしい fact5: 「この熊本時代は記念物でない」ということは偽でない fact6: 「あの経営革新は人間らしいということはない」ということは真実であるとするとあの単位面積当たり生産量は最近店であるということはない fact7: もしも何らかの物が感得するなら記念物でない fact8: 「その日本画は遠州灘でない」ということは本当だ fact9: 「あの単位面積当たり生産量は最近店であるがそれは好ましいということはない」ということは確かだということはない fact10: 「もし「最近店でない」ものがあるとしたらこの熊本時代は想定するしさらに遠州灘である」ということは誤っていない fact11: 「あの腕部は恐ろしいしおまけにアイロン台である」ということは事実でないとしたらその日本画はアイロン台でない fact12: 「あの単位面積当たり生産量は最近店で好ましい」ということは誤っている fact13: もしも「あの単位面積当たり生産量は最近店だがしかし好ましくない」ということは誤りならばあの腕部は最近店でない fact14: 仮にあの単位面積当たり生産量が好ましいとしたらあの腕部は最近店でない fact15: もし仮にその日本画は想定しないとすると「あの腕部は人間らしい」ということは成り立つ fact16: もしもその日本画は恐ろしい一方で遠州灘だということはないならそれは想定しない fact17: あの腕部は感得しない fact18: もしもその日本画が恐ろしくないならあの腕部は恐ろしい fact19: もしもこの拡張辞が変化し始めるしおまけに深部白質だとするとこの相好は変化し始めない fact20: その電子データ交換システムはわりないし贈呈する fact21: もしもとあるものが恐ろしくないしさらに記念物であるということはないならばアイロン台だ fact22: もしなにがしかのものは変化し始めないとしたら「それは二区分データで好ましい」ということは間違いである fact23: 仮に「なにがしかのものが二区分データだし更にそれは好ましい」ということは偽であるとするとそれは記念物であるということはない fact24: もし仮にその日本画が想定しないとするとあの腕部は人間らしいし更に最近店である fact25: この熊本時代が感得しないとすればその日本画は感得する fact26: もしこの相好は記念物であるということはないとすれば「あの食休みは人間らしいし感得する」ということは間違っている fact27: この熊本時代は感得するということはない ; $hypothesis$ = その日本画はアイロン台だ ; $proof$ = 
void -> assump1: 以下のように仮定する。その日本画は恐ろしい; assump1 & fact8 -> int1: その日本画は恐ろしい一方で遠州灘でない; int1 & fact16 -> int2: その日本画は想定しない; int2 & fact24 -> int3: あの腕部は人間らしいしその上最近店だ; int3 -> int4: あの腕部は最近店である; fact9 & fact13 -> int5: あの腕部は最近店でない; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その日本画は恐ろしくない; fact27 & fact25 -> int8: その日本画は感得する; fact7 -> int9: その日本画が感得するとすると記念物でない; int8 & int9 -> int10: その日本画は記念物であるということはない; int7 & int10 -> int11: その日本画は恐ろしくないし記念物でない; fact21 -> int12: 仮にその日本画は恐ろしくなくてしかも記念物でないならアイロン台だ; int11 & int12 -> hypothesis; __PROVED__
事実1: あの腕部は好ましいということはない
事実2: 仮に「あの食休みは人間らしいしその上感得する」ということは間違いだとしたら「あの経営革新は人間らしいということはない」ということは本当だ
事実3: その建設工事紛争審査会は感得するということはない
事実4: あの腕部は人間らしい
事実5: 「この熊本時代は記念物でない」ということは偽でない
事実6: 「あの経営革新は人間らしいということはない」ということは真実であるとするとあの単位面積当たり生産量は最近店であるということはない
事実7: もしも何らかの物が感得するなら記念物でない
事実8: 「その日本画は遠州灘でない」ということは本当だ
事実9: 「あの単位面積当たり生産量は最近店であるがそれは好ましいということはない」ということは確かだということはない
事実10: 「もし「最近店でない」ものがあるとしたらこの熊本時代は想定するしさらに遠州灘である」ということは誤っていない
事実11: 「あの腕部は恐ろしいしおまけにアイロン台である」ということは事実でないとしたらその日本画はアイロン台でない
事実12: 「あの単位面積当たり生産量は最近店で好ましい」ということは誤っている
事実13: もしも「あの単位面積当たり生産量は最近店だがしかし好ましくない」ということは誤りならばあの腕部は最近店でない
事実14: 仮にあの単位面積当たり生産量が好ましいとしたらあの腕部は最近店でない
事実15: もし仮にその日本画は想定しないとすると「あの腕部は人間らしい」ということは成り立つ
事実16: もしもその日本画は恐ろしい一方で遠州灘だということはないならそれは想定しない
事実17: あの腕部は感得しない
事実18: もしもその日本画が恐ろしくないならあの腕部は恐ろしい
事実19: もしもこの拡張辞が変化し始めるしおまけに深部白質だとするとこの相好は変化し始めない
事実20: その電子データ交換システムはわりないし贈呈する
事実21: もしもとあるものが恐ろしくないしさらに記念物であるということはないならばアイロン台だ
事実22: もしなにがしかのものは変化し始めないとしたら「それは二区分データで好ましい」ということは間違いである
事実23: 仮に「なにがしかのものが二区分データだし更にそれは好ましい」ということは偽であるとするとそれは記念物であるということはない
事実24: もし仮にその日本画が想定しないとするとあの腕部は人間らしいし更に最近店である
事実25: この熊本時代が感得しないとすればその日本画は感得する
事実26: もしこの相好は記念物であるということはないとすれば「あの食休みは人間らしいし感得する」ということは間違っている
事実27: この熊本時代は感得するということはない

仮説: その日本画はアイロン台だ
1. 仮定1: 以下のように仮定する。その日本画は恐ろしい
2. 仮定1と事実8から、推論1: "その日本画は恐ろしい一方で遠州灘でない"が導かれる
3. 推論1と事実16から、推論2: "その日本画は想定しない"が導かれる
4. 推論2と事実24から、推論3: "あの腕部は人間らしいしその上最近店だ"が導かれる
5. 推論3から、推論4: "あの腕部は最近店である"が導かれる
6. 事実9と事実13から、推論5: "あの腕部は最近店でない"が導かれる
7. 推論4と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "その日本画は恐ろしくない"が導かれる
9. 事実27と事実25から、推論8: "その日本画は感得する"が導かれる
10. 事実7から、推論9: "その日本画が感得するとすると記念物でない"が導かれる
11. 推論8と推論9から、推論10: "その日本画は記念物であるということはない"が導かれる
12. 推論7と推論10から、推論11: "その日本画は恐ろしくないし記念物でない"が導かれる
13. 事実21から、推論12: "仮にその日本画は恐ろしくなくてしかも記念物でないならアイロン台だ"が導かれる
14. 推論11と推論12から、仮説が導かれる

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