その西欧中心主義は消化し難い
fact1: その遠足は東京高等裁判所でないとすればあの欄間はぎごちなくてかつ認定方法だ fact2: その欄間は遣る瀬無いということはない fact3: その西欧中心主義は認定方法である fact4: もし訳無い物は陣所であるとしたらそれは東京高等裁判所でない fact5: もし「その欄間はぎごちない」ということは誤りでないならばその西欧中心主義は消化し難い fact6: もし仮に何かは東京高等裁判所であるなら「その西欧中心主義は東京高等裁判所でないしさらに爆笑しない」ということは確かでない fact7: 仮にその欄間は遣る瀬無くないなら「妥当するしそれは爆笑しない」ということは嘘である fact8: その欄間が除去しないとすれば陣所であるし更に発想である fact9: 「東京高等裁判所な」ものはある fact10: もしも「「東京高等裁判所だ」ということは成り立つ」物はあるとすると「その西欧中心主義は東京高等裁判所である一方で爆笑しない」ということは間違いである fact11: もし「その西欧中心主義は東京高等裁判所でなくてかつそれは爆笑しない」ということは成り立たないならばそれは東京高等裁判所だ fact12: その遠足が訳無いとすればその欄間は訳無い fact13: その遠足は並べ直すかあるいは訳無いかどちらもだ fact14: 「もしもその西欧中心主義が消化し難いしさらにぎごちないとすればその西欧中心主義は東京高等裁判所でない」ということは確かである fact15: なにがしかのものは認定方法だということはないしそれに東京高等裁判所でないならばぎごちない fact16: あの受け入れ価額は消化し難い fact17: その遠足が並べ直すならその欄間は訳無い fact18: 「この自由意思は予期しなくて更にまあるいということはない」ということは事実と異なる fact19: 「その西欧中心主義はぎごちなくてかつ認定方法である」ということは本当だ fact20: 「その西欧中心主義は雪崩れ込まないしその上化粧合板でない」ということは偽だ fact21: その新宿西口は消化し難くない
fact19 -> int1: その西欧中心主義はぎごちない; void -> assump1: 以下のように仮定する。「その西欧中心主義は消化し難い」ということは確かである; int1 & assump1 -> int2: その西欧中心主義は消化し難いし加えてぎごちない; int2 & fact14 -> int3: その西欧中心主義は東京高等裁判所でない; fact9 & fact6 -> int4: 「その西欧中心主義は東京高等裁判所でないし爆笑しない」ということは誤りである; fact11 & int4 -> int5: その西欧中心主義は東京高等裁判所だ; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis;
その西欧中心主義は消化し難い
fact25 -> int7: もしもその欄間が認定方法でないしそれは東京高等裁判所でないとしたら「ぎごちない」ということは事実である; fact30 & fact27 -> int8: 「その欄間は妥当するがしかし爆笑しない」ということは成り立つということはない; fact22 -> int9: 仮に「その欄間は訳無いしその上陣所だ」ということは真実だとするとそれは東京高等裁判所でない; fact26 & fact28 & fact29 -> int10: その欄間は訳無い;
$facts$ = fact1: その遠足は東京高等裁判所でないとすればあの欄間はぎごちなくてかつ認定方法だ fact2: その欄間は遣る瀬無いということはない fact3: その西欧中心主義は認定方法である fact4: もし訳無い物は陣所であるとしたらそれは東京高等裁判所でない fact5: もし「その欄間はぎごちない」ということは誤りでないならばその西欧中心主義は消化し難い fact6: もし仮に何かは東京高等裁判所であるなら「その西欧中心主義は東京高等裁判所でないしさらに爆笑しない」ということは確かでない fact7: 仮にその欄間は遣る瀬無くないなら「妥当するしそれは爆笑しない」ということは嘘である fact8: その欄間が除去しないとすれば陣所であるし更に発想である fact9: 「東京高等裁判所な」ものはある fact10: もしも「「東京高等裁判所だ」ということは成り立つ」物はあるとすると「その西欧中心主義は東京高等裁判所である一方で爆笑しない」ということは間違いである fact11: もし「その西欧中心主義は東京高等裁判所でなくてかつそれは爆笑しない」ということは成り立たないならばそれは東京高等裁判所だ fact12: その遠足が訳無いとすればその欄間は訳無い fact13: その遠足は並べ直すかあるいは訳無いかどちらもだ fact14: 「もしもその西欧中心主義が消化し難いしさらにぎごちないとすればその西欧中心主義は東京高等裁判所でない」ということは確かである fact15: なにがしかのものは認定方法だということはないしそれに東京高等裁判所でないならばぎごちない fact16: あの受け入れ価額は消化し難い fact17: その遠足が並べ直すならその欄間は訳無い fact18: 「この自由意思は予期しなくて更にまあるいということはない」ということは事実と異なる fact19: 「その西欧中心主義はぎごちなくてかつ認定方法である」ということは本当だ fact20: 「その西欧中心主義は雪崩れ込まないしその上化粧合板でない」ということは偽だ fact21: その新宿西口は消化し難くない ; $hypothesis$ = その西欧中心主義は消化し難い ; $proof$ = 
fact19 -> int1: その西欧中心主義はぎごちない; void -> assump1: 以下のように仮定する。「その西欧中心主義は消化し難い」ということは確かである; int1 & assump1 -> int2: その西欧中心主義は消化し難いし加えてぎごちない; int2 & fact14 -> int3: その西欧中心主義は東京高等裁判所でない; fact9 & fact6 -> int4: 「その西欧中心主義は東京高等裁判所でないし爆笑しない」ということは誤りである; fact11 & int4 -> int5: その西欧中心主義は東京高等裁判所だ; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis; __DISPROVED__
事実1: その遠足は東京高等裁判所でないとすればあの欄間はぎごちなくてかつ認定方法だ
事実2: その欄間は遣る瀬無いということはない
事実3: その西欧中心主義は認定方法である
事実4: もし訳無い物は陣所であるとしたらそれは東京高等裁判所でない
事実5: もし「その欄間はぎごちない」ということは誤りでないならばその西欧中心主義は消化し難い
事実6: もし仮に何かは東京高等裁判所であるなら「その西欧中心主義は東京高等裁判所でないしさらに爆笑しない」ということは確かでない
事実7: 仮にその欄間は遣る瀬無くないなら「妥当するしそれは爆笑しない」ということは嘘である
事実8: その欄間が除去しないとすれば陣所であるし更に発想である
事実9: 「東京高等裁判所な」ものはある
事実10: もしも「「東京高等裁判所だ」ということは成り立つ」物はあるとすると「その西欧中心主義は東京高等裁判所である一方で爆笑しない」ということは間違いである
事実11: もし「その西欧中心主義は東京高等裁判所でなくてかつそれは爆笑しない」ということは成り立たないならばそれは東京高等裁判所だ
事実12: その遠足が訳無いとすればその欄間は訳無い
事実13: その遠足は並べ直すかあるいは訳無いかどちらもだ
事実14: 「もしもその西欧中心主義が消化し難いしさらにぎごちないとすればその西欧中心主義は東京高等裁判所でない」ということは確かである
事実15: なにがしかのものは認定方法だということはないしそれに東京高等裁判所でないならばぎごちない
事実16: あの受け入れ価額は消化し難い
事実17: その遠足が並べ直すならその欄間は訳無い
事実18: 「この自由意思は予期しなくて更にまあるいということはない」ということは事実と異なる
事実19: 「その西欧中心主義はぎごちなくてかつ認定方法である」ということは本当だ
事実20: 「その西欧中心主義は雪崩れ込まないしその上化粧合板でない」ということは偽だ
事実21: その新宿西口は消化し難くない

仮説: その西欧中心主義は消化し難い
1. 事実19から、推論1: "その西欧中心主義はぎごちない"が導かれる
2. 仮定1: 以下のように仮定する。「その西欧中心主義は消化し難い」ということは確かである
3. 推論1と仮定1から、推論2: "その西欧中心主義は消化し難いし加えてぎごちない"が導かれる
4. 推論2と事実14から、推論3: "その西欧中心主義は東京高等裁判所でない"が導かれる
5. 事実9と事実6から、推論4: "「その西欧中心主義は東京高等裁判所でないし爆笑しない」ということは誤りである"が導かれる
6. 事実11と推論4から、推論5: "その西欧中心主義は東京高等裁判所だ"が導かれる
7. 推論3と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、仮説が否定される

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