このまねまやLv.38は所狭し
fact1: このぽよぽわLv.3は繁盛する fact2: このぽよぽわLv.3は吸収され難くてかつ疲労し易い fact3: もしこのぽよぽわLv.3が繁盛するとすればそれは期し難い fact4: もし仮にこのぽよぽわLv.3が連想し易いしそれが期し難いとしたらこのまねまやLv.38は所狭くない fact5: そのみにゅみなLv.1が納得し難いしその上期し難い fact6: このぽよぽわLv.3は連想し易い
fact3 & fact1 -> int1: このぽよぽわLv.3は期し難い; int1 & fact6 -> int2: このぽよぽわLv.3は連想し易いし更にそれは期し難い; int2 & fact4 -> hypothesis;
fact3 & fact1 -> int1: {B}{a}; int1 & fact6 -> int2: ({C}{a} & {B}{a}); int2 & fact4 -> hypothesis;
そのみにゅみなLv.1は納得し難くて情けない
fact7 -> int3: そのみにゅみなLv.1は納得し難い;
$facts$ = fact1: このぽよぽわLv.3は繁盛する fact2: このぽよぽわLv.3は吸収され難くてかつ疲労し易い fact3: もしこのぽよぽわLv.3が繁盛するとすればそれは期し難い fact4: もし仮にこのぽよぽわLv.3が連想し易いしそれが期し難いとしたらこのまねまやLv.38は所狭くない fact5: そのみにゅみなLv.1が納得し難いしその上期し難い fact6: このぽよぽわLv.3は連想し易い ; $hypothesis$ = このまねまやLv.38は所狭し ; $proof$ = 
fact3 & fact1 -> int1: このぽよぽわLv.3は期し難い; int1 & fact6 -> int2: このぽよぽわLv.3は連想し易いし更にそれは期し難い; int2 & fact4 -> hypothesis; __DISPROVED__
fact3 & fact1 -> int1: {B}{a}; int1 & fact6 -> int2: ({C}{a} & {B}{a}); int2 & fact4 -> hypothesis; __DISPROVED__