この植民地時代は如此しない
fact1: もし「なにがしかの物は現代芸術でないけれど陰毛である」ということは誤っているなら現代芸術だ fact2: 仮にその三月中旬は特別地方公共団体でないとすると現代芸術である fact3: 仮になにがしかのものは陰毛でないとするとそれは特別地方公共団体だしその上現代芸術である fact4: 仮に「あの思想家は御話し致さなくて吹き消さない」ということは間違いであるならばあの三月中旬は現代芸術でない fact5: もしも「その三月中旬は完熟蜜柑だ」ということは本当であるなら「あの思想家は小気味良くないしかつ鷦鷯でない」ということは成り立たない fact6: 小気味良い物は陰毛でないしさらに取材出来ない fact7: もし仮に「「現代芸術である」物はある」ということは正しいなら「この発展期は如此し」ということは本当だ fact8: あの思想家が吹き消すとするとその三月中旬は現代芸術でない fact9: あるものが皮肉っぽくないけどそれが甘過ぎるならその三月中旬は完熟蜜柑だ fact10: その三月中旬は特別地方公共団体でない fact11: もしも「何かは小気味良くなくて鷦鷯だということはない」ということは嘘ならば小気味良い fact12: あの思想家が御話し致すということはないし加えて吹き消さないとしたらこの植民地時代は如此しない fact13: 現代芸術は如此し fact14: ある物は皮肉っぽくないがしかし甘過ぎる
void -> assump1: 以下のように仮定する。「あの思想家は御話し致さなくてまた吹き消さない」ということは成り立たない; fact4 & assump1 -> int1: その三月中旬は現代芸術であるということはない; fact10 & fact2 -> int2: その三月中旬は現代芸術である; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの思想家は御話し致すということはないしさらに吹き消さない; int4 & fact12 -> hypothesis;
この発展期は如此し
fact20 -> int5: 仮に「あの思想家は陰毛でない」ということは成り立てばそれは特別地方公共団体で加えて現代芸術だ; fact15 -> int6: もしもあの思想家が小気味良いとすればそれは陰毛でなくておまけにそれは取材出来るということはない; fact21 -> int7: もしも「あの思想家は小気味良くないしさらに鷦鷯でない」ということは偽であるとすればそれは小気味良い; fact18 & fact17 -> int8: その三月中旬は完熟蜜柑である; fact19 & int8 -> int9: 「あの思想家は小気味良くないし鷦鷯でない」ということは成り立つということはない; int7 & int9 -> int10: あの思想家は小気味良い; int6 & int10 -> int11: あの思想家は陰毛でなくてそれは取材出来ない; int11 -> int12: あの思想家は陰毛でない; int5 & int12 -> int13: あの思想家は特別地方公共団体であるし現代芸術だ; int13 -> int14: あの思想家は現代芸術だ; int14 -> int15: 「現代芸術な」ものはある; int15 & fact16 -> hypothesis;
$facts$ = fact1: もし「なにがしかの物は現代芸術でないけれど陰毛である」ということは誤っているなら現代芸術だ fact2: 仮にその三月中旬は特別地方公共団体でないとすると現代芸術である fact3: 仮になにがしかのものは陰毛でないとするとそれは特別地方公共団体だしその上現代芸術である fact4: 仮に「あの思想家は御話し致さなくて吹き消さない」ということは間違いであるならばあの三月中旬は現代芸術でない fact5: もしも「その三月中旬は完熟蜜柑だ」ということは本当であるなら「あの思想家は小気味良くないしかつ鷦鷯でない」ということは成り立たない fact6: 小気味良い物は陰毛でないしさらに取材出来ない fact7: もし仮に「「現代芸術である」物はある」ということは正しいなら「この発展期は如此し」ということは本当だ fact8: あの思想家が吹き消すとするとその三月中旬は現代芸術でない fact9: あるものが皮肉っぽくないけどそれが甘過ぎるならその三月中旬は完熟蜜柑だ fact10: その三月中旬は特別地方公共団体でない fact11: もしも「何かは小気味良くなくて鷦鷯だということはない」ということは嘘ならば小気味良い fact12: あの思想家が御話し致すということはないし加えて吹き消さないとしたらこの植民地時代は如此しない fact13: 現代芸術は如此し fact14: ある物は皮肉っぽくないがしかし甘過ぎる ; $hypothesis$ = この植民地時代は如此しない ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの思想家は御話し致さなくてまた吹き消さない」ということは成り立たない; fact4 & assump1 -> int1: その三月中旬は現代芸術であるということはない; fact10 & fact2 -> int2: その三月中旬は現代芸術である; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの思想家は御話し致すということはないしさらに吹き消さない; int4 & fact12 -> hypothesis; __PROVED__
事実1: もし「なにがしかの物は現代芸術でないけれど陰毛である」ということは誤っているなら現代芸術だ
事実2: 仮にその三月中旬は特別地方公共団体でないとすると現代芸術である
事実3: 仮になにがしかのものは陰毛でないとするとそれは特別地方公共団体だしその上現代芸術である
事実4: 仮に「あの思想家は御話し致さなくて吹き消さない」ということは間違いであるならばあの三月中旬は現代芸術でない
事実5: もしも「その三月中旬は完熟蜜柑だ」ということは本当であるなら「あの思想家は小気味良くないしかつ鷦鷯でない」ということは成り立たない
事実6: 小気味良い物は陰毛でないしさらに取材出来ない
事実7: もし仮に「「現代芸術である」物はある」ということは正しいなら「この発展期は如此し」ということは本当だ
事実8: あの思想家が吹き消すとするとその三月中旬は現代芸術でない
事実9: あるものが皮肉っぽくないけどそれが甘過ぎるならその三月中旬は完熟蜜柑だ
事実10: その三月中旬は特別地方公共団体でない
事実11: もしも「何かは小気味良くなくて鷦鷯だということはない」ということは嘘ならば小気味良い
事実12: あの思想家が御話し致すということはないし加えて吹き消さないとしたらこの植民地時代は如此しない
事実13: 現代芸術は如此し
事実14: ある物は皮肉っぽくないがしかし甘過ぎる

仮説: この植民地時代は如此しない
1. 仮定1: 以下のように仮定する。「あの思想家は御話し致さなくてまた吹き消さない」ということは成り立たない
2. 事実4と仮定1から、推論1: "その三月中旬は現代芸術であるということはない"が導かれる
3. 事実10と事実2から、推論2: "その三月中旬は現代芸術である"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの思想家は御話し致すということはないしさらに吹き消さない"が導かれる
6. 推論4と事実12から、仮説が導かれる

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