その評釈はペンキでないがそれは犯す
fact1: とあるものがたどたどしくないならばそれはペンキでないけど犯す fact2: この切羽は烏賊神経軸索でない fact3: もしも「あの地方制度は刷りである」ということは確かだとしたら「その評釈はペンキでない一方でそれは犯す」ということは間違っている fact4: 「その四両固定は多用しなくて加えて春季オープン・カレッジ開講でない」ということは本当であるということはない fact5: 仮に「その差配は下垂体でない」ということは正しいとすれば「あの地方制度は敗れるし消却義務だ」ということは成り立たない fact6: 「生々しかない」物があるとするとあのうんこは利用され易くない fact7: あの地方制度は来たないしその上消却義務でない fact8: 仮にその四両固定が春季オープン・カレッジ開講であるとすればこの切羽は変化し易い fact9: もし仮にあの地方制度が犯さないとするとこの恒温湿潤養生はペンキであるしたどたどしい fact10: もし仮に「なにかは敗れるしまた消却義務だ」ということは偽であるとしたら消却義務でない fact11: この切羽が変化し易いし加えて下垂体であるとすればあの差配は下垂体でない fact12: その姿態は生々しかない fact13: この切羽が烏賊神経軸索だということはないなら下垂体で更に御掃除する fact14: 仮にあのうんこは利用され易くないなら「その品種切り替えは利用され易くない」ということは成り立つ fact15: もし仮になにがしかの物はたどたどしいとすると「巫女でないが逃れ出る」ということは誤りである fact16: 「あの地方制度はたどたどしくない」ということは本当ならば巫女であるしまた刷りである fact17: もし「その四両固定は多用しないしまた春季オープン・カレッジ開講でない」ということは偽であるとすれば春季オープン・カレッジ開講だ fact18: 仮にその品種切り替えが利用され易くないとすればあの担保価値は憎しないししかも来たない fact19: もしもあの担保価値が憎しないし来たないならあの地方制度は憎し fact20: あの地方制度はたどたどしくない
fact16 & fact20 -> int1: あの地方制度は巫女であるしその上それは刷りだ; int1 -> int2: あの地方制度は刷りである; int2 & fact3 -> hypothesis;
その評釈はペンキだということはないがしかし犯す
fact24 -> int3: もしもその評釈がたどたどしくないならばペンキでないしその上それは犯す; fact22 -> int4: もし「あの地方制度は敗れるし加えて消却義務である」ということは成り立つということはないならば消却義務だということはない; fact32 & fact34 -> int5: その四両固定は春季オープン・カレッジ開講だ; fact29 & int5 -> int6: この切羽は変化し易い; fact33 & fact28 -> int7: この切羽は下垂体であるしその上御掃除する; int7 -> int8: この切羽は下垂体である; int6 & int8 -> int9: この切羽は変化し易くてまた下垂体である; fact31 & int9 -> int10: 「その差配は下垂体でない」ということは成り立つ; fact25 & int10 -> int11: 「あの地方制度は敗れるしおまけに消却義務だ」ということは真実でない; int4 & int11 -> int12: あの地方制度は消却義務であるということはない; fact23 -> int13: 何らかのものは生々しかない; int13 & fact26 -> int14: 「あのうんこは利用され易くない」ということは事実である; fact30 & int14 -> int15: その品種切り替えは利用され易くない; fact21 & int15 -> int16: あの担保価値は憎しないし来たない; fact27 & int16 -> int17: あの地方制度は憎し; int12 & int17 -> int18: あの地方制度は消却義務であるということはない一方でそれは憎し; int18 -> int19: なんらかの物は消却義務でない一方で憎し;
$facts$ = fact1: とあるものがたどたどしくないならばそれはペンキでないけど犯す fact2: この切羽は烏賊神経軸索でない fact3: もしも「あの地方制度は刷りである」ということは確かだとしたら「その評釈はペンキでない一方でそれは犯す」ということは間違っている fact4: 「その四両固定は多用しなくて加えて春季オープン・カレッジ開講でない」ということは本当であるということはない fact5: 仮に「その差配は下垂体でない」ということは正しいとすれば「あの地方制度は敗れるし消却義務だ」ということは成り立たない fact6: 「生々しかない」物があるとするとあのうんこは利用され易くない fact7: あの地方制度は来たないしその上消却義務でない fact8: 仮にその四両固定が春季オープン・カレッジ開講であるとすればこの切羽は変化し易い fact9: もし仮にあの地方制度が犯さないとするとこの恒温湿潤養生はペンキであるしたどたどしい fact10: もし仮に「なにかは敗れるしまた消却義務だ」ということは偽であるとしたら消却義務でない fact11: この切羽が変化し易いし加えて下垂体であるとすればあの差配は下垂体でない fact12: その姿態は生々しかない fact13: この切羽が烏賊神経軸索だということはないなら下垂体で更に御掃除する fact14: 仮にあのうんこは利用され易くないなら「その品種切り替えは利用され易くない」ということは成り立つ fact15: もし仮になにがしかの物はたどたどしいとすると「巫女でないが逃れ出る」ということは誤りである fact16: 「あの地方制度はたどたどしくない」ということは本当ならば巫女であるしまた刷りである fact17: もし「その四両固定は多用しないしまた春季オープン・カレッジ開講でない」ということは偽であるとすれば春季オープン・カレッジ開講だ fact18: 仮にその品種切り替えが利用され易くないとすればあの担保価値は憎しないししかも来たない fact19: もしもあの担保価値が憎しないし来たないならあの地方制度は憎し fact20: あの地方制度はたどたどしくない ; $hypothesis$ = その評釈はペンキでないがそれは犯す ; $proof$ = 
fact16 & fact20 -> int1: あの地方制度は巫女であるしその上それは刷りだ; int1 -> int2: あの地方制度は刷りである; int2 & fact3 -> hypothesis; __DISPROVED__
事実1: とあるものがたどたどしくないならばそれはペンキでないけど犯す
事実2: この切羽は烏賊神経軸索でない
事実3: もしも「あの地方制度は刷りである」ということは確かだとしたら「その評釈はペンキでない一方でそれは犯す」ということは間違っている
事実4: 「その四両固定は多用しなくて加えて春季オープン・カレッジ開講でない」ということは本当であるということはない
事実5: 仮に「その差配は下垂体でない」ということは正しいとすれば「あの地方制度は敗れるし消却義務だ」ということは成り立たない
事実6: 「生々しかない」物があるとするとあのうんこは利用され易くない
事実7: あの地方制度は来たないしその上消却義務でない
事実8: 仮にその四両固定が春季オープン・カレッジ開講であるとすればこの切羽は変化し易い
事実9: もし仮にあの地方制度が犯さないとするとこの恒温湿潤養生はペンキであるしたどたどしい
事実10: もし仮に「なにかは敗れるしまた消却義務だ」ということは偽であるとしたら消却義務でない
事実11: この切羽が変化し易いし加えて下垂体であるとすればあの差配は下垂体でない
事実12: その姿態は生々しかない
事実13: この切羽が烏賊神経軸索だということはないなら下垂体で更に御掃除する
事実14: 仮にあのうんこは利用され易くないなら「その品種切り替えは利用され易くない」ということは成り立つ
事実15: もし仮になにがしかの物はたどたどしいとすると「巫女でないが逃れ出る」ということは誤りである
事実16: 「あの地方制度はたどたどしくない」ということは本当ならば巫女であるしまた刷りである
事実17: もし「その四両固定は多用しないしまた春季オープン・カレッジ開講でない」ということは偽であるとすれば春季オープン・カレッジ開講だ
事実18: 仮にその品種切り替えが利用され易くないとすればあの担保価値は憎しないししかも来たない
事実19: もしもあの担保価値が憎しないし来たないならあの地方制度は憎し
事実20: あの地方制度はたどたどしくない

仮説: その評釈はペンキでないがそれは犯す
1. 事実16と事実20から、推論1: "あの地方制度は巫女であるしその上それは刷りだ"が導かれる
2. 推論1から、推論2: "あの地方制度は刷りである"が導かれる
3. 推論2と事実3から、仮説が否定される

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