この精神活動は無限定だけど所狭くない
fact1: その建設者達が所狭くないとしたらこの精神活動は所狭しということはない fact2: この精神活動は所狭くない fact3: 仮に四十五ＭＭＦはあるとすれば「その建設者達は所狭くない」ということは嘘でない fact4: もし仮に軍人らしいということはないものが休めないならそれは塵だ fact5: もしその建設者達は社会党左派であるとするとそれは匂う fact6: 仮にその建設者達は匂うなら「満たせるし転出しない」ということは誤っている fact7: その建設者達は社会党左派だ fact8: この精神活動は癒し難くないしそれに軍人らしいということはない fact9: なにかは塵であるとすればそれは四十五ＭＭＦである fact10: あの盲目的は四十五ＭＭＦだ fact11: もし仮になにかは四十五ＭＭＦならば「無限定であるがしかし所狭くない」ということは成り立たない fact12: もし「その建設者達は所狭しということはない」ということは確かだとしたらこの精神活動は無限定であるけど所狭くない
fact10 -> int1: 「四十五ＭＭＦな」ものはある; int1 & fact3 -> int2: その建設者達は所狭くない; int2 & fact12 -> hypothesis;
「この精神活動は無限定である一方で所狭くない」ということは嘘だ
fact17 -> int3: もしこの精神活動は四十五ＭＭＦなら「無限定であるがしかし所狭しということはない」ということは誤りだ; fact18 -> int4: もしこの精神活動が塵だとすれば四十五ＭＭＦだ; fact19 -> int5: この精神活動は軍人らしくないしまた休めないならば塵だ; fact16 -> int6: この精神活動は軍人らしくない; fact15 & fact14 -> int7: その建設者達は匂う; fact13 & int7 -> int8: 「その建設者達は満たせるけれど転出しない」ということは嘘である; int8 -> int9: 「「満たせるけど転出するということはない」ということは成り立たない」ものはある;
$facts$ = fact1: その建設者達が所狭くないとしたらこの精神活動は所狭しということはない fact2: この精神活動は所狭くない fact3: 仮に四十五ＭＭＦはあるとすれば「その建設者達は所狭くない」ということは嘘でない fact4: もし仮に軍人らしいということはないものが休めないならそれは塵だ fact5: もしその建設者達は社会党左派であるとするとそれは匂う fact6: 仮にその建設者達は匂うなら「満たせるし転出しない」ということは誤っている fact7: その建設者達は社会党左派だ fact8: この精神活動は癒し難くないしそれに軍人らしいということはない fact9: なにかは塵であるとすればそれは四十五ＭＭＦである fact10: あの盲目的は四十五ＭＭＦだ fact11: もし仮になにかは四十五ＭＭＦならば「無限定であるがしかし所狭くない」ということは成り立たない fact12: もし「その建設者達は所狭しということはない」ということは確かだとしたらこの精神活動は無限定であるけど所狭くない ; $hypothesis$ = この精神活動は無限定だけど所狭くない ; $proof$ = 
fact10 -> int1: 「四十五ＭＭＦな」ものはある; int1 & fact3 -> int2: その建設者達は所狭くない; int2 & fact12 -> hypothesis; __PROVED__
事実1: その建設者達が所狭くないとしたらこの精神活動は所狭しということはない
事実2: この精神活動は所狭くない
事実3: 仮に四十五ＭＭＦはあるとすれば「その建設者達は所狭くない」ということは嘘でない
事実4: もし仮に軍人らしいということはないものが休めないならそれは塵だ
事実5: もしその建設者達は社会党左派であるとするとそれは匂う
事実6: 仮にその建設者達は匂うなら「満たせるし転出しない」ということは誤っている
事実7: その建設者達は社会党左派だ
事実8: この精神活動は癒し難くないしそれに軍人らしいということはない
事実9: なにかは塵であるとすればそれは四十五ＭＭＦである
事実10: あの盲目的は四十五ＭＭＦだ
事実11: もし仮になにかは四十五ＭＭＦならば「無限定であるがしかし所狭くない」ということは成り立たない
事実12: もし「その建設者達は所狭しということはない」ということは確かだとしたらこの精神活動は無限定であるけど所狭くない

仮説: この精神活動は無限定だけど所狭くない
1. 事実10から、推論1: "「四十五ＭＭＦな」ものはある"が導かれる
2. 推論1と事実3から、推論2: "その建設者達は所狭くない"が導かれる
3. 推論2と事実12から、仮説が導かれる

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