「あのみゆみやLv.28は操作し易いしその上掠め取る」ということは成り立つということはない
fact1: あのみゆみやLv.28は掠め取る fact2: あのみゆみやLv.28は君らしい fact3: もしあのみゆみやLv.28が君らしいとすると操作し易い fact4: あのもなもちゃLv.32が掠め取るしその上置き易い fact5: もしもそのぴちゃぴにゅLv.21は君らしくないとしたら「あのみゆみやLv.28は操作し易いしおまけに掠め取る」ということは成り立つということはない
fact3 & fact2 -> int1: あのみゆみやLv.28は操作し易い; int1 & fact1 -> hypothesis;
fact3 & fact2 -> int1: {B}{a}; int1 & fact1 -> hypothesis;
「あのみゆみやLv.28は操作し易いしその上掠め取る」ということは成り立つということはない
$facts$ = fact1: あのみゆみやLv.28は掠め取る fact2: あのみゆみやLv.28は君らしい fact3: もしあのみゆみやLv.28が君らしいとすると操作し易い fact4: あのもなもちゃLv.32が掠め取るしその上置き易い fact5: もしもそのぴちゃぴにゅLv.21は君らしくないとしたら「あのみゆみやLv.28は操作し易いしおまけに掠め取る」ということは成り立つということはない ; $hypothesis$ = 「あのみゆみやLv.28は操作し易いしその上掠め取る」ということは成り立つということはない ; $proof$ = 
fact3 & fact2 -> int1: あのみゆみやLv.28は操作し易い; int1 & fact1 -> hypothesis; __DISPROVED__
fact3 & fact2 -> int1: {B}{a}; int1 & fact1 -> hypothesis; __DISPROVED__