この等級はクンパルシータである
fact1: あの貧乏暇無しは果てし無くない fact2: もし仮にあの貧乏暇無しが都市伝説であるかもしくは沈着物でないかもしくは両方であるとしたらこの等級はクンパルシータでない fact3: もし仮にあの貧乏暇無しが果てし無くないとすればでかで都市伝説である
fact3 & fact1 -> int1: あの貧乏暇無しはでかであるし都市伝説だ; int1 -> int2: あの貧乏暇無しは都市伝説である; int2 -> int3: あの貧乏暇無しは都市伝説であるかそれは沈着物でないかあるいは両方ともである; int3 & fact2 -> hypothesis;
$facts$ = fact1: あの貧乏暇無しは果てし無くない fact2: もし仮にあの貧乏暇無しが都市伝説であるかもしくは沈着物でないかもしくは両方であるとしたらこの等級はクンパルシータでない fact3: もし仮にあの貧乏暇無しが果てし無くないとすればでかで都市伝説である ; $hypothesis$ = この等級はクンパルシータである ; $proof$ = 
fact3 & fact1 -> int1: あの貧乏暇無しはでかであるし都市伝説だ; int1 -> int2: あの貧乏暇無しは都市伝説である; int2 -> int3: あの貧乏暇無しは都市伝説であるかそれは沈着物でないかあるいは両方ともである; int3 & fact2 -> hypothesis; __DISPROVED__
事実1: あの貧乏暇無しは果てし無くない
事実2: もし仮にあの貧乏暇無しが都市伝説であるかもしくは沈着物でないかもしくは両方であるとしたらこの等級はクンパルシータでない
事実3: もし仮にあの貧乏暇無しが果てし無くないとすればでかで都市伝説である

仮説: この等級はクンパルシータである
1. 事実3と事実1から、推論1: "あの貧乏暇無しはでかであるし都市伝説だ"が導かれる
2. 推論1から、推論2: "あの貧乏暇無しは都市伝説である"が導かれる
3. 推論2から、推論3: "あの貧乏暇無しは都市伝説であるかそれは沈着物でないかあるいは両方ともである"が導かれる
4. 推論3と事実2から、仮説が否定される

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