その御塚は評価・判断する
fact1: 仮にあの茶房が読み辛いとするとそれは約三百人である fact2: あのレンタサイクルは猛り狂うということはない fact3: 「もしあの双は重いとすると「あの双は約三百人でない」ということは成り立つ」ということは間違っていない fact4: 仮にその御塚が評価・判断するならそれは抱き返す fact5: もしある物は幼しないなら「それは抱き返すし脱脂綿である」ということは誤りだ fact6: 「とあるものは抱き返すしそれは脱脂綿である」ということは成り立たないとしたらそれは評価・判断するということはない fact7: もしもあのレンタサイクルは飛ばし過ぎるなら「その御塚は前々日でなくてかつ系統解剖でない」ということは真実でない fact8: もし仮にあの茶房が抱き返すならそれは約三百人でない fact9: あの茶房は抱き返す fact10: もし「あのレンタサイクルは猛り狂わない」ということは正しいとしたらそれは煮やすしＳ市新家屋だ fact11: あの茶房が読み辛くないとしたらあの奇形は射映である fact12: その御塚は抱き返す fact13: もし「評価・判断しない」物があるとすればあの茶房は読み辛くないかまたはそれは射映でないか両方である fact14: もし仮にあの奇形が射映であるならばその御塚は評価・判断する fact15: それは脱脂綿であるし前々日であるという物はない fact16: あの機構改革は抱き返さない fact17: もし仮に「その御塚は前々日であるということはなくて加えてそれは系統解剖でない」ということは偽であるとすればあの奇形は幼しない fact18: あのレンタサイクルが脱脂綿でないとすればそれは抱き返さないが射映だ fact19: あの展開中は抱き返す fact20: もし仮に「あの雑貨店は脱脂綿でそれに前々日である」ということは成り立たないとしたらあのレンタサイクルは脱脂綿でない fact21: Ｓ市新家屋は飛ばし過ぎる
void -> assump1: 以下のように仮定する。あの茶房は読み辛い; fact1 & assump1 -> int1: あの茶房は約三百人だ; fact8 & fact9 -> int2: あの茶房は約三百人でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの茶房は読み辛くない; int4 & fact11 -> int5: あの奇形は射映だ; int5 & fact14 -> hypothesis;
この確認済みは約三百人でない
fact22 -> int6: 「あの奇形は抱き返すしまた脱脂綿だ」ということは本当であるということはないとすると評価・判断しない; fact24 -> int7: 仮にあの奇形は幼しないなら「それは抱き返すしかつ脱脂綿だ」ということは成り立つということはない; fact27 -> int8: もしもあのレンタサイクルはＳ市新家屋であるとすれば「それは飛ばし過ぎる」ということは成り立つ; fact23 & fact26 -> int9: あのレンタサイクルは煮やすしＳ市新家屋だ; int9 -> int10: あのレンタサイクルはＳ市新家屋だ; int8 & int10 -> int11: 「あのレンタサイクルは飛ばし過ぎる」ということは真実である; fact28 & int11 -> int12: 「その御塚は前々日でなくて系統解剖でない」ということは誤りだ; fact25 & int12 -> int13: あの奇形は幼しない; int7 & int13 -> int14: 「あの奇形は抱き返すしさらにそれは脱脂綿である」ということは偽である; int6 & int14 -> int15: あの奇形は評価・判断しない; int15 -> int16: 何らかのものは評価・判断しない; int16 & fact29 -> int17: あの茶房は読み辛くないかもしくは射映でないかどちらもだ;
$facts$ = fact1: 仮にあの茶房が読み辛いとするとそれは約三百人である fact2: あのレンタサイクルは猛り狂うということはない fact3: 「もしあの双は重いとすると「あの双は約三百人でない」ということは成り立つ」ということは間違っていない fact4: 仮にその御塚が評価・判断するならそれは抱き返す fact5: もしある物は幼しないなら「それは抱き返すし脱脂綿である」ということは誤りだ fact6: 「とあるものは抱き返すしそれは脱脂綿である」ということは成り立たないとしたらそれは評価・判断するということはない fact7: もしもあのレンタサイクルは飛ばし過ぎるなら「その御塚は前々日でなくてかつ系統解剖でない」ということは真実でない fact8: もし仮にあの茶房が抱き返すならそれは約三百人でない fact9: あの茶房は抱き返す fact10: もし「あのレンタサイクルは猛り狂わない」ということは正しいとしたらそれは煮やすしＳ市新家屋だ fact11: あの茶房が読み辛くないとしたらあの奇形は射映である fact12: その御塚は抱き返す fact13: もし「評価・判断しない」物があるとすればあの茶房は読み辛くないかまたはそれは射映でないか両方である fact14: もし仮にあの奇形が射映であるならばその御塚は評価・判断する fact15: それは脱脂綿であるし前々日であるという物はない fact16: あの機構改革は抱き返さない fact17: もし仮に「その御塚は前々日であるということはなくて加えてそれは系統解剖でない」ということは偽であるとすればあの奇形は幼しない fact18: あのレンタサイクルが脱脂綿でないとすればそれは抱き返さないが射映だ fact19: あの展開中は抱き返す fact20: もし仮に「あの雑貨店は脱脂綿でそれに前々日である」ということは成り立たないとしたらあのレンタサイクルは脱脂綿でない fact21: Ｓ市新家屋は飛ばし過ぎる ; $hypothesis$ = その御塚は評価・判断する ; $proof$ = 
void -> assump1: 以下のように仮定する。あの茶房は読み辛い; fact1 & assump1 -> int1: あの茶房は約三百人だ; fact8 & fact9 -> int2: あの茶房は約三百人でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの茶房は読み辛くない; int4 & fact11 -> int5: あの奇形は射映だ; int5 & fact14 -> hypothesis; __PROVED__
事実1: 仮にあの茶房が読み辛いとするとそれは約三百人である
事実2: あのレンタサイクルは猛り狂うということはない
事実3: 「もしあの双は重いとすると「あの双は約三百人でない」ということは成り立つ」ということは間違っていない
事実4: 仮にその御塚が評価・判断するならそれは抱き返す
事実5: もしある物は幼しないなら「それは抱き返すし脱脂綿である」ということは誤りだ
事実6: 「とあるものは抱き返すしそれは脱脂綿である」ということは成り立たないとしたらそれは評価・判断するということはない
事実7: もしもあのレンタサイクルは飛ばし過ぎるなら「その御塚は前々日でなくてかつ系統解剖でない」ということは真実でない
事実8: もし仮にあの茶房が抱き返すならそれは約三百人でない
事実9: あの茶房は抱き返す
事実10: もし「あのレンタサイクルは猛り狂わない」ということは正しいとしたらそれは煮やすしＳ市新家屋だ
事実11: あの茶房が読み辛くないとしたらあの奇形は射映である
事実12: その御塚は抱き返す
事実13: もし「評価・判断しない」物があるとすればあの茶房は読み辛くないかまたはそれは射映でないか両方である
事実14: もし仮にあの奇形が射映であるならばその御塚は評価・判断する
事実15: それは脱脂綿であるし前々日であるという物はない
事実16: あの機構改革は抱き返さない
事実17: もし仮に「その御塚は前々日であるということはなくて加えてそれは系統解剖でない」ということは偽であるとすればあの奇形は幼しない
事実18: あのレンタサイクルが脱脂綿でないとすればそれは抱き返さないが射映だ
事実19: あの展開中は抱き返す
事実20: もし仮に「あの雑貨店は脱脂綿でそれに前々日である」ということは成り立たないとしたらあのレンタサイクルは脱脂綿でない
事実21: Ｓ市新家屋は飛ばし過ぎる

仮説: その御塚は評価・判断する
1. 仮定1: 以下のように仮定する。あの茶房は読み辛い
2. 事実1と仮定1から、推論1: "あの茶房は約三百人だ"が導かれる
3. 事実8と事実9から、推論2: "あの茶房は約三百人でない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの茶房は読み辛くない"が導かれる
6. 推論4と事実11から、推論5: "あの奇形は射映だ"が導かれる
7. 推論5と事実14から、仮説が導かれる

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