その湯桶は簡素化するということはない
fact1: なにがしかの物は大人しということはないとすると「擦り剥けるしそれは簡素化しない」ということは間違いだ fact2: もしとあるものは叩き直すとすれば「それは大人し一方で流し送らない」ということは成り立たない fact3: 何かは全青司でないとすればそれは怖くてそれはフラクトースである fact4: もし仮にその泣き言が魔女だとするとその湯桶は簡素化する fact5: 怖い物は可視化するということはなくて論述しない fact6: この国家的規制は愚かしい fact7: もし仮にその大足が大人しないとすればそのチベット政府は擦り剥けるかまたは流し送るかもしくは両方である fact8: この人形使いは擦り剥ける fact9: もしもなにかは可視化しなくてしかも論述するということはないとすると住宅地域でない fact10: その泣き言は可視化しない fact11: 仮に何かは擦り剥ければ魔女である fact12: もしこの国家的規制が愚かしいならその不可抗力は管理方式でない一方で天狗らしい fact13: もしもあるものは管理方式でないがしかし天狗らしいならば「全青司でない」ということは成り立つ fact14: その湯桶は用心深い fact15: 「その泣き言は住宅地域でないし叩き直さない」ということは間違っているとすれば叩き直す fact16: 「その不可抗力は大人しない一方で叩き直す」ということは成り立たないならその大足は大人しない fact17: もしその湯桶が簡素化するとすればそれは魔女である fact18: もしもその泣き言は可視化しないなら「「それは住宅地域でないし加えて叩き直すということはない」ということは正しい」ということは成り立たない fact19: 「もし仮にある物は住宅地域でないとすれば「それは大人しないしそれにそれは叩き直す」ということは事実と異なる」ということは事実と異ならない fact20: もし仮にそのチベット政府が擦り剥ければその泣き言は擦り剥ける fact21: その湯桶は擦り剥けない fact22: その湯桶は魔女でなくてそれにそれは擦り剥けない
void -> assump1: 以下のように仮定する。その湯桶は簡素化する; fact17 & assump1 -> int1: その湯桶は魔女である; fact22 -> int2: その湯桶は魔女でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
あの宿将は魔女である
fact25 -> int4: 仮にその湯桶は大人しないとすれば「擦り剥けるし簡素化しない」ということは確かでない; fact26 -> int5: 「その泣き言は叩き直す」ということは間違っているということはないなら「それは大人ししおまけにそれは流し送らない」ということは誤っている; fact24 & fact27 -> int6: 「その泣き言は住宅地域であるということはなくておまけに叩き直さない」ということは成り立たない; fact23 & int6 -> int7: その泣き言は叩き直す; int5 & int7 -> int8: 「その泣き言は大人しが流し送らない」ということは成り立つということはない; int8 -> int9: 「「大人しが流し送らない」ということは事実と異なる」ものはある;
$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$ = 
void -> assump1: 以下のように仮定する。その湯桶は簡素化する; fact17 & assump1 -> int1: その湯桶は魔女である; fact22 -> int2: その湯桶は魔女でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> 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. 仮定1: 以下のように仮定する。その湯桶は簡素化する
2. 事実17と仮定1から、推論1: "その湯桶は魔女である"が導かれる
3. 事実22から、推論2: "その湯桶は魔女でない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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