この十中は受領者でない
fact1: もしもなんらかの物はリアバンパーでないならば「それは就任直後であるけれど小数でない」ということは真実だということはない fact2: 仮にある物はリアバンパーであるし小数ならばそれは受領者でない fact3: もしもなにかは交わり続けないとすれば「合併し易いけれど全身ずぶ濡れでない」ということは成り立つということはない fact4: 「この来店者は食べ易いということはない一方でそれは待ち遠しい」ということは事実と異なる fact5: もし仮になにがしかのものは全身ずぶ濡れでないならば「リアバンパーであるしその上それは合併し易い」ということは間違いである fact6: もしもこの公方が合併し易くないとしたらこの十中はリアバンパーであるし小数である fact7: 全身ずぶ濡れだが交わり続けるということはないという物はない fact8: なにがしかの物は小暗いということはないかあるいは揺らすかもしくはどちらもであるならばそれは交わり続けない fact9: もし仮にこの公方が小数でないとすればこの十中は就任直後でそれは受領者である fact10: この十中は就任直後である fact11: もしも待ち遠しくないものはあるとしたら「その東大寺は待ち遠しくてまた現実主義である」ということは成り立たない fact12: この公方は小数でない fact13: この十中が小数でないとするとこの公方は受領者だししかも就任直後だ fact14: 仮に「「就任直後だがしかし小数でない」ということは成り立たない」物があるとすればあの公方は就任直後でない fact15: 仮に「この生活道は合併し易いけど全身ずぶ濡れであるということはない」ということは成り立たないならばこの公方は合併し易くない fact16: もし仮に「何かは全身ずぶ濡れであるけれど交わり続けない」ということは成り立たないならば「それは全身ずぶ濡れだ」ということは誤っている fact17: もし仮に「この来店者は食べ易くないが待ち遠しい」ということは成り立つということはないなら待ち遠しいということはない fact18: なんらかのものが嘆き悲しめばそれは小暗くないか揺らすかもしくは両方である fact19: もし仮に「「リアバンパーであるしおまけに合併し易い」ということは間違いである」ものがあるとしたらこの十中はリアバンパーでない fact20: 「その東大寺は待ち遠しくてそれは現実主義である」ということは偽であるとするとそれは経済学でない fact21: この公方が受領者でないとしたらこの十中は就任直後であるし加えて小数である fact22: もしもこの公方が小数でないとすればこの十中は就任直後である
fact9 & fact12 -> int1: この十中は就任直後であるしそれに受領者である; int1 -> hypothesis;
「この十中は受領者だということはない」ということは事実である
fact25 -> int2: 「仮にこの十中がリアバンパーだしかつ小数ならこの十中は受領者でない」ということは真実である; fact30 -> int3: もしもこの生活道は交わり続けないとすると「合併し易くて全身ずぶ濡れでない」ということは成り立たない; fact29 -> int4: もしもこの生活道は小暗くないかまたは揺らすか両方ともだとするとそれは交わり続けない; fact26 -> int5: この生活道が嘆き悲しむとすると小暗くないかもしくは揺らすかあるいはどちらもだ; fact31 & fact24 -> int6: この来店者は待ち遠しくない; int6 -> int7: 「待ち遠しくない」物はある; int7 & fact23 -> int8: 「その東大寺は待ち遠しいししかも現実主義だ」ということは間違いである; fact32 & int8 -> int9: その東大寺は経済学であるということはない; int9 -> int10: 何らかの物は経済学でない;
$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$ = 
fact9 & fact12 -> int1: この十中は就任直後であるしそれに受領者である; int1 -> 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. 事実9と事実12から、推論1: "この十中は就任直後であるしそれに受領者である"が導かれる
2. 推論1から、仮説が否定される

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