そのぽにゅぽよLv.1はサポートするということはない
fact1: あのみなみよLv.9は利用し難いししかもふざけ合う fact2: もしもあのみよみなLv.27が走り易いならばあのみなみよLv.9は利用し難いがしかしふざけ合うということはない fact3: そのぽにゅぽよLv.1は利用し難い fact4: あのみなみよLv.9はふざけ合う fact5: あのみなみよLv.9が利用し難いとしたらそのぽにゅぽよLv.1はサポートする
fact1 -> int1: あのみなみよLv.9は利用し難い; int1 & fact5 -> hypothesis;
fact1 -> int1: {A}{a}; int1 & fact5 -> hypothesis;
そのぽにゅぽよLv.1はサポートするということはない
$facts$ = fact1: あのみなみよLv.9は利用し難いししかもふざけ合う fact2: もしもあのみよみなLv.27が走り易いならばあのみなみよLv.9は利用し難いがしかしふざけ合うということはない fact3: そのぽにゅぽよLv.1は利用し難い fact4: あのみなみよLv.9はふざけ合う fact5: あのみなみよLv.9が利用し難いとしたらそのぽにゅぽよLv.1はサポートする ; $hypothesis$ = そのぽにゅぽよLv.1はサポートするということはない ; $proof$ = 
fact1 -> int1: あのみなみよLv.9は利用し難い; int1 & fact5 -> hypothesis; __DISPROVED__
fact1 -> int1: {A}{a}; int1 & fact5 -> hypothesis; __DISPROVED__