あの土地区画整理法は岩根でないしその上それは入れ難いということはない
fact1: この舞は入れ難くないかもしくはまあるかないかまたはどちらもだ fact2: あの仕入れ等はまあるくない fact3: もし仮にあの仕入れ等はタウンハウスでないとしたら「その体長は入れ難くない」ということは成り立つ fact4: 「その体長は淀まないけど顕在化し易い」ということは成り立つということはないならばあの仕入れ等は顕在化し易くない fact5: もしもこの舞はまあるくないとするとあの土地区画整理法はまあるくない fact6: もしもこの舞がまあるいとしたらあの仕入れ等は狭苦しいということはないかもしくはそれはタウンハウスでないかまたは両方ともだ fact7: もし仮にあの仕入れ等はまあるいならば「この舞はタウンハウスでないか狭苦しくないかまたは両方ともだ」ということは真実だ fact8: もし仮に「この舞はまあるいということはない」ということは成り立つとするとあの仕入れ等はまあるくない fact9: 「仮に「この舞は岩根でない」ということは成り立つとするとあの土地区画整理法はまあるくない」ということは真実だ fact10: あの物質中は呼び付けるということはないしそれは冷め難いということはない fact11: あの土地区画整理法は狭苦しい fact12: もし仮にその体長が入れ難くないならあの土地区画整理法は岩根でないし加えて入れ難くない fact13: もし仮にあの仕入れ等が狭苦しいということはないならその体長は入れ難くない fact14: この舞はタウンハウスでない fact15: この舞はまあるい fact16: あの仕入れ等は狭苦しいということはないかあるいは入れ難くないかあるいは両方だ
fact6 & fact15 -> int1: あの仕入れ等は狭苦しくないかもしくはタウンハウスでないかもしくは両方ともである; int1 & fact13 & fact3 -> int2: その体長は入れ難くない; int2 & fact12 -> hypothesis;
fact6 & fact15 -> int1: (¬{AA}{b} v ¬{AB}{b}); int1 & fact13 & fact3 -> int2: ¬{B}{c}; int2 & fact12 -> hypothesis;
「あの土地区画整理法は岩根だということはなくて入れ難くない」ということは成り立つということはない
$facts$ = fact1: この舞は入れ難くないかもしくはまあるかないかまたはどちらもだ fact2: あの仕入れ等はまあるくない fact3: もし仮にあの仕入れ等はタウンハウスでないとしたら「その体長は入れ難くない」ということは成り立つ fact4: 「その体長は淀まないけど顕在化し易い」ということは成り立つということはないならばあの仕入れ等は顕在化し易くない fact5: もしもこの舞はまあるくないとするとあの土地区画整理法はまあるくない fact6: もしもこの舞がまあるいとしたらあの仕入れ等は狭苦しいということはないかもしくはそれはタウンハウスでないかまたは両方ともだ fact7: もし仮にあの仕入れ等はまあるいならば「この舞はタウンハウスでないか狭苦しくないかまたは両方ともだ」ということは真実だ fact8: もし仮に「この舞はまあるいということはない」ということは成り立つとするとあの仕入れ等はまあるくない fact9: 「仮に「この舞は岩根でない」ということは成り立つとするとあの土地区画整理法はまあるくない」ということは真実だ fact10: あの物質中は呼び付けるということはないしそれは冷め難いということはない fact11: あの土地区画整理法は狭苦しい fact12: もし仮にその体長が入れ難くないならあの土地区画整理法は岩根でないし加えて入れ難くない fact13: もし仮にあの仕入れ等が狭苦しいということはないならその体長は入れ難くない fact14: この舞はタウンハウスでない fact15: この舞はまあるい fact16: あの仕入れ等は狭苦しいということはないかあるいは入れ難くないかあるいは両方だ ; $hypothesis$ = あの土地区画整理法は岩根でないしその上それは入れ難いということはない ; $proof$ = 
fact6 & fact15 -> int1: あの仕入れ等は狭苦しくないかもしくはタウンハウスでないかもしくは両方ともである; int1 & fact13 & fact3 -> int2: その体長は入れ難くない; int2 & fact12 -> hypothesis; __PROVED__
事実1: この舞は入れ難くないかもしくはまあるかないかまたはどちらもだ
事実2: あの仕入れ等はまあるくない
事実3: もし仮にあの仕入れ等はタウンハウスでないとしたら「その体長は入れ難くない」ということは成り立つ
事実4: 「その体長は淀まないけど顕在化し易い」ということは成り立つということはないならばあの仕入れ等は顕在化し易くない
事実5: もしもこの舞はまあるくないとするとあの土地区画整理法はまあるくない
事実6: もしもこの舞がまあるいとしたらあの仕入れ等は狭苦しいということはないかもしくはそれはタウンハウスでないかまたは両方ともだ
事実7: もし仮にあの仕入れ等はまあるいならば「この舞はタウンハウスでないか狭苦しくないかまたは両方ともだ」ということは真実だ
事実8: もし仮に「この舞はまあるいということはない」ということは成り立つとするとあの仕入れ等はまあるくない
事実9: 「仮に「この舞は岩根でない」ということは成り立つとするとあの土地区画整理法はまあるくない」ということは真実だ
事実10: あの物質中は呼び付けるということはないしそれは冷め難いということはない
事実11: あの土地区画整理法は狭苦しい
事実12: もし仮にその体長が入れ難くないならあの土地区画整理法は岩根でないし加えて入れ難くない
事実13: もし仮にあの仕入れ等が狭苦しいということはないならその体長は入れ難くない
事実14: この舞はタウンハウスでない
事実15: この舞はまあるい
事実16: あの仕入れ等は狭苦しいということはないかあるいは入れ難くないかあるいは両方だ

仮説: あの土地区画整理法は岩根でないしその上それは入れ難いということはない
1. 事実6と事実15から、推論1: "あの仕入れ等は狭苦しくないかもしくはタウンハウスでないかもしくは両方ともである"が導かれる
2. 推論1と事実13と事実3から、推論2: "その体長は入れ難くない"が導かれる
3. 推論2と事実12から、仮説が導かれる

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