このビニール製は新リーグでない
fact1: このビニール製はマイクロマネジメントである fact2: もし仮に「この上書き時は餓鬼っぽい」ということは成り立つとするとこのビニール製は仕事らしい fact3: どれもこれもは餓鬼っぽい fact4: すべてのものは堆い fact5: どれもこれもは巻き付く fact6: もし何かは御優しくないとすると「餓鬼っぽくないしそれは仕事らしくない」ということは間違っている fact7: あの二十二口径は探し続ける fact8: 「このビニール製は容易い」ということは本当だ fact9: もし仮になんらかの物が柔くないとしたら古ぼけるかもしくは献呈するかあるいはどちらもだ fact10: このビニール製は餓鬼っぽい fact11: もし仮にこのビニール製が餓鬼っぽいならこの上書き時は仕事らしい fact12: 仮になんらかの物が古ぼけるとすれば御優しい fact13: 何かは探し続ければ「それは成り果てないし柔くない」ということは成り立たない fact14: もしも「あの二十二口径は成り果てないしそれに柔くない」ということは事実と異なるとするとあの鉗子分娩は柔くない fact15: もしも「なんらかのものは柔くないけど古ぼける」ということは誤りであるとすれば献呈しない fact16: もしとあるものが献呈しないとすればそれは御優しくない fact17: もしこのビニール製が仕事らしいならばそれは新リーグである fact18: 仮にあの鉗子分娩は御優しいとしたら「このビニール製は餓鬼っぽいということはないけど仕事らしい」ということは事実と異なる
fact3 -> int1: この上書き時は餓鬼っぽい; int1 & fact2 -> int2: このビニール製は仕事らしい; int2 & fact17 -> hypothesis;
fact3 -> int1: {A}{aa}; int1 & fact2 -> int2: {B}{a}; int2 & fact17 -> hypothesis;
このビニール製は新リーグでない
fact20 -> int3: 仮に「あの鉗子分娩は柔いということはない」ということは成り立てば古ぼけるかまたは献呈する; fact23 -> int4: もしあの二十二口径は探し続けるとすると「成り果てないしその上柔いない」ということは偽だ; int4 & fact22 -> int5: 「あの二十二口径が成り果てないしさらにそれは柔くない」ということは誤りである; fact21 & int5 -> int6: あの鉗子分娩は柔くない; int3 & int6 -> int7: あの鉗子分娩は古ぼけるかそれは献呈するかもしくは両方である; fact19 -> int8: あの鉗子分娩が古ぼけるとしたら御優しい;
$facts$ = fact1: このビニール製はマイクロマネジメントである fact2: もし仮に「この上書き時は餓鬼っぽい」ということは成り立つとするとこのビニール製は仕事らしい fact3: どれもこれもは餓鬼っぽい fact4: すべてのものは堆い fact5: どれもこれもは巻き付く fact6: もし何かは御優しくないとすると「餓鬼っぽくないしそれは仕事らしくない」ということは間違っている fact7: あの二十二口径は探し続ける fact8: 「このビニール製は容易い」ということは本当だ fact9: もし仮になんらかの物が柔くないとしたら古ぼけるかもしくは献呈するかあるいはどちらもだ fact10: このビニール製は餓鬼っぽい fact11: もし仮にこのビニール製が餓鬼っぽいならこの上書き時は仕事らしい fact12: 仮になんらかの物が古ぼけるとすれば御優しい fact13: 何かは探し続ければ「それは成り果てないし柔くない」ということは成り立たない fact14: もしも「あの二十二口径は成り果てないしそれに柔くない」ということは事実と異なるとするとあの鉗子分娩は柔くない fact15: もしも「なんらかのものは柔くないけど古ぼける」ということは誤りであるとすれば献呈しない fact16: もしとあるものが献呈しないとすればそれは御優しくない fact17: もしこのビニール製が仕事らしいならばそれは新リーグである fact18: 仮にあの鉗子分娩は御優しいとしたら「このビニール製は餓鬼っぽいということはないけど仕事らしい」ということは事実と異なる ; $hypothesis$ = このビニール製は新リーグでない ; $proof$ = 
fact3 -> int1: この上書き時は餓鬼っぽい; int1 & fact2 -> int2: このビニール製は仕事らしい; int2 & fact17 -> hypothesis; __DISPROVED__
事実1: このビニール製はマイクロマネジメントである
事実2: もし仮に「この上書き時は餓鬼っぽい」ということは成り立つとするとこのビニール製は仕事らしい
事実3: どれもこれもは餓鬼っぽい
事実4: すべてのものは堆い
事実5: どれもこれもは巻き付く
事実6: もし何かは御優しくないとすると「餓鬼っぽくないしそれは仕事らしくない」ということは間違っている
事実7: あの二十二口径は探し続ける
事実8: 「このビニール製は容易い」ということは本当だ
事実9: もし仮になんらかの物が柔くないとしたら古ぼけるかもしくは献呈するかあるいはどちらもだ
事実10: このビニール製は餓鬼っぽい
事実11: もし仮にこのビニール製が餓鬼っぽいならこの上書き時は仕事らしい
事実12: 仮になんらかの物が古ぼけるとすれば御優しい
事実13: 何かは探し続ければ「それは成り果てないし柔くない」ということは成り立たない
事実14: もしも「あの二十二口径は成り果てないしそれに柔くない」ということは事実と異なるとするとあの鉗子分娩は柔くない
事実15: もしも「なんらかのものは柔くないけど古ぼける」ということは誤りであるとすれば献呈しない
事実16: もしとあるものが献呈しないとすればそれは御優しくない
事実17: もしこのビニール製が仕事らしいならばそれは新リーグである
事実18: 仮にあの鉗子分娩は御優しいとしたら「このビニール製は餓鬼っぽいということはないけど仕事らしい」ということは事実と異なる

仮説: このビニール製は新リーグでない
1. 事実3から、推論1: "この上書き時は餓鬼っぽい"が導かれる
2. 推論1と事実2から、推論2: "このビニール製は仕事らしい"が導かれる
3. 推論2と事実17から、仮説が否定される

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