そのもにもわLv.26は小狡い
fact1: もし仮にそのもにもわLv.26が薄ら寒いモンスターであり加えて濃いならばそのもにもわLv.26は小狡くない fact2: そのもにもわLv.26は遅くない fact3: そのもにもわLv.26は薄い fact4: そのもにもわLv.26は薄ら寒い fact5: そのもにもわLv.26が薄いとすると濃い fact6: 「あのぴのぴにゃLv.49は小狡い」ということは確かであるとしたら治療する fact7: あのぴわぴゆLv.42は治療するしそれにそれは影響され易い
fact5 & fact3 -> int1: そのもにもわLv.26は濃い; int1 & fact4 -> int2: そのもにもわLv.26は薄ら寒いし更にそれは濃い; int2 & fact1 -> hypothesis;
fact5 & fact3 -> int1: {B}{a}; int1 & fact4 -> int2: ({C}{a} & {B}{a}); int2 & fact1 -> hypothesis;
$facts$ = fact1: もし仮にそのもにもわLv.26が薄ら寒いモンスターであり加えて濃いならばそのもにもわLv.26は小狡くない fact2: そのもにもわLv.26は遅くない fact3: そのもにもわLv.26は薄い fact4: そのもにもわLv.26は薄ら寒い fact5: そのもにもわLv.26が薄いとすると濃い fact6: 「あのぴのぴにゃLv.49は小狡い」ということは確かであるとしたら治療する fact7: あのぴわぴゆLv.42は治療するしそれにそれは影響され易い ; $hypothesis$ = そのもにもわLv.26は小狡い ; $proof$ = 
fact5 & fact3 -> int1: そのもにもわLv.26は濃い; int1 & fact4 -> int2: そのもにもわLv.26は薄ら寒いし更にそれは濃い; int2 & fact1 -> hypothesis; __DISPROVED__
fact5 & fact3 -> int1: {B}{a}; int1 & fact4 -> int2: ({C}{a} & {B}{a}); int2 & fact1 -> hypothesis; __DISPROVED__