あの住民台帳は打ち易いしその上打擲だ
fact1: もし仮にあの住民台帳は友生でないかあるいは打ち易いか両方ともだとしたら打ち易い fact2: もし仮に何かは友生でないとすれば「恐れ多くなくてそれは四項参照でない」ということは成り立つ fact3: その腹部腫瘤は四項参照でない fact4: もしも「その狼狽気味は二門でないしおまけに歩き難いということはない」ということは成り立たないとしたらあの住民台帳は打擲だ fact5: 「その腹部腫瘤は慈悲深いということはないしそれは移り難くない」ということは成り立たない fact6: もしもその腹部腫瘤が恐れ多いなら伝え難い fact7: もしもあの住民台帳が伝え難くないけれど打ち易いならその腹部腫瘤は歩き難い fact8: もしなんらかの物が類上皮細胞肉芽腫でないかあるいはそれは恐れ多いかあるいはどちらもであるとしたら恐れ多い fact9: あの住民台帳は友生でないかもしくは打ち易いかまたは両方である fact10: もしもなにかは恐れ多いということはないとすると伝え難いということはない fact11: 仮にその狼狽気味は伝え難くないなら「あの住民台帳は打ち易くてさらに打擲だ」ということは成り立たない fact12: もし仮にその狼狽気味が二門だということはないしさらに歩き難くないならその腹部腫瘤は恐れ多い fact13: 「その狼狽気味は歩き難いけどそれは友生でない」ということは間違っている fact14: 仮に「その腹部腫瘤は慈悲深くないし移り難くない」ということは本当でないとすると友生である fact15: 仮にその腹部腫瘤は伝え難いとしたら「それは四項参照である」ということは事実である fact16: もし仮にあの収支予測が遣らかすとすると友生である fact17: もし仮にその腹部腫瘤が友生であるし立件出来ればその狼狽気味は友生でない fact18: その腹部腫瘤は友生である
void -> assump1: 以下のように仮定する。その狼狽気味は二門でないし歩き難くない; fact12 & assump1 -> int1: その腹部腫瘤は恐れ多い; int1 & fact6 -> int2: その腹部腫瘤は伝え難い; int2 & fact15 -> int3: その腹部腫瘤は四項参照だ; int3 & fact3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「その狼狽気味は二門でないしかつ歩き難くない」ということは間違っている; int5 & fact4 -> int6: あの住民台帳は打擲である; fact9 & fact1 -> int7: あの住民台帳は打ち易い; int6 & int7 -> hypothesis;
「あの住民台帳は打ち易くてさらに打擲である」ということは成り立たない
fact20 -> int8: 仮にその狼狽気味が恐れ多いということはないならばそれは伝え難くない; fact23 -> int9: もしもその狼狽気味は友生でないならばそれは恐れ多くなくてまた四項参照でない; fact21 & fact24 -> int10: その腹部腫瘤は友生だ;
$facts$ = fact1: もし仮にあの住民台帳は友生でないかあるいは打ち易いか両方ともだとしたら打ち易い fact2: もし仮に何かは友生でないとすれば「恐れ多くなくてそれは四項参照でない」ということは成り立つ fact3: その腹部腫瘤は四項参照でない fact4: もしも「その狼狽気味は二門でないしおまけに歩き難いということはない」ということは成り立たないとしたらあの住民台帳は打擲だ fact5: 「その腹部腫瘤は慈悲深いということはないしそれは移り難くない」ということは成り立たない fact6: もしもその腹部腫瘤が恐れ多いなら伝え難い fact7: もしもあの住民台帳が伝え難くないけれど打ち易いならその腹部腫瘤は歩き難い fact8: もしなんらかの物が類上皮細胞肉芽腫でないかあるいはそれは恐れ多いかあるいはどちらもであるとしたら恐れ多い fact9: あの住民台帳は友生でないかもしくは打ち易いかまたは両方である fact10: もしもなにかは恐れ多いということはないとすると伝え難いということはない fact11: 仮にその狼狽気味は伝え難くないなら「あの住民台帳は打ち易くてさらに打擲だ」ということは成り立たない fact12: もし仮にその狼狽気味が二門だということはないしさらに歩き難くないならその腹部腫瘤は恐れ多い fact13: 「その狼狽気味は歩き難いけどそれは友生でない」ということは間違っている fact14: 仮に「その腹部腫瘤は慈悲深くないし移り難くない」ということは本当でないとすると友生である fact15: 仮にその腹部腫瘤は伝え難いとしたら「それは四項参照である」ということは事実である fact16: もし仮にあの収支予測が遣らかすとすると友生である fact17: もし仮にその腹部腫瘤が友生であるし立件出来ればその狼狽気味は友生でない fact18: その腹部腫瘤は友生である ; $hypothesis$ = あの住民台帳は打ち易いしその上打擲だ ; $proof$ = 
void -> assump1: 以下のように仮定する。その狼狽気味は二門でないし歩き難くない; fact12 & assump1 -> int1: その腹部腫瘤は恐れ多い; int1 & fact6 -> int2: その腹部腫瘤は伝え難い; int2 & fact15 -> int3: その腹部腫瘤は四項参照だ; int3 & fact3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「その狼狽気味は二門でないしかつ歩き難くない」ということは間違っている; int5 & fact4 -> int6: あの住民台帳は打擲である; fact9 & fact1 -> int7: あの住民台帳は打ち易い; int6 & int7 -> hypothesis; __PROVED__
事実1: もし仮にあの住民台帳は友生でないかあるいは打ち易いか両方ともだとしたら打ち易い
事実2: もし仮に何かは友生でないとすれば「恐れ多くなくてそれは四項参照でない」ということは成り立つ
事実3: その腹部腫瘤は四項参照でない
事実4: もしも「その狼狽気味は二門でないしおまけに歩き難いということはない」ということは成り立たないとしたらあの住民台帳は打擲だ
事実5: 「その腹部腫瘤は慈悲深いということはないしそれは移り難くない」ということは成り立たない
事実6: もしもその腹部腫瘤が恐れ多いなら伝え難い
事実7: もしもあの住民台帳が伝え難くないけれど打ち易いならその腹部腫瘤は歩き難い
事実8: もしなんらかの物が類上皮細胞肉芽腫でないかあるいはそれは恐れ多いかあるいはどちらもであるとしたら恐れ多い
事実9: あの住民台帳は友生でないかもしくは打ち易いかまたは両方である
事実10: もしもなにかは恐れ多いということはないとすると伝え難いということはない
事実11: 仮にその狼狽気味は伝え難くないなら「あの住民台帳は打ち易くてさらに打擲だ」ということは成り立たない
事実12: もし仮にその狼狽気味が二門だということはないしさらに歩き難くないならその腹部腫瘤は恐れ多い
事実13: 「その狼狽気味は歩き難いけどそれは友生でない」ということは間違っている
事実14: 仮に「その腹部腫瘤は慈悲深くないし移り難くない」ということは本当でないとすると友生である
事実15: 仮にその腹部腫瘤は伝え難いとしたら「それは四項参照である」ということは事実である
事実16: もし仮にあの収支予測が遣らかすとすると友生である
事実17: もし仮にその腹部腫瘤が友生であるし立件出来ればその狼狽気味は友生でない
事実18: その腹部腫瘤は友生である

仮説: あの住民台帳は打ち易いしその上打擲だ
1. 仮定1: 以下のように仮定する。その狼狽気味は二門でないし歩き難くない
2. 事実12と仮定1から、推論1: "その腹部腫瘤は恐れ多い"が導かれる
3. 推論1と事実6から、推論2: "その腹部腫瘤は伝え難い"が導かれる
4. 推論2と事実15から、推論3: "その腹部腫瘤は四項参照だ"が導かれる
5. 推論3と事実3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "「その狼狽気味は二門でないしかつ歩き難くない」ということは間違っている"が導かれる
7. 推論5と事実4から、推論6: "あの住民台帳は打擲である"が導かれる
8. 事実9と事実1から、推論7: "あの住民台帳は打ち易い"が導かれる
9. 推論6と推論7から、仮説が導かれる

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