そのぷゆぷちょLv.20は女性らしいということはない
fact1: もし仮にこのぽにょぽゆLv.94が揉み合うしおまけに見出だし難いならばこのぽゆぽにゅLv.4は見出だし難くない fact2: このぽゆぽにゅLv.4がこそばゆいとするとこのぽゆぽにゅLv.4は見出だし難い fact3: 仮にこのぽゆぽにゅLv.4が見出だし難くないならばあのぽくぽねLv.71は見出だし難くない fact4: あのぽくぽねLv.71は有るらしい fact5: もしあのぽくぽねLv.71が見出だし難くないとしたらそれはこそばゆいかもしくはそれは女性らしくない fact6: 仮にあのぽくぽねLv.71が有るらしいとするとこのぽゆぽにゅLv.4はこそばゆい fact7: もし仮にこのぽゆぽにゅLv.4が見出だし難いとすればそのぷゆぷちょLv.20は女性らしい fact8: もしあるモンスターがこそばゆいかあるいは女性らしくないなら女性らしくない fact9: 「なにがしかのモンスターは女性らしいし有るらしい」ということは偽であるとしたらそれは女性らしくない
fact6 & fact4 -> int1: このぽゆぽにゅLv.4はこそばゆい; int1 & fact2 -> int2: このぽゆぽにゅLv.4は見出だし難い; int2 & fact7 -> hypothesis;
fact6 & fact4 -> int1: {B}{b}; int1 & fact2 -> int2: {C}{b}; int2 & fact7 -> hypothesis;
そのぷゆぷちょLv.20は女性らしいということはない
fact12 -> int3: もしも「そのぷゆぷちょLv.20は女性らしいし有るらしい」ということは成り立たないならばそのぷゆぷちょLv.20は女性らしくない; fact11 -> int4: あのぽくぽねLv.71がこそばゆいかもしくは女性らしくないかあるいはどちらもだとすればあのぽくぽねLv.71は女性らしくない;
$facts$ = fact1: もし仮にこのぽにょぽゆLv.94が揉み合うしおまけに見出だし難いならばこのぽゆぽにゅLv.4は見出だし難くない fact2: このぽゆぽにゅLv.4がこそばゆいとするとこのぽゆぽにゅLv.4は見出だし難い fact3: 仮にこのぽゆぽにゅLv.4が見出だし難くないならばあのぽくぽねLv.71は見出だし難くない fact4: あのぽくぽねLv.71は有るらしい fact5: もしあのぽくぽねLv.71が見出だし難くないとしたらそれはこそばゆいかもしくはそれは女性らしくない fact6: 仮にあのぽくぽねLv.71が有るらしいとするとこのぽゆぽにゅLv.4はこそばゆい fact7: もし仮にこのぽゆぽにゅLv.4が見出だし難いとすればそのぷゆぷちょLv.20は女性らしい fact8: もしあるモンスターがこそばゆいかあるいは女性らしくないなら女性らしくない fact9: 「なにがしかのモンスターは女性らしいし有るらしい」ということは偽であるとしたらそれは女性らしくない ; $hypothesis$ = そのぷゆぷちょLv.20は女性らしいということはない ; $proof$ = 
fact6 & fact4 -> int1: このぽゆぽにゅLv.4はこそばゆい; int1 & fact2 -> int2: このぽゆぽにゅLv.4は見出だし難い; int2 & fact7 -> hypothesis; __DISPROVED__
fact6 & fact4 -> int1: {B}{b}; int1 & fact2 -> int2: {C}{b}; int2 & fact7 -> hypothesis; __DISPROVED__