「「「成果指標だということはないし更に輸入物だ」ということは成り立つということはない」物はある」ということは成り立たない
fact1: もしも何らかの物が冗談ぽいかあるいは眼窩前頭皮質でないか両方ともだとすると「生活するということはない」ということは成り立つ fact2: 「「当該年金共済契約でまた成果指標だ」ということは成り立たない」ものはある fact3: もしあの徳川勢が安いならばこの不確定期限は輸入物である fact4: あの徳川勢は当該年金共済契約だ fact5: そのカウンターステアは起き易くないし更に温くない fact6: あの二十一図は突き立てるとすると「その作用発現は銀行借り入れだ」ということは成り立つ fact7: もしあの徳川勢は当該年金共済契約であるならば「成果指標であるしそれに輸入物である」ということは成り立たない fact8: その最新流行は当該年金共済契約であるならば「歯肉剥離子でなくてそれは鍛え直す」ということは誤りである fact9: 「「成果指標であるしさらに輸入物だ」ということは成り立たない」物はある fact10: あの徳川勢は当該年金共済契約であるなら「成果指標でないしまたそれは輸入物である」ということは間違いだ fact11: 仮にあの右回転幹竹は耐え難いとすれば「入選作でないけど成果指標である」ということは成り立たない fact12: 「あの徳川勢は成果指標で輸入物である」ということは嘘である fact13: 何らかの物は成果指標でないがしかし輸入物だ fact14: 仮にそのカウンターステアが起き易くないし加えて温いということはないとするとあの二十一図は突き立てる fact15: 「「知り難しし取り集める」ということは成り立たない」ものはある fact16: 仮にその作用発現が銀行借り入れであるならその頼母子講は冗談ぽいかまたは眼窩前頭皮質でない fact17: 仮になにがしかの物が生活しないとするとその浄化費用は当該年金共済契約であるしそれはこっ酷い fact18: もし仮に「輸入物である」物があればあの徳川勢は安いかまたは輸入物であるかどちらもである
fact10 & fact4 -> int1: 「あの徳川勢は成果指標でないがしかし輸入物だ」ということは間違いである; int1 -> hypothesis;
fact10 & fact4 -> int1: ¬(¬{AA}{a} & {AB}{a}); int1 -> hypothesis;
この不確定期限は輸入物である
fact26 -> int2: もしもその頼母子講が冗談ぽいかそれは眼窩前頭皮質でないとしたら「生活しない」ということは事実である; fact25 & fact24 -> int3: あの二十一図は突き立てる; fact21 & int3 -> int4: その作用発現は銀行借り入れだ; fact23 & int4 -> int5: その頼母子講は冗談ぽいかあるいは眼窩前頭皮質でない; int2 & int5 -> int6: その頼母子講は生活しない; int6 -> int7: 「生活しない」物はある; int7 & fact20 -> int8: その浄化費用は当該年金共済契約であるし更にこっ酷い; int8 -> int9: その浄化費用は当該年金共済契約だ;
$facts$ = fact1: もしも何らかの物が冗談ぽいかあるいは眼窩前頭皮質でないか両方ともだとすると「生活するということはない」ということは成り立つ fact2: 「「当該年金共済契約でまた成果指標だ」ということは成り立たない」ものはある fact3: もしあの徳川勢が安いならばこの不確定期限は輸入物である fact4: あの徳川勢は当該年金共済契約だ fact5: そのカウンターステアは起き易くないし更に温くない fact6: あの二十一図は突き立てるとすると「その作用発現は銀行借り入れだ」ということは成り立つ fact7: もしあの徳川勢は当該年金共済契約であるならば「成果指標であるしそれに輸入物である」ということは成り立たない fact8: その最新流行は当該年金共済契約であるならば「歯肉剥離子でなくてそれは鍛え直す」ということは誤りである fact9: 「「成果指標であるしさらに輸入物だ」ということは成り立たない」物はある fact10: あの徳川勢は当該年金共済契約であるなら「成果指標でないしまたそれは輸入物である」ということは間違いだ fact11: 仮にあの右回転幹竹は耐え難いとすれば「入選作でないけど成果指標である」ということは成り立たない fact12: 「あの徳川勢は成果指標で輸入物である」ということは嘘である fact13: 何らかの物は成果指標でないがしかし輸入物だ fact14: 仮にそのカウンターステアが起き易くないし加えて温いということはないとするとあの二十一図は突き立てる fact15: 「「知り難しし取り集める」ということは成り立たない」ものはある fact16: 仮にその作用発現が銀行借り入れであるならその頼母子講は冗談ぽいかまたは眼窩前頭皮質でない fact17: 仮になにがしかの物が生活しないとするとその浄化費用は当該年金共済契約であるしそれはこっ酷い fact18: もし仮に「輸入物である」物があればあの徳川勢は安いかまたは輸入物であるかどちらもである ; $hypothesis$ = 「「「成果指標だということはないし更に輸入物だ」ということは成り立つということはない」物はある」ということは成り立たない ; $proof$ = 
fact10 & fact4 -> int1: 「あの徳川勢は成果指標でないがしかし輸入物だ」ということは間違いである; int1 -> hypothesis; __DISPROVED__
事実1: もしも何らかの物が冗談ぽいかあるいは眼窩前頭皮質でないか両方ともだとすると「生活するということはない」ということは成り立つ
事実2: 「「当該年金共済契約でまた成果指標だ」ということは成り立たない」ものはある
事実3: もしあの徳川勢が安いならばこの不確定期限は輸入物である
事実4: あの徳川勢は当該年金共済契約だ
事実5: そのカウンターステアは起き易くないし更に温くない
事実6: あの二十一図は突き立てるとすると「その作用発現は銀行借り入れだ」ということは成り立つ
事実7: もしあの徳川勢は当該年金共済契約であるならば「成果指標であるしそれに輸入物である」ということは成り立たない
事実8: その最新流行は当該年金共済契約であるならば「歯肉剥離子でなくてそれは鍛え直す」ということは誤りである
事実9: 「「成果指標であるしさらに輸入物だ」ということは成り立たない」物はある
事実10: あの徳川勢は当該年金共済契約であるなら「成果指標でないしまたそれは輸入物である」ということは間違いだ
事実11: 仮にあの右回転幹竹は耐え難いとすれば「入選作でないけど成果指標である」ということは成り立たない
事実12: 「あの徳川勢は成果指標で輸入物である」ということは嘘である
事実13: 何らかの物は成果指標でないがしかし輸入物だ
事実14: 仮にそのカウンターステアが起き易くないし加えて温いということはないとするとあの二十一図は突き立てる
事実15: 「「知り難しし取り集める」ということは成り立たない」ものはある
事実16: 仮にその作用発現が銀行借り入れであるならその頼母子講は冗談ぽいかまたは眼窩前頭皮質でない
事実17: 仮になにがしかの物が生活しないとするとその浄化費用は当該年金共済契約であるしそれはこっ酷い
事実18: もし仮に「輸入物である」物があればあの徳川勢は安いかまたは輸入物であるかどちらもである

仮説: 「「「成果指標だということはないし更に輸入物だ」ということは成り立つということはない」物はある」ということは成り立たない
1. 事実10と事実4から、推論1: "「あの徳川勢は成果指標でないがしかし輸入物だ」ということは間違いである"が導かれる
2. 推論1から、仮説が否定される

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