あのみやみゆLv.84はがなり立てない
fact1: このぽちゅぽなLv.59は自立出来ない fact2: もしこのぽちゅぽなLv.59が自立出来るということはないならばそのぽにゅぽくLv.54は対応し易いけどそれはしょぼくない fact3: もしも対応し易いモンスターがしょぼくないとすればあのみやみゆLv.84は再燃する fact4: もし仮にあのみやみゆLv.84が再燃すればそれはがなり立てる
fact1 & fact2 -> int1: そのぽにゅぽくLv.54は対応し易いがしかしそれはしょぼくない; int1 -> int2: 「対応し易くておまけにしょぼくない」モンスターはいる; int2 & fact3 -> int3: あのみやみゆLv.84は再燃する; int3 & fact4 -> hypothesis;
fact1 & fact2 -> int1: ({A}{aa} & ¬{B}{aa}); int1 -> int2: (Ex): ({A}x & ¬{B}x); int2 & fact3 -> int3: {C}{a}; int3 & fact4 -> hypothesis;
$facts$ = fact1: このぽちゅぽなLv.59は自立出来ない fact2: もしこのぽちゅぽなLv.59が自立出来るということはないならばそのぽにゅぽくLv.54は対応し易いけどそれはしょぼくない fact3: もしも対応し易いモンスターがしょぼくないとすればあのみやみゆLv.84は再燃する fact4: もし仮にあのみやみゆLv.84が再燃すればそれはがなり立てる ; $hypothesis$ = あのみやみゆLv.84はがなり立てない ; $proof$ = 
fact1 & fact2 -> int1: そのぽにゅぽくLv.54は対応し易いがしかしそれはしょぼくない; int1 -> int2: 「対応し易くておまけにしょぼくない」モンスターはいる; int2 & fact3 -> int3: あのみやみゆLv.84は再燃する; int3 & fact4 -> hypothesis; __DISPROVED__
fact1 & fact2 -> int1: ({A}{aa} & ¬{B}{aa}); int1 -> int2: (Ex): ({A}x & ¬{B}x); int2 & fact3 -> int3: {C}{a}; int3 & fact4 -> hypothesis; __DISPROVED__