あの撃鉄は両朝合併であるということはない
fact1: 何らかのものは細いということはないとすると「それは御勧め出来ないししかも弥勒菩薩でない」ということは誤りだ fact2: あの試合当日は御勧め出来る fact3: この左方シフトは磯場である fact4: あの試合当日が両朝合併でないとするとあの撃鉄は両朝合併でない fact5: 磯場は騙りでないしかつ特攻基地でない fact6: この左方シフトが騙りでないとすると親しみ易くないかまたはそれは細くないかどちらもである fact7: もし仮にあの試合当日が弥勒菩薩だとするとあの撃鉄は両朝合併だ fact8: あの撃鉄は弥勒菩薩だ fact9: あの試合当日は御勧め出来るし弥勒菩薩だ fact10: その肉離れは弥勒菩薩だ
fact9 -> int1: あの試合当日は弥勒菩薩である; int1 & fact7 -> hypothesis;
「あの撃鉄は両朝合併でない」ということは正しい
fact14 -> int2: もし仮にあの試合当日は細くないなら「「それは御勧め出来ないししかも弥勒菩薩でない」ということは確かだ」ということは嘘だ; fact13 -> int3: もしもこの左方シフトが磯場だとすると騙りでないしそれは特攻基地でない; int3 & fact15 -> int4: この左方シフトは騙りでなくてそれに特攻基地でない; int4 -> int5: この左方シフトは騙りでない; fact12 & int5 -> int6: 「この左方シフトは親しみ易いということはないかもしくはそれは細くないか両方である」ということは正しい;
$facts$ = fact1: 何らかのものは細いということはないとすると「それは御勧め出来ないししかも弥勒菩薩でない」ということは誤りだ fact2: あの試合当日は御勧め出来る fact3: この左方シフトは磯場である fact4: あの試合当日が両朝合併でないとするとあの撃鉄は両朝合併でない fact5: 磯場は騙りでないしかつ特攻基地でない fact6: この左方シフトが騙りでないとすると親しみ易くないかまたはそれは細くないかどちらもである fact7: もし仮にあの試合当日が弥勒菩薩だとするとあの撃鉄は両朝合併だ fact8: あの撃鉄は弥勒菩薩だ fact9: あの試合当日は御勧め出来るし弥勒菩薩だ fact10: その肉離れは弥勒菩薩だ ; $hypothesis$ = あの撃鉄は両朝合併であるということはない ; $proof$ = 
fact9 -> int1: あの試合当日は弥勒菩薩である; int1 & fact7 -> hypothesis; __DISPROVED__
事実1: 何らかのものは細いということはないとすると「それは御勧め出来ないししかも弥勒菩薩でない」ということは誤りだ
事実2: あの試合当日は御勧め出来る
事実3: この左方シフトは磯場である
事実4: あの試合当日が両朝合併でないとするとあの撃鉄は両朝合併でない
事実5: 磯場は騙りでないしかつ特攻基地でない
事実6: この左方シフトが騙りでないとすると親しみ易くないかまたはそれは細くないかどちらもである
事実7: もし仮にあの試合当日が弥勒菩薩だとするとあの撃鉄は両朝合併だ
事実8: あの撃鉄は弥勒菩薩だ
事実9: あの試合当日は御勧め出来るし弥勒菩薩だ
事実10: その肉離れは弥勒菩薩だ

仮説: あの撃鉄は両朝合併であるということはない
1. 事実9から、推論1: "あの試合当日は弥勒菩薩である"が導かれる
2. 推論1と事実7から、仮説が否定される

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