「そのまねまわLv.9は取り掛かり易いし更にそれは群がり集まる」ということは誤っている
fact1: 仮にこのまちゅまねLv.30が心無いとしたらそのまねまわLv.9は取り掛かり易い fact2: そのまねまわLv.9は取り掛かり易いとしたら「気まずい」ということは成り立つ fact3: もし仮にこのまちゅまねLv.30が短いならこのまちゅまねLv.30は心無い fact4: そのまねまわLv.9は群がり集まる fact5: 「もし仮にこのぴねぴにゅLv.0が群がり集まるとするとそのぷにゅぷやLv.97は取り掛かり易くないししかもそれは心無いということはない」ということは真実である fact6: もし仮にこのぴねぴにゅLv.0は短くないなら「そのまねまわLv.9は取り掛かり易くて群がり集まる」ということは成り立つということはない fact7: 仮に「このぴねぴにゅLv.0は美味しいがしかしそれは際どくない」ということは誤っているとすれば「このぴねぴにゅLv.0は気まずい」ということは成り立つ fact8: 「このぴねぴにゅLv.0は美味しいが際どくない」ということは成り立つということはない fact9: 全てのモンスターは頼み込む fact10: もしこのぴねぴにゅLv.0が美味しいということはないとすればそれは気まずい
fact7 & fact8 -> int1: このぴねぴにゅLv.0は気まずい;
fact7 & fact8 -> int1: {B}{a};
「そのまねまわLv.9は取り掛かり易いし更にそれは群がり集まる」ということは誤っている
fact12 -> int2: そのぽにぽちゃLv.64は頼み込む;
$facts$ = fact1: 仮にこのまちゅまねLv.30が心無いとしたらそのまねまわLv.9は取り掛かり易い fact2: そのまねまわLv.9は取り掛かり易いとしたら「気まずい」ということは成り立つ fact3: もし仮にこのまちゅまねLv.30が短いならこのまちゅまねLv.30は心無い fact4: そのまねまわLv.9は群がり集まる fact5: 「もし仮にこのぴねぴにゅLv.0が群がり集まるとするとそのぷにゅぷやLv.97は取り掛かり易くないししかもそれは心無いということはない」ということは真実である fact6: もし仮にこのぴねぴにゅLv.0は短くないなら「そのまねまわLv.9は取り掛かり易くて群がり集まる」ということは成り立つということはない fact7: 仮に「このぴねぴにゅLv.0は美味しいがしかしそれは際どくない」ということは誤っているとすれば「このぴねぴにゅLv.0は気まずい」ということは成り立つ fact8: 「このぴねぴにゅLv.0は美味しいが際どくない」ということは成り立つということはない fact9: 全てのモンスターは頼み込む fact10: もしこのぴねぴにゅLv.0が美味しいということはないとすればそれは気まずい ; $hypothesis$ = 「そのまねまわLv.9は取り掛かり易いし更にそれは群がり集まる」ということは誤っている ; $proof$ = 
__UNKNOWN__
__UNKNOWN__