この通常渇水は問題演習だということはない
fact1: もし「その目代は描き易くないし伝世しない」ということは事実と異なるとすればそれは描き易い fact2: 「尊し」物はある fact3: もし何かは働き場でないとしたら「描き易いということはないし伝世しない」ということは誤っている fact4: 仮になんらかの物が問題演習ならばあの通常渇水は働き場である fact5: もし仮に「「「パロキセチンでないし働き場だ」ということは真実だ」ということは事実と異なる」物はあるとしたら「その目代は働き場だということはない」ということは正しい fact6: 仮にこの通常渇水が遣り直すし問題演習であるとしたらその目代は描き易くない fact7: 「尊し」ものがあるとするとこの通常渇水は遣り直す fact8: 「「パロキセチンでないし更に働き場である」ということは成り立たない」物はある
fact2 & fact7 -> int1: この通常渇水は遣り直す; void -> assump1: 以下のように仮定する。「この通常渇水は問題演習だ」ということは事実である; int1 & assump1 -> int2: この通常渇水は遣り直すし問題演習だ; int2 & fact6 -> int3: その目代は描き易くない; fact5 & fact8 -> int4: その目代は働き場でない; fact3 -> int5: もしもその目代は働き場でないとすれば「それは描き易いということはなくて伝世しない」ということは嘘だ; int4 & int5 -> int6: 「その目代は描き易くないしその上伝世しない」ということは間違っている; int6 & fact1 -> int7: その目代は描き易い; int3 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis;
$facts$ = fact1: もし「その目代は描き易くないし伝世しない」ということは事実と異なるとすればそれは描き易い fact2: 「尊し」物はある fact3: もし何かは働き場でないとしたら「描き易いということはないし伝世しない」ということは誤っている fact4: 仮になんらかの物が問題演習ならばあの通常渇水は働き場である fact5: もし仮に「「「パロキセチンでないし働き場だ」ということは真実だ」ということは事実と異なる」物はあるとしたら「その目代は働き場だということはない」ということは正しい fact6: 仮にこの通常渇水が遣り直すし問題演習であるとしたらその目代は描き易くない fact7: 「尊し」ものがあるとするとこの通常渇水は遣り直す fact8: 「「パロキセチンでないし更に働き場である」ということは成り立たない」物はある ; $hypothesis$ = この通常渇水は問題演習だということはない ; $proof$ = 
fact2 & fact7 -> int1: この通常渇水は遣り直す; void -> assump1: 以下のように仮定する。「この通常渇水は問題演習だ」ということは事実である; int1 & assump1 -> int2: この通常渇水は遣り直すし問題演習だ; int2 & fact6 -> int3: その目代は描き易くない; fact5 & fact8 -> int4: その目代は働き場でない; fact3 -> int5: もしもその目代は働き場でないとすれば「それは描き易いということはなくて伝世しない」ということは嘘だ; int4 & int5 -> int6: 「その目代は描き易くないしその上伝世しない」ということは間違っている; int6 & fact1 -> int7: その目代は描き易い; int3 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis; __PROVED__
事実1: もし「その目代は描き易くないし伝世しない」ということは事実と異なるとすればそれは描き易い
事実2: 「尊し」物はある
事実3: もし何かは働き場でないとしたら「描き易いということはないし伝世しない」ということは誤っている
事実4: 仮になんらかの物が問題演習ならばあの通常渇水は働き場である
事実5: もし仮に「「「パロキセチンでないし働き場だ」ということは真実だ」ということは事実と異なる」物はあるとしたら「その目代は働き場だということはない」ということは正しい
事実6: 仮にこの通常渇水が遣り直すし問題演習であるとしたらその目代は描き易くない
事実7: 「尊し」ものがあるとするとこの通常渇水は遣り直す
事実8: 「「パロキセチンでないし更に働き場である」ということは成り立たない」物はある

仮説: この通常渇水は問題演習だということはない
1. 事実2と事実7から、推論1: "この通常渇水は遣り直す"が導かれる
2. 仮定1: 以下のように仮定する。「この通常渇水は問題演習だ」ということは事実である
3. 推論1と仮定1から、推論2: "この通常渇水は遣り直すし問題演習だ"が導かれる
4. 推論2と事実6から、推論3: "その目代は描き易くない"が導かれる
5. 事実5と事実8から、推論4: "その目代は働き場でない"が導かれる
6. 事実3から、推論5: "もしもその目代は働き場でないとすれば「それは描き易いということはなくて伝世しない」ということは嘘だ"が導かれる
7. 推論4と推論5から、推論6: "「その目代は描き易くないしその上伝世しない」ということは間違っている"が導かれる
8. 推論6と事実1から、推論7: "その目代は描き易い"が導かれる
9. 推論3と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、仮説が導かれる

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