あの液晶テレビは登録証発行前であるかあるいは本社事務所でないかまたは両方ともだ
fact1: もし仮に何らかの物は浜笛吹き稚魚でないとすると「それは溢れ出すか差し引かないか両方である」ということは間違っている fact2: あの液晶テレビは浜笛吹き稚魚でない fact3: もし仮にあの液晶テレビは浜笛吹き稚魚であるということはないならば「登録証発行前であるかもしくは本社事務所でないかもしくは両方ともである」ということは事実と異なる fact4: もしも「この車外は時間・天候であるが救急救命室でない」ということは偽であるとすると「あの液晶テレビは丸くない」ということは真実だ fact5: 仮にあの液晶テレビが丸いということはないならその天朝は浜笛吹き稚魚だということはない
fact3 & fact2 -> hypothesis;
fact3 & fact2 -> hypothesis;
「「その天朝は溢れ出すか差し引かない」ということは成り立たない」ということは成り立つ
fact8 -> int1: 仮にその天朝は浜笛吹き稚魚でないなら「それは溢れ出すかあるいは差し引かないかもしくはどちらもである」ということは嘘だ;
$facts$ = fact1: もし仮に何らかの物は浜笛吹き稚魚でないとすると「それは溢れ出すか差し引かないか両方である」ということは間違っている fact2: あの液晶テレビは浜笛吹き稚魚でない fact3: もし仮にあの液晶テレビは浜笛吹き稚魚であるということはないならば「登録証発行前であるかもしくは本社事務所でないかもしくは両方ともである」ということは事実と異なる fact4: もしも「この車外は時間・天候であるが救急救命室でない」ということは偽であるとすると「あの液晶テレビは丸くない」ということは真実だ fact5: 仮にあの液晶テレビが丸いということはないならその天朝は浜笛吹き稚魚だということはない ; $hypothesis$ = あの液晶テレビは登録証発行前であるかあるいは本社事務所でないかまたは両方ともだ ; $proof$ = 
fact3 & fact2 -> hypothesis; __DISPROVED__
事実1: もし仮に何らかの物は浜笛吹き稚魚でないとすると「それは溢れ出すか差し引かないか両方である」ということは間違っている
事実2: あの液晶テレビは浜笛吹き稚魚でない
事実3: もし仮にあの液晶テレビは浜笛吹き稚魚であるということはないならば「登録証発行前であるかもしくは本社事務所でないかもしくは両方ともである」ということは事実と異なる
事実4: もしも「この車外は時間・天候であるが救急救命室でない」ということは偽であるとすると「あの液晶テレビは丸くない」ということは真実だ
事実5: 仮にあの液晶テレビが丸いということはないならその天朝は浜笛吹き稚魚だということはない

仮説: あの液晶テレビは登録証発行前であるかあるいは本社事務所でないかまたは両方ともだ
1. 事実3と事実2から、仮説が否定される

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