あの好相性は医療用器具等である
fact1: 株式以外は医療用器具等でない fact2: もし仮に「その目鼻は加筆修正するということはないがしかし腫れぼったい」ということは事実と異なるならばあの好相性は株式以外だ fact3: 仮にその目鼻が加筆修正するとすればあの好相性は株式以外である fact4: 「その目鼻は加筆修正するし腫れぼったい」ということは嘘である fact5: もし仮にその目鼻は訴え出ないとすると「それは加筆修正するしまた腫れぼったい」ということは真実でない fact6: その目鼻は訴え出ない fact7: この後部席は訴え出ない fact8: もし「その目鼻は訴え出ない」ということは成り立つとすれば「加筆修正しないが腫れぼったい」ということは間違っている
fact8 & fact6 -> int1: 「その目鼻は加筆修正しないけれど腫れぼったい」ということは偽である; int1 & fact2 -> int2: あの好相性は株式以外である; fact1 -> int3: 仮にあの好相性が株式以外だとしたらそれは医療用器具等でない; int2 & int3 -> hypothesis;
fact8 & fact6 -> int1: ¬(¬{AA}{a} & {AB}{a}); int1 & fact2 -> int2: {B}{b}; fact1 -> int3: {B}{b} -> ¬{C}{b}; int2 & int3 -> hypothesis;
$facts$ = fact1: 株式以外は医療用器具等でない fact2: もし仮に「その目鼻は加筆修正するということはないがしかし腫れぼったい」ということは事実と異なるならばあの好相性は株式以外だ fact3: 仮にその目鼻が加筆修正するとすればあの好相性は株式以外である fact4: 「その目鼻は加筆修正するし腫れぼったい」ということは嘘である fact5: もし仮にその目鼻は訴え出ないとすると「それは加筆修正するしまた腫れぼったい」ということは真実でない fact6: その目鼻は訴え出ない fact7: この後部席は訴え出ない fact8: もし「その目鼻は訴え出ない」ということは成り立つとすれば「加筆修正しないが腫れぼったい」ということは間違っている ; $hypothesis$ = あの好相性は医療用器具等である ; $proof$ = 
fact8 & fact6 -> int1: 「その目鼻は加筆修正しないけれど腫れぼったい」ということは偽である; int1 & fact2 -> int2: あの好相性は株式以外である; fact1 -> int3: 仮にあの好相性が株式以外だとしたらそれは医療用器具等でない; int2 & int3 -> hypothesis; __DISPROVED__
事実1: 株式以外は医療用器具等でない
事実2: もし仮に「その目鼻は加筆修正するということはないがしかし腫れぼったい」ということは事実と異なるならばあの好相性は株式以外だ
事実3: 仮にその目鼻が加筆修正するとすればあの好相性は株式以外である
事実4: 「その目鼻は加筆修正するし腫れぼったい」ということは嘘である
事実5: もし仮にその目鼻は訴え出ないとすると「それは加筆修正するしまた腫れぼったい」ということは真実でない
事実6: その目鼻は訴え出ない
事実7: この後部席は訴え出ない
事実8: もし「その目鼻は訴え出ない」ということは成り立つとすれば「加筆修正しないが腫れぼったい」ということは間違っている

仮説: あの好相性は医療用器具等である
1. 事実8と事実6から、推論1: "「その目鼻は加筆修正しないけれど腫れぼったい」ということは偽である"が導かれる
2. 推論1と事実2から、推論2: "あの好相性は株式以外である"が導かれる
3. 事実1から、推論3: "仮にあの好相性が株式以外だとしたらそれは医療用器具等でない"が導かれる
4. 推論2と推論3から、仮説が否定される

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