「あの鞄は創業期であるかあるいはそれは見境無いかどちらもだ」ということは誤っている
fact1: もしあの鞄が誇りっぽいとしたらそれは創業期である fact2: なんらかの物は誇りっぽいということはないとしたら「創業期であるかあるいはそれは見境無い」ということは成り立たない fact3: あの鞄は誇りっぽい fact4: 長寿館は腹部超音波検査である fact5: この秀麗さんは誇りっぽい fact6: もしあの鞄が微笑まないならそれは長寿館であるし技芸教授業である fact7: なにがしかの物は腹部超音波検査だとすると「それは誇りっぽくないかもしくは見境無くない」ということは成り立たない fact8: 仮に「「あの鞄が微笑むしその上それは掛け易い」ということは成り立たない」ということは確かならばそれは微笑まない
fact1 & fact3 -> int1: あの鞄は創業期だ; int1 -> hypothesis;
fact1 & fact3 -> int1: {B}{a}; int1 -> hypothesis;
「あの鞄は創業期であるか見境無いかもしくはどちらもである」ということは間違いである
fact9 -> int2: もしあの鞄は誇りっぽくないとしたら「それは創業期であるかそれは見境無いかあるいは両方である」ということは誤りである;
$facts$ = fact1: もしあの鞄が誇りっぽいとしたらそれは創業期である fact2: なんらかの物は誇りっぽいということはないとしたら「創業期であるかあるいはそれは見境無い」ということは成り立たない fact3: あの鞄は誇りっぽい fact4: 長寿館は腹部超音波検査である fact5: この秀麗さんは誇りっぽい fact6: もしあの鞄が微笑まないならそれは長寿館であるし技芸教授業である fact7: なにがしかの物は腹部超音波検査だとすると「それは誇りっぽくないかもしくは見境無くない」ということは成り立たない fact8: 仮に「「あの鞄が微笑むしその上それは掛け易い」ということは成り立たない」ということは確かならばそれは微笑まない ; $hypothesis$ = 「あの鞄は創業期であるかあるいはそれは見境無いかどちらもだ」ということは誤っている ; $proof$ = 
fact1 & fact3 -> int1: あの鞄は創業期だ; int1 -> hypothesis; __DISPROVED__
事実1: もしあの鞄が誇りっぽいとしたらそれは創業期である
事実2: なんらかの物は誇りっぽいということはないとしたら「創業期であるかあるいはそれは見境無い」ということは成り立たない
事実3: あの鞄は誇りっぽい
事実4: 長寿館は腹部超音波検査である
事実5: この秀麗さんは誇りっぽい
事実6: もしあの鞄が微笑まないならそれは長寿館であるし技芸教授業である
事実7: なにがしかの物は腹部超音波検査だとすると「それは誇りっぽくないかもしくは見境無くない」ということは成り立たない
事実8: 仮に「「あの鞄が微笑むしその上それは掛け易い」ということは成り立たない」ということは確かならばそれは微笑まない

仮説: 「あの鞄は創業期であるかあるいはそれは見境無いかどちらもだ」ということは誤っている
1. 事実1と事実3から、推論1: "あの鞄は創業期だ"が導かれる
2. 推論1から、仮説が否定される

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