あのもいもにゃLv.17はひ弱いということはない
fact1: このぷのぷえLv.82は親しい fact2: このまのまちゅLv.13は程良いとしたら「このぷのぷえLv.82は親しくないしそれはひ弱くない」ということは間違いである fact3: もし「このぷのぷえLv.82は親しい」ということは確かであるとするとあのもいもにゃLv.17は程良い fact4: あのもいもにゃLv.17はひもじい fact5: もしもこのぷのぷえLv.82が程良いならあのもいもにゃLv.17はひ弱い fact6: もしこのぷのぷえLv.82が親しいとしたらそれは程良い fact7: このまよまなLv.50は程良い fact8: 痛ましくないモンスターは程良くてかつ恨めしい
fact6 & fact1 -> int1: 「このぷのぷえLv.82は程良い」ということは誤りでない; int1 & fact5 -> hypothesis;
fact6 & fact1 -> int1: {B}{a}; int1 & fact5 -> hypothesis;
あのもいもにゃLv.17はひ弱いということはない
fact10 -> int2: もしもこのまのまちゅLv.13が痛ましくないとすればこのまのまちゅLv.13は程良いし更にそれは恨めしい;
$facts$ = fact1: このぷのぷえLv.82は親しい fact2: このまのまちゅLv.13は程良いとしたら「このぷのぷえLv.82は親しくないしそれはひ弱くない」ということは間違いである fact3: もし「このぷのぷえLv.82は親しい」ということは確かであるとするとあのもいもにゃLv.17は程良い fact4: あのもいもにゃLv.17はひもじい fact5: もしもこのぷのぷえLv.82が程良いならあのもいもにゃLv.17はひ弱い fact6: もしこのぷのぷえLv.82が親しいとしたらそれは程良い fact7: このまよまなLv.50は程良い fact8: 痛ましくないモンスターは程良くてかつ恨めしい ; $hypothesis$ = あのもいもにゃLv.17はひ弱いということはない ; $proof$ = 
fact6 & fact1 -> int1: 「このぷのぷえLv.82は程良い」ということは誤りでない; int1 & fact5 -> hypothesis; __DISPROVED__
fact6 & fact1 -> int1: {B}{a}; int1 & fact5 -> hypothesis; __DISPROVED__