この奉仕者は中脳水道だが物納しない
fact1: 仮に「ある物は世話しない一方で社会復帰する」ということは成り立たないとすればそれは社会復帰しない fact2: 「この奉仕者はひもじくて加えて報知新聞である」ということは本当でない fact3: 「「その推進委員会はメールするし付着し易い」ということは成り立つ」ということは真実でない fact4: この奉仕者は面映ゆいがしかしやくざっぽくない fact5: もしその証券化が甘くなくてかつきな臭くないとすればこの奉仕者はきな臭い fact6: 仮にあるものはきな臭くないとしたら「それは中脳水道だがしかし物納しない」ということは成り立たない fact7: 仮に「「「メールするしまた付着し易い」ということは真実だ」ということは間違いな」ものがあるならその商業史はメールしない fact8: このカントリーミュージックは物納するが海面近くでない fact9: もしもそのヒルビリーは中脳水道でないとすると「それは馬屋であるが御高くない」ということは成り立たない fact10: 「この見出しタグは止み難くてきな臭い」ということは成り立たない fact11: なにがしかの物はきな臭くないならば「中脳水道でまた物納する」ということは誤っている fact12: 仮になにがしかのものはメールしないとすると「それは気勢でないしそれにそれはきったなくない」ということは事実と異なる fact13: 何らかの物が社会復帰しないならばそれは甘くないしそれはきな臭いということはない fact14: もしも「その商業史は気勢でないしさらにきったないということはない」ということは本当であるということはないとしたらあの絣は革命運動でない fact15: もし仮にこの奉仕者は面映ゆいしそれにやくざっぽいならそれはきな臭くない fact16: きな臭いものは中脳水道であるが物納しない fact17: 仮にこの奉仕者が面映ゆいけどやくざっぽいないならそれはきな臭いということはない fact18: 「この奉仕者は中脳水道で加えて物納する」ということは誤りだ fact19: この奉仕者はやくざっぽくない
fact17 & fact4 -> int1: 「この奉仕者はきな臭くない」ということは確かだ; fact6 -> int2: もし仮にこの奉仕者はきな臭くないとすれば「中脳水道である一方で物納しない」ということは誤りである; int1 & int2 -> hypothesis;
この奉仕者は中脳水道であるが物納するということはない
fact25 -> int3: この奉仕者がきな臭いとしたらそれは中脳水道であるしそれに物納するということはない; fact26 -> int4: もし仮に「その証券化は社会復帰するということはない」ということは確かであるとするとそれは甘くなくて更にきな臭くない; fact23 -> int5: 「「その証券化は世話しないがしかし社会復帰する」ということは成り立つ」ということは成り立つということはないなら社会復帰しない; fact20 -> int6: もしもその商業史はメールしないとしたら「それは気勢でないしきったなくない」ということは成り立つということはない; fact22 -> int7: 「「メールするしおまけに付着し易い」ということは偽である」物はある; int7 & fact21 -> int8: その商業史はメールしない; int6 & int8 -> int9: 「その商業史は気勢でないしそれはきったないということはない」ということは事実と異なる; fact24 & int9 -> int10: 「あの絣は革命運動でない」ということは正しい; int10 -> int11: 「革命運動でない」物はある;
$facts$ = fact1: 仮に「ある物は世話しない一方で社会復帰する」ということは成り立たないとすればそれは社会復帰しない fact2: 「この奉仕者はひもじくて加えて報知新聞である」ということは本当でない fact3: 「「その推進委員会はメールするし付着し易い」ということは成り立つ」ということは真実でない fact4: この奉仕者は面映ゆいがしかしやくざっぽくない fact5: もしその証券化が甘くなくてかつきな臭くないとすればこの奉仕者はきな臭い fact6: 仮にあるものはきな臭くないとしたら「それは中脳水道だがしかし物納しない」ということは成り立たない fact7: 仮に「「「メールするしまた付着し易い」ということは真実だ」ということは間違いな」ものがあるならその商業史はメールしない fact8: このカントリーミュージックは物納するが海面近くでない fact9: もしもそのヒルビリーは中脳水道でないとすると「それは馬屋であるが御高くない」ということは成り立たない fact10: 「この見出しタグは止み難くてきな臭い」ということは成り立たない fact11: なにがしかの物はきな臭くないならば「中脳水道でまた物納する」ということは誤っている fact12: 仮になにがしかのものはメールしないとすると「それは気勢でないしそれにそれはきったなくない」ということは事実と異なる fact13: 何らかの物が社会復帰しないならばそれは甘くないしそれはきな臭いということはない fact14: もしも「その商業史は気勢でないしさらにきったないということはない」ということは本当であるということはないとしたらあの絣は革命運動でない fact15: もし仮にこの奉仕者は面映ゆいしそれにやくざっぽいならそれはきな臭くない fact16: きな臭いものは中脳水道であるが物納しない fact17: 仮にこの奉仕者が面映ゆいけどやくざっぽいないならそれはきな臭いということはない fact18: 「この奉仕者は中脳水道で加えて物納する」ということは誤りだ fact19: この奉仕者はやくざっぽくない ; $hypothesis$ = この奉仕者は中脳水道だが物納しない ; $proof$ = 
fact17 & fact4 -> int1: 「この奉仕者はきな臭くない」ということは確かだ; fact6 -> int2: もし仮にこの奉仕者はきな臭くないとすれば「中脳水道である一方で物納しない」ということは誤りである; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 仮に「ある物は世話しない一方で社会復帰する」ということは成り立たないとすればそれは社会復帰しない
事実2: 「この奉仕者はひもじくて加えて報知新聞である」ということは本当でない
事実3: 「「その推進委員会はメールするし付着し易い」ということは成り立つ」ということは真実でない
事実4: この奉仕者は面映ゆいがしかしやくざっぽくない
事実5: もしその証券化が甘くなくてかつきな臭くないとすればこの奉仕者はきな臭い
事実6: 仮にあるものはきな臭くないとしたら「それは中脳水道だがしかし物納しない」ということは成り立たない
事実7: 仮に「「「メールするしまた付着し易い」ということは真実だ」ということは間違いな」ものがあるならその商業史はメールしない
事実8: このカントリーミュージックは物納するが海面近くでない
事実9: もしもそのヒルビリーは中脳水道でないとすると「それは馬屋であるが御高くない」ということは成り立たない
事実10: 「この見出しタグは止み難くてきな臭い」ということは成り立たない
事実11: なにがしかの物はきな臭くないならば「中脳水道でまた物納する」ということは誤っている
事実12: 仮になにがしかのものはメールしないとすると「それは気勢でないしそれにそれはきったなくない」ということは事実と異なる
事実13: 何らかの物が社会復帰しないならばそれは甘くないしそれはきな臭いということはない
事実14: もしも「その商業史は気勢でないしさらにきったないということはない」ということは本当であるということはないとしたらあの絣は革命運動でない
事実15: もし仮にこの奉仕者は面映ゆいしそれにやくざっぽいならそれはきな臭くない
事実16: きな臭いものは中脳水道であるが物納しない
事実17: 仮にこの奉仕者が面映ゆいけどやくざっぽいないならそれはきな臭いということはない
事実18: 「この奉仕者は中脳水道で加えて物納する」ということは誤りだ
事実19: この奉仕者はやくざっぽくない

仮説: この奉仕者は中脳水道だが物納しない
1. 事実17と事実4から、推論1: "「この奉仕者はきな臭くない」ということは確かだ"が導かれる
2. 事実6から、推論2: "もし仮にこの奉仕者はきな臭くないとすれば「中脳水道である一方で物納しない」ということは誤りである"が導かれる
3. 推論1と推論2から、仮説が否定される

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