その彼我流用は上皮化する
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 & fact1 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「あのＤＩＶＸは気持ち良いということはなくてかつ天狗らしいということはない」ということは成り立たない; int3 -> int4: 「「気持ち良くなくてまた天狗らしくない」ということは誤りである」物はある; int4 & fact5 -> int5: その円派は疑い深くない; int5 & fact8 -> int6: 「その市町村等は疑い深くなくて更に恙無いということはない」ということは嘘だ; fact21 -> int7: もし仮に「その市町村等は疑い深いということはないしその上恙無くない」ということは偽であるとすればそれは作り始める; int6 & int7 -> int8: その市町村等は作り始める; fact22 & fact9 -> int9: この中国思想は痒くないけどそれはＵＳＲである; int9 & fact17 -> int10: その市町村等はＵＳＲである; int8 & int10 -> int11: その市町村等はＵＳＲであるしおまけに作り始める; int11 & fact13 -> hypothesis;
その彼我流用は上皮化する
fact27 -> int12: もしも「その彼我流用は気持ち良くないしそれは上皮化しない」ということは間違いであるとすると上皮化する; fact24 -> int13: 仮にその彼我流用は天狗らしくないなら「「気持ち良くないしさらに上皮化するということはない」ということは本当である」ということは嘘だ; fact28 -> int14: もしもあのＤＩＶＸは作り始めるということはないなら「疑い深いが恙無くない」ということは事実と異なる; fact29 -> int15: あのＤＩＶＸが痒いけどそれはＵＳＲでないとするとそれは作り始めない; fact25 -> int16: あのＤＩＶＸはメインスタッフであるならそれは痒いがしかしＵＳＲでない; fact26 & fact23 -> int17: あのＤＩＶＸはメインスタッフである; int16 & int17 -> int18: あのＤＩＶＸは痒い一方でＵＳＲでない; int15 & int18 -> int19: あのＤＩＶＸは作り始めない; int14 & int19 -> int20: 「あのＤＩＶＸは疑い深いけれどそれは恙無くない」ということは嘘である; int20 -> int21: 「「疑い深いがしかし恙無くない」ということは誤りである」ものはある;
$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 & fact1 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「あのＤＩＶＸは気持ち良いということはなくてかつ天狗らしいということはない」ということは成り立たない; int3 -> int4: 「「気持ち良くなくてまた天狗らしくない」ということは誤りである」物はある; int4 & fact5 -> int5: その円派は疑い深くない; int5 & fact8 -> int6: 「その市町村等は疑い深くなくて更に恙無いということはない」ということは嘘だ; fact21 -> int7: もし仮に「その市町村等は疑い深いということはないしその上恙無くない」ということは偽であるとすればそれは作り始める; int6 & int7 -> int8: その市町村等は作り始める; fact22 & fact9 -> int9: この中国思想は痒くないけどそれはＵＳＲである; int9 & fact17 -> int10: その市町村等はＵＳＲである; int8 & int10 -> int11: その市町村等はＵＳＲであるしおまけに作り始める; int11 & fact13 -> hypothesis; __DISPROVED__
事実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と事実1から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「あのＤＩＶＸは気持ち良いということはなくてかつ天狗らしいということはない」ということは成り立たない"が導かれる
5. 推論3から、推論4: "「「気持ち良くなくてまた天狗らしくない」ということは誤りである」物はある"が導かれる
6. 推論4と事実5から、推論5: "その円派は疑い深くない"が導かれる
7. 推論5と事実8から、推論6: "「その市町村等は疑い深くなくて更に恙無いということはない」ということは嘘だ"が導かれる
8. 事実21から、推論7: "もし仮に「その市町村等は疑い深いということはないしその上恙無くない」ということは偽であるとすればそれは作り始める"が導かれる
9. 推論6と推論7から、推論8: "その市町村等は作り始める"が導かれる
10. 事実22と事実9から、推論9: "この中国思想は痒くないけどそれはＵＳＲである"が導かれる
11. 推論9と事実17から、推論10: "その市町村等はＵＳＲである"が導かれる
12. 推論8と推論10から、推論11: "その市町村等はＵＳＲであるしおまけに作り始める"が導かれる
13. 推論11と事実13から、仮説が否定される

よって、仮説が否定されました。