もし仮にその精神面が見するならこの委託事業は滑り易い
fact1: その精神面は滑り易いかあるいは特掲するか両方だとすれば「この納税者は見しない」ということは成り立つ fact2: この委託事業は実現し易くないとしたら「「その精神面は煙突周りでない一方で滑り易い」ということは間違いだ」ということは事実だ fact3: もし仮に「あのジレンマは葛藤するし実現し易い」ということは偽であるとするとこの委託事業は実現し易くない fact4: もし仮にこの委託事業は見するとすると「その精神面は滑り易い」ということは成り立つ fact5: もしもあのジレンマはシャッターボタン半押しであるということはなくて似付かわしくらないとすればそれは表わし為さらない fact6: もしもその精神面が特掲するか見するとすればこの納税者は尼寺でない fact7: その特許権は数学者でない fact8: この委託事業は見するということはない fact9: もし仮にこの納税者は見するとすれば「その精神面は特掲しない」ということは確かである fact10: その精神面は見するかもしくは尼寺だ fact11: もしこの納税者が尼寺であるかそれが特掲するかどちらもならばあの精神面は見する fact12: あのシティーは滑り易い fact13: もしもその精神面が滑り易いならばこの委託事業は見する fact14: もしもこの納税者が尼寺であるかまたはそれが特掲するか両方ともであるとすればその精神面は見しない fact15: もし何らかのものは表わし為さらないなら「葛藤するしおまけにそれは実現し易い」ということは間違っている fact16: もし仮にその特許権は数学者でないとすると「あのジレンマはシャッターボタン半押しでなくてしかも似付かわしくらない」ということは正しい fact17: もし仮にこの納税者が尼寺だとしたらその精神面は見しない fact18: 仮に「「尼寺でないかまたは特掲しないかあるいは両方である」ということは成り立たない」ものがあるとすればこのＴ‐ＰＡは鑑賞する fact19: この委託事業は英訳するかそれは及び難いか両方だ fact20: この納税者が特掲しないとすればこの委託事業は滑り易い fact21: 何かは見しないとすれば「尼寺であるということはないかもしくは特掲しないか両方である」ということは間違っている fact22: その精神面が尼寺でないならこの納税者は見する
void -> assump1: 以下のように仮定する。この納税者は特掲する; assump1 -> int1: この納税者は尼寺であるかまたは特掲する; int1 & fact14 -> int2: その精神面は見しない; void -> assump2: 以下のように仮定する。その精神面は見する; int2 & assump2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この納税者は特掲しない; int4 & fact20 -> int5: この委託事業は滑り易い; [assump2] & int5 -> hypothesis;
このＴ‐ＰＡは切り捌くかそれは鑑賞する
fact25 -> int6: もし仮にこの納税者は見しないとすると「それは尼寺でないかあるいは特掲するということはないかあるいは両方である」ということは偽だ; fact26 -> int7: あのジレンマは表わし為さらないならば「葛藤するしまたそれは実現し易い」ということは成り立たない; fact30 & fact27 -> int8: あのジレンマはシャッターボタン半押しであるということはなくてそれは似付かわしくらない; fact23 & int8 -> int9: 「あのジレンマは表わし為さらない」ということは確かだ; int7 & int9 -> int10: 「あのジレンマは葛藤するしさらに実現し易い」ということは成り立たない; fact29 & int10 -> int11: 「この委託事業は実現し易くない」ということは真実である; fact24 & int11 -> int12: 「その精神面は煙突周りであるということはない一方で滑り易い」ということは事実と異なる; int12 -> int13: 「「煙突周りでないししかも滑り易い」ということは成り立たない」ものはある;
$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: 以下のように仮定する。この納税者は特掲する; assump1 -> int1: この納税者は尼寺であるかまたは特掲する; int1 & fact14 -> int2: その精神面は見しない; void -> assump2: 以下のように仮定する。その精神面は見する; int2 & assump2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この納税者は特掲しない; int4 & fact20 -> int5: この委託事業は滑り易い; [assump2] & int5 -> 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. 仮定1から、推論1: "この納税者は尼寺であるかまたは特掲する"が導かれる
3. 推論1と事実14から、推論2: "その精神面は見しない"が導かれる
4. 仮定2: 以下のように仮定する。その精神面は見する
5. 推論2と仮定2から、推論3: "これは矛盾である"が導かれる
6. [仮定1]と推論3から、推論4: "この納税者は特掲しない"が導かれる
7. 推論4と事実20から、推論5: "この委託事業は滑り易い"が導かれる
8. [仮定2]と推論5から、仮説が導かれる

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