あのまちゃまちゅLv.30は馬鹿らしくない
fact1: そのもちょもにょLv.59は吹き掛かるしかつ乱舞する fact2: もし仮に「そのもちょもにょLv.59は乱舞する」ということは成り立つとしたらあのまちゃまちゅLv.30は踏み込む fact3: もし仮にあのまちゃまちゅLv.30が踏み込むならそれは馬鹿らしい
fact1 -> int1: そのもちょもにょLv.59は乱舞する; int1 & fact2 -> int2: あのまちゃまちゅLv.30は踏み込む; int2 & fact3 -> hypothesis;
fact1 -> int1: {B}{a}; int1 & fact2 -> int2: {C}{b}; int2 & fact3 -> hypothesis;
$facts$ = fact1: そのもちょもにょLv.59は吹き掛かるしかつ乱舞する fact2: もし仮に「そのもちょもにょLv.59は乱舞する」ということは成り立つとしたらあのまちゃまちゅLv.30は踏み込む fact3: もし仮にあのまちゃまちゅLv.30が踏み込むならそれは馬鹿らしい ; $hypothesis$ = あのまちゃまちゅLv.30は馬鹿らしくない ; $proof$ = 
fact1 -> int1: そのもちょもにょLv.59は乱舞する; int1 & fact2 -> int2: あのまちゃまちゅLv.30は踏み込む; int2 & fact3 -> hypothesis; __DISPROVED__
fact1 -> int1: {B}{a}; int1 & fact2 -> int2: {C}{b}; int2 & fact3 -> hypothesis; __DISPROVED__