そのまちゃまわLv.2は軋らない
fact1: このもにょもちゅLv.46は申し訳無い fact2: 仮にこのもにょもちゅLv.46は淀み無いがカット出来ないとすれば「あのもにゅもえLv.37はスプレーしない」ということは間違いでない fact3: なんらかのモンスターがスプレーしないとしたらそれは軋るしおまけにそれは申し訳無い
fact1 -> int1: このもにょもちゅLv.46は申し訳無い;
fact1 -> int1: {A}{a};
あのもにゅもえLv.37は軋る
fact4 -> int2: もしあのもにゅもえLv.37がスプレーしないとしたらあのもにゅもえLv.37は軋るしそれは申し訳無い;
$facts$ = fact1: このもにょもちゅLv.46は申し訳無い fact2: 仮にこのもにょもちゅLv.46は淀み無いがカット出来ないとすれば「あのもにゅもえLv.37はスプレーしない」ということは間違いでない fact3: なんらかのモンスターがスプレーしないとしたらそれは軋るしおまけにそれは申し訳無い ; $hypothesis$ = そのまちゃまわLv.2は軋らない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__