その台本作家は薄汚くないとしたら「その経時変化は厚ぼったいということはないか信徒席でないか両方である」ということは成り立たない
fact1: 仮に「その台本作家はうらぶれないけれどそれは三部作である」ということは間違いだとすればその経時変化は薄汚い fact2: もしもとあるものは心強くないならば「それはうらぶれないが三部作である」ということは成り立たない fact3: もし仮に「何らかのものは親らしいしまた三層構造である」ということは嘘であるならば「それは三層構造であるということはない」ということは本当である fact4: 仮に水辺が成され易いとするとそれは心強くない fact5: とある物が三層構造でないならそれは水辺であるししかも成され易い fact6: その経時変化が厚ぼったくないかまたは信徒席でないかまたはどちらもであるとするとその台本作家は薄汚い
void -> assump2: 以下のように仮定する。その経時変化は厚ぼったくないかあるいは信徒席でないかまたは両方である; fact6 & assump2 -> int1: その台本作家は薄汚い; void -> assump1: 以下のように仮定する。その台本作家は薄汚いということはない; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: 「その経時変化は厚ぼったくないかまたはそれは信徒席でない」ということは成り立つということはない; [assump1] & int3 -> hypothesis;
その経時変化は薄汚い
fact11 -> int4: もしその台本作家は心強くないとすると「それはうらぶれないし更に三部作である」ということは正しくない; fact10 -> int5: もし仮にその台本作家が水辺だし成され易いとすれば心強くない; fact8 -> int6: もしもその台本作家が三層構造でないとすればそれは水辺でそれに成され易い; fact7 -> int7: もしも「その台本作家は親らしいし更に三層構造である」ということは偽であるとしたらそれは三層構造でない;
$facts$ = fact1: 仮に「その台本作家はうらぶれないけれどそれは三部作である」ということは間違いだとすればその経時変化は薄汚い fact2: もしもとあるものは心強くないならば「それはうらぶれないが三部作である」ということは成り立たない fact3: もし仮に「何らかのものは親らしいしまた三層構造である」ということは嘘であるならば「それは三層構造であるということはない」ということは本当である fact4: 仮に水辺が成され易いとするとそれは心強くない fact5: とある物が三層構造でないならそれは水辺であるししかも成され易い fact6: その経時変化が厚ぼったくないかまたは信徒席でないかまたはどちらもであるとするとその台本作家は薄汚い ; $hypothesis$ = その台本作家は薄汚くないとしたら「その経時変化は厚ぼったいということはないか信徒席でないか両方である」ということは成り立たない ; $proof$ = 
void -> assump2: 以下のように仮定する。その経時変化は厚ぼったくないかあるいは信徒席でないかまたは両方である; fact6 & assump2 -> int1: その台本作家は薄汚い; void -> assump1: 以下のように仮定する。その台本作家は薄汚いということはない; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: 「その経時変化は厚ぼったくないかまたはそれは信徒席でない」ということは成り立つということはない; [assump1] & int3 -> hypothesis; __PROVED__
事実1: 仮に「その台本作家はうらぶれないけれどそれは三部作である」ということは間違いだとすればその経時変化は薄汚い
事実2: もしもとあるものは心強くないならば「それはうらぶれないが三部作である」ということは成り立たない
事実3: もし仮に「何らかのものは親らしいしまた三層構造である」ということは嘘であるならば「それは三層構造であるということはない」ということは本当である
事実4: 仮に水辺が成され易いとするとそれは心強くない
事実5: とある物が三層構造でないならそれは水辺であるししかも成され易い
事実6: その経時変化が厚ぼったくないかまたは信徒席でないかまたはどちらもであるとするとその台本作家は薄汚い

仮説: その台本作家は薄汚くないとしたら「その経時変化は厚ぼったいということはないか信徒席でないか両方である」ということは成り立たない
1. 仮定2: 以下のように仮定する。その経時変化は厚ぼったくないかあるいは信徒席でないかまたは両方である
2. 事実6と仮定2から、推論1: "その台本作家は薄汚い"が導かれる
3. 仮定1: 以下のように仮定する。その台本作家は薄汚いということはない
4. 推論1と仮定1から、推論2: "これは矛盾である"が導かれる
5. [仮定2]と推論2から、推論3: "「その経時変化は厚ぼったくないかまたはそれは信徒席でない」ということは成り立つということはない"が導かれる
6. [仮定1]と推論3から、仮説が導かれる

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