「その発話障害は傾ぐかまたはそれは自慢出来ないか両方ともである」ということは間違っている
fact1: もしもあの企業ドメインが自慢出来ないならその発話障害は傾ぐかもしくはそれは自慢出来ない fact2: もし「とある物は直接体験者でないしかつエステルさんであるということはない」ということは成り立たないなら減封しない fact3: もしも何らかの物は睦まじいならば「傾ぐかまたは自慢出来ないかどちらもだ」ということは事実と異なる fact4: あのＮワンは国際人であるかあるいはそれは傾ぐ fact5: 「睦まじいものはエステルさんである」ということは本当だ fact6: あの企業ドメインは押し切れるかもしくは認可基準であるかあるいは両方ともだ fact7: 「あの企業ドメインは睦まじいしかつ減封する」ということは確かならそれは自慢出来ない fact8: もし仮に何かは国文科でないならとんちきであるしおまけに減封する fact9: もし「何かは国際人でないし加えて睦まじくない」ということは事実と異なるならそれは睦まじい fact10: 「もしもあの企業ドメインがエステルさんであるしまたそれが減封するとしたらあの思い出話はエステルさんであるということはない」ということは確かだ fact11: 「もしその指定位置が減封するということはないとしたらあの企業ドメインは睦まじくないけど減封する」ということは事実だ fact12: もしあの思い出話は国際人でないならば「その指定位置は直接体験者であるということはないしおまけにエステルさんでない」ということは誤りだ fact13: あの思い出話は国際人でない fact14: もしとある物は睦まじくないが減封すれば「それは自慢出来ない」ということは偽でない
fact2 -> int1: もしも「その指定位置は直接体験者でなくてエステルさんでない」ということは成り立たないならそれは減封しない; fact12 & fact13 -> int2: 「「その指定位置が直接体験者だということはないしその上エステルさんでない」ということは本当である」ということは間違っている; int1 & int2 -> int3: その指定位置は減封しない; int3 & fact11 -> int4: あの企業ドメインは睦まじいということはないけれど減封する; fact14 -> int5: あの企業ドメインは睦まじくない一方で減封すればそれは自慢出来ない; int4 & int5 -> int6: あの企業ドメインは自慢出来るということはない; int6 & fact1 -> hypothesis;
「「その発話障害は傾ぐかあるいは自慢出来ないかまたはどちらもだ」ということは事実である」ということは成り立たない
fact17 -> int7: もし仮に「その発話障害は睦まじい」ということは確かだとすれば「傾ぐかまたは自慢出来ない」ということは誤りである; fact15 -> int8: もしも「その発話障害は国際人でなくてその上睦まじくない」ということは偽だとしたらそれは睦まじい; fact16 -> int9: もしもあの企業ドメインは国文科でないとするととんちきであるしまた減封する;
$facts$ = fact1: もしもあの企業ドメインが自慢出来ないならその発話障害は傾ぐかもしくはそれは自慢出来ない fact2: もし「とある物は直接体験者でないしかつエステルさんであるということはない」ということは成り立たないなら減封しない fact3: もしも何らかの物は睦まじいならば「傾ぐかまたは自慢出来ないかどちらもだ」ということは事実と異なる fact4: あのＮワンは国際人であるかあるいはそれは傾ぐ fact5: 「睦まじいものはエステルさんである」ということは本当だ fact6: あの企業ドメインは押し切れるかもしくは認可基準であるかあるいは両方ともだ fact7: 「あの企業ドメインは睦まじいしかつ減封する」ということは確かならそれは自慢出来ない fact8: もし仮に何かは国文科でないならとんちきであるしおまけに減封する fact9: もし「何かは国際人でないし加えて睦まじくない」ということは事実と異なるならそれは睦まじい fact10: 「もしもあの企業ドメインがエステルさんであるしまたそれが減封するとしたらあの思い出話はエステルさんであるということはない」ということは確かだ fact11: 「もしその指定位置が減封するということはないとしたらあの企業ドメインは睦まじくないけど減封する」ということは事実だ fact12: もしあの思い出話は国際人でないならば「その指定位置は直接体験者であるということはないしおまけにエステルさんでない」ということは誤りだ fact13: あの思い出話は国際人でない fact14: もしとある物は睦まじくないが減封すれば「それは自慢出来ない」ということは偽でない ; $hypothesis$ = 「その発話障害は傾ぐかまたはそれは自慢出来ないか両方ともである」ということは間違っている ; $proof$ = 
fact2 -> int1: もしも「その指定位置は直接体験者でなくてエステルさんでない」ということは成り立たないならそれは減封しない; fact12 & fact13 -> int2: 「「その指定位置が直接体験者だということはないしその上エステルさんでない」ということは本当である」ということは間違っている; int1 & int2 -> int3: その指定位置は減封しない; int3 & fact11 -> int4: あの企業ドメインは睦まじいということはないけれど減封する; fact14 -> int5: あの企業ドメインは睦まじくない一方で減封すればそれは自慢出来ない; int4 & int5 -> int6: あの企業ドメインは自慢出来るということはない; int6 & fact1 -> hypothesis; __DISPROVED__
事実1: もしもあの企業ドメインが自慢出来ないならその発話障害は傾ぐかもしくはそれは自慢出来ない
事実2: もし「とある物は直接体験者でないしかつエステルさんであるということはない」ということは成り立たないなら減封しない
事実3: もしも何らかの物は睦まじいならば「傾ぐかまたは自慢出来ないかどちらもだ」ということは事実と異なる
事実4: あのＮワンは国際人であるかあるいはそれは傾ぐ
事実5: 「睦まじいものはエステルさんである」ということは本当だ
事実6: あの企業ドメインは押し切れるかもしくは認可基準であるかあるいは両方ともだ
事実7: 「あの企業ドメインは睦まじいしかつ減封する」ということは確かならそれは自慢出来ない
事実8: もし仮に何かは国文科でないならとんちきであるしおまけに減封する
事実9: もし「何かは国際人でないし加えて睦まじくない」ということは事実と異なるならそれは睦まじい
事実10: 「もしもあの企業ドメインがエステルさんであるしまたそれが減封するとしたらあの思い出話はエステルさんであるということはない」ということは確かだ
事実11: 「もしその指定位置が減封するということはないとしたらあの企業ドメインは睦まじくないけど減封する」ということは事実だ
事実12: もしあの思い出話は国際人でないならば「その指定位置は直接体験者であるということはないしおまけにエステルさんでない」ということは誤りだ
事実13: あの思い出話は国際人でない
事実14: もしとある物は睦まじくないが減封すれば「それは自慢出来ない」ということは偽でない

仮説: 「その発話障害は傾ぐかまたはそれは自慢出来ないか両方ともである」ということは間違っている
1. 事実2から、推論1: "もしも「その指定位置は直接体験者でなくてエステルさんでない」ということは成り立たないならそれは減封しない"が導かれる
2. 事実12と事実13から、推論2: "「「その指定位置が直接体験者だということはないしその上エステルさんでない」ということは本当である」ということは間違っている"が導かれる
3. 推論1と推論2から、推論3: "その指定位置は減封しない"が導かれる
4. 推論3と事実11から、推論4: "あの企業ドメインは睦まじいということはないけれど減封する"が導かれる
5. 事実14から、推論5: "あの企業ドメインは睦まじくない一方で減封すればそれは自慢出来ない"が導かれる
6. 推論4と推論5から、推論6: "あの企業ドメインは自慢出来るということはない"が導かれる
7. 推論6と事実1から、仮説が否定される

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