「あの独立粒子モデルは五年未満でない」ということは成り立つ
fact1: 仮にあの独立粒子モデルが忘れ難いならばそれは防風垣である fact2: 仮に「とあるものは五年未満であるということはないけど納得し易い」ということは確かでないとするとそれは五年未満だ fact3: もしその十四：零零津田ホールが染み込み易いし加えて聚落であるならばその半分は聚落であるということはない fact4: あの筆記具は入営しない fact5: もし「「五年未満だしかつ忘れ難い」ということは成り立たない」ものがあるならそのＸ線入射窓は五年未満でない fact6: 「その半分は聚落でない」ということは真実であるとするとそれは赤っぽいけど鳴き立てない fact7: もし仮にその半分が赤っぽいがしかし鳴き立てるということはないならばその一万八千人は赤っぽい fact8: その一万八千人は赤っぽい fact9: もし仮にあるものが入営しない一方で五年未満であるとしたらそれは納得し易くない fact10: 「赤っぽいものは防風垣だ」ということは確かである fact11: 仮になんらかのものは入営するとすれば「「それは五年未満でないがしかし納得し易い」ということは事実だ」ということは成り立つということはない fact12: あの独立粒子モデルは忘れ難い fact13: もしもなにかは入営するなら「それは五年未満だ」ということは確かである fact14: 仮になにがしかの物が均質であるということはないとすれば染み込み易くてそれは聚落だ fact15: その一万八千人が防風垣だ一方で入営しないとすればあの独立粒子モデルは入営する fact16: あの独立粒子モデルは入営しない fact17: もし仮になんらかの物が防風垣ならばそれは納得し易い fact18: 「赤っぽいものは忘れ難い」ということは本当だ fact19: 「この舌尖は入営しない」ということは成り立つ
void -> assump1: 以下のように仮定する。「あの独立粒子モデルは五年未満だ」ということは成り立つ; fact16 & assump1 -> int1: あの独立粒子モデルは入営しないけれど五年未満である; fact9 -> int2: あの独立粒子モデルは入営しないけれど五年未満であるとすると「納得し易くない」ということは真実だ; int1 & int2 -> int3: あの独立粒子モデルは納得し易くない; fact12 & fact1 -> int4: あの独立粒子モデルは防風垣である; fact17 -> int5: あの独立粒子モデルが防風垣ならそれは納得し易い; int4 & int5 -> int6: 「あの独立粒子モデルは納得し易い」ということは真実だ; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis;
あの独立粒子モデルは五年未満である
fact24 -> int8: 仮に「あの独立粒子モデルは五年未満であるということはない一方で納得し易い」ということは嘘であるなら五年未満である; fact27 -> int9: もし仮にあの独立粒子モデルは入営するとすれば「それは五年未満であるということはないがしかし納得し易い」ということは間違っている; fact26 -> int10: もし仮にその一万八千人が赤っぽいならば忘れ難い; fact20 -> int11: 「仮にその十四：零零津田ホールが均質でないとするとその十四：零零津田ホールは染み込み易いしさらに聚落だ」ということは間違っていない;
$facts$ = fact1: 仮にあの独立粒子モデルが忘れ難いならばそれは防風垣である fact2: 仮に「とあるものは五年未満であるということはないけど納得し易い」ということは確かでないとするとそれは五年未満だ fact3: もしその十四：零零津田ホールが染み込み易いし加えて聚落であるならばその半分は聚落であるということはない fact4: あの筆記具は入営しない fact5: もし「「五年未満だしかつ忘れ難い」ということは成り立たない」ものがあるならそのＸ線入射窓は五年未満でない fact6: 「その半分は聚落でない」ということは真実であるとするとそれは赤っぽいけど鳴き立てない fact7: もし仮にその半分が赤っぽいがしかし鳴き立てるということはないならばその一万八千人は赤っぽい fact8: その一万八千人は赤っぽい fact9: もし仮にあるものが入営しない一方で五年未満であるとしたらそれは納得し易くない fact10: 「赤っぽいものは防風垣だ」ということは確かである fact11: 仮になんらかのものは入営するとすれば「「それは五年未満でないがしかし納得し易い」ということは事実だ」ということは成り立つということはない fact12: あの独立粒子モデルは忘れ難い fact13: もしもなにかは入営するなら「それは五年未満だ」ということは確かである fact14: 仮になにがしかの物が均質であるということはないとすれば染み込み易くてそれは聚落だ fact15: その一万八千人が防風垣だ一方で入営しないとすればあの独立粒子モデルは入営する fact16: あの独立粒子モデルは入営しない fact17: もし仮になんらかの物が防風垣ならばそれは納得し易い fact18: 「赤っぽいものは忘れ難い」ということは本当だ fact19: 「この舌尖は入営しない」ということは成り立つ ; $hypothesis$ = 「あの独立粒子モデルは五年未満でない」ということは成り立つ ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの独立粒子モデルは五年未満だ」ということは成り立つ; fact16 & assump1 -> int1: あの独立粒子モデルは入営しないけれど五年未満である; fact9 -> int2: あの独立粒子モデルは入営しないけれど五年未満であるとすると「納得し易くない」ということは真実だ; int1 & int2 -> int3: あの独立粒子モデルは納得し易くない; fact12 & fact1 -> int4: あの独立粒子モデルは防風垣である; fact17 -> int5: あの独立粒子モデルが防風垣ならそれは納得し易い; int4 & int5 -> int6: 「あの独立粒子モデルは納得し易い」ということは真実だ; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis; __PROVED__
事実1: 仮にあの独立粒子モデルが忘れ難いならばそれは防風垣である
事実2: 仮に「とあるものは五年未満であるということはないけど納得し易い」ということは確かでないとするとそれは五年未満だ
事実3: もしその十四：零零津田ホールが染み込み易いし加えて聚落であるならばその半分は聚落であるということはない
事実4: あの筆記具は入営しない
事実5: もし「「五年未満だしかつ忘れ難い」ということは成り立たない」ものがあるならそのＸ線入射窓は五年未満でない
事実6: 「その半分は聚落でない」ということは真実であるとするとそれは赤っぽいけど鳴き立てない
事実7: もし仮にその半分が赤っぽいがしかし鳴き立てるということはないならばその一万八千人は赤っぽい
事実8: その一万八千人は赤っぽい
事実9: もし仮にあるものが入営しない一方で五年未満であるとしたらそれは納得し易くない
事実10: 「赤っぽいものは防風垣だ」ということは確かである
事実11: 仮になんらかのものは入営するとすれば「「それは五年未満でないがしかし納得し易い」ということは事実だ」ということは成り立つということはない
事実12: あの独立粒子モデルは忘れ難い
事実13: もしもなにかは入営するなら「それは五年未満だ」ということは確かである
事実14: 仮になにがしかの物が均質であるということはないとすれば染み込み易くてそれは聚落だ
事実15: その一万八千人が防風垣だ一方で入営しないとすればあの独立粒子モデルは入営する
事実16: あの独立粒子モデルは入営しない
事実17: もし仮になんらかの物が防風垣ならばそれは納得し易い
事実18: 「赤っぽいものは忘れ難い」ということは本当だ
事実19: 「この舌尖は入営しない」ということは成り立つ

仮説: 「あの独立粒子モデルは五年未満でない」ということは成り立つ
1. 仮定1: 以下のように仮定する。「あの独立粒子モデルは五年未満だ」ということは成り立つ
2. 事実16と仮定1から、推論1: "あの独立粒子モデルは入営しないけれど五年未満である"が導かれる
3. 事実9から、推論2: "あの独立粒子モデルは入営しないけれど五年未満であるとすると「納得し易くない」ということは真実だ"が導かれる
4. 推論1と推論2から、推論3: "あの独立粒子モデルは納得し易くない"が導かれる
5. 事実12と事実1から、推論4: "あの独立粒子モデルは防風垣である"が導かれる
6. 事実17から、推論5: "あの独立粒子モデルが防風垣ならそれは納得し易い"が導かれる
7. 推論4と推論5から、推論6: "「あの独立粒子モデルは納得し易い」ということは真実だ"が導かれる
8. 推論3と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、仮説が導かれる

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