あの十アール当たりは想定以上だ
fact1: もし仮にこの血液脳関門が横滑りするということはないとしたらあの十アール当たりは職人達である fact2: この栽培管理は職人達だということはない fact3: もしこの血液脳関門がランク付けしないかもしくはそれは具足しないかもしくは両方だとしたらそれは横滑りしない fact4: もし仮に何らかの物が横滑りするとすればそれは具足する fact5: 仮に「この血液脳関門は広がり難くない」ということは本当だとしたらランク付けしない fact6: もしもあの十アール当たりは想定以上であるならランク付けしない fact7: もしもあの十アール当たりは職人達であるとしたら想定以上だ fact8: もしあの十アール当たりがランク付けするかあるいは広がり難くないかあるいは両方だとすればこの血液脳関門は余儀無くない fact9: 「「職人達で囁き返す」ということは誤りである」ものはある fact10: 「この血液脳関門は具足する一方でそれは職人達でない」ということは誤っている fact11: もし「具足する」物があるとするとあの十アール当たりは広がり難くない fact12: 「もし仮にこの血液脳関門が想定以上でないけれど広がり難いとすればあの十アール当たりは想定以上でない」ということは事実である fact13: もし仮にそのレモンが囁き返すとすれば職人達だ fact14: もしそのレモンが職人達でないとしたらこの血液脳関門は横滑りするしそれは具足する fact15: 仮に「この血液脳関門は御代わりする一方で余儀無くない」ということは偽だとすればそれは広がり難くない fact16: そのレモンは歌い始めない fact17: もし仮にとある物は職人達であるとしたらそれは横滑りする fact18: もしそのレモンが歌い始めないならば想定以上であるかそれは囁き返すかどちらもである fact19: 「この血液脳関門は御代わりするがしかしそれは余儀無くない」ということは事実と異なる fact20: この血液脳関門は値下げしない fact21: 想定以上は職人達である fact22: 仮にこの血液脳関門がランク付けするということはないならあの十アール当たりは御代わりする
fact15 & fact19 -> int1: この血液脳関門は広がり難くない; int1 & fact5 -> int2: この血液脳関門はランク付けしない; int2 -> int3: この血液脳関門はランク付けするということはないかもしくは具足しないかあるいは両方ともだ; int3 & fact3 -> int4: 「この血液脳関門は横滑りしない」ということは正しい; int4 & fact1 -> int5: 「あの十アール当たりは職人達である」ということは本当である; int5 & fact7 -> hypothesis;
あの御医者さんは余儀無くないかあるいは手酷くないかまたは両方ともだ
fact30 -> int6: もし仮にそのレモンが横滑りするならそれは具足する; fact24 -> int7: 「もし仮にそのレモンが職人達だとすればそのレモンは横滑りする」ということは成り立つ; fact28 & fact27 -> int8: そのレモンは想定以上であるかまたは囁き返すか両方である; fact29 -> int9: そのレモンが想定以上だとしたら職人達である; int8 & int9 & fact23 -> int10: そのレモンは職人達である; int7 & int10 -> int11: 「そのレモンは横滑りする」ということは事実だ; int6 & int11 -> int12: そのレモンは具足する; int12 -> int13: 「具足する」物はある; int13 & fact26 -> int14: あの十アール当たりは広がり難くない; int14 -> int15: あの十アール当たりはランク付けするかまたはそれは広がり難くない; fact25 & int15 -> int16: この血液脳関門は余儀無いということはない; int16 -> int17: 「「余儀無くない」ということは誤りであるということはない」ものはある;
$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$ = 
fact15 & fact19 -> int1: この血液脳関門は広がり難くない; int1 & fact5 -> int2: この血液脳関門はランク付けしない; int2 -> int3: この血液脳関門はランク付けするということはないかもしくは具足しないかあるいは両方ともだ; int3 & fact3 -> int4: 「この血液脳関門は横滑りしない」ということは正しい; int4 & fact1 -> int5: 「あの十アール当たりは職人達である」ということは本当である; int5 & fact7 -> 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. 事実15と事実19から、推論1: "この血液脳関門は広がり難くない"が導かれる
2. 推論1と事実5から、推論2: "この血液脳関門はランク付けしない"が導かれる
3. 推論2から、推論3: "この血液脳関門はランク付けするということはないかもしくは具足しないかあるいは両方ともだ"が導かれる
4. 推論3と事実3から、推論4: "「この血液脳関門は横滑りしない」ということは正しい"が導かれる
5. 推論4と事実1から、推論5: "「あの十アール当たりは職人達である」ということは本当である"が導かれる
6. 推論5と事実7から、仮説が導かれる

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