そのみにょみいLv.60はアメリカらしくないけれど考証する
fact1: もし仮にあのみよみなLv.62がアメリカらしくないならばそのみにょみいLv.60はアメリカらしくないけれどそれは考証する fact2: あのみよみなLv.62は御待ちする fact3: もしあのみよみなLv.62は御待ちするしさらに働き難いならばアメリカらしくない fact4: あのみよみなLv.62は働き難い fact5: アメリカらしいということはないモンスターは住み易くておまけに働き難い fact6: もしもあのみよみなLv.62は御待ちしないとしたら「そのみにょみいLv.60はアメリカらしくないが考証する」ということは間違っている
fact2 & fact4 -> int1: あのみよみなLv.62は御待ちするしおまけに働き難い; int1 & fact3 -> int2: あのみよみなLv.62はアメリカらしくない; int2 & fact1 -> hypothesis;
fact2 & fact4 -> int1: ({A}{a} & {B}{a}); int1 & fact3 -> int2: ¬{C}{a}; int2 & fact1 -> hypothesis;
このぴちゅぴちょLv.74は腐り易いし更に住み易い
fact7 -> int3: このぴちゅぴちょLv.74がアメリカらしいということはないならばそれは住み易いしそれに働き難い;
$facts$ = fact1: もし仮にあのみよみなLv.62がアメリカらしくないならばそのみにょみいLv.60はアメリカらしくないけれどそれは考証する fact2: あのみよみなLv.62は御待ちする fact3: もしあのみよみなLv.62は御待ちするしさらに働き難いならばアメリカらしくない fact4: あのみよみなLv.62は働き難い fact5: アメリカらしいということはないモンスターは住み易くておまけに働き難い fact6: もしもあのみよみなLv.62は御待ちしないとしたら「そのみにょみいLv.60はアメリカらしくないが考証する」ということは間違っている ; $hypothesis$ = そのみにょみいLv.60はアメリカらしくないけれど考証する ; $proof$ = 
fact2 & fact4 -> int1: あのみよみなLv.62は御待ちするしおまけに働き難い; int1 & fact3 -> int2: あのみよみなLv.62はアメリカらしくない; int2 & fact1 -> hypothesis; __PROVED__
fact2 & fact4 -> int1: ({A}{a} & {B}{a}); int1 & fact3 -> int2: ¬{C}{a}; int2 & fact1 -> hypothesis; __PROVED__