この退院・退所は婚姻中だ
fact1: 「あの消費税は腫れぼったくて営業認可である」ということは間違っている fact2: 「あの消費税は腫れぼったくてまた婚姻中だ」ということは事実と異なる fact3: 「あの消費税は腫れぼったくてかつ営業認可だ」ということは事実と異なるとしたらこの退院・退所は婚姻中でない fact4: あの消費税は婚姻中でない
fact3 & fact1 -> hypothesis;
fact3 & fact1 -> hypothesis;
$facts$ = fact1: 「あの消費税は腫れぼったくて営業認可である」ということは間違っている fact2: 「あの消費税は腫れぼったくてまた婚姻中だ」ということは事実と異なる fact3: 「あの消費税は腫れぼったくてかつ営業認可だ」ということは事実と異なるとしたらこの退院・退所は婚姻中でない fact4: あの消費税は婚姻中でない ; $hypothesis$ = この退院・退所は婚姻中だ ; $proof$ = 
fact3 & fact1 -> hypothesis; __DISPROVED__
事実1: 「あの消費税は腫れぼったくて営業認可である」ということは間違っている
事実2: 「あの消費税は腫れぼったくてまた婚姻中だ」ということは事実と異なる
事実3: 「あの消費税は腫れぼったくてかつ営業認可だ」ということは事実と異なるとしたらこの退院・退所は婚姻中でない
事実4: あの消費税は婚姻中でない

仮説: この退院・退所は婚姻中だ
1. 事実3と事実1から、仮説が否定される

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