そのぷちゅぷにゃLv.8は親しみ易い
fact1: そのまやまなLv.32は取り易い fact2: そのまやまなLv.32は親しみ易い fact3: もし仮にそのまやまなLv.32が親しみ易いならばそのぷちゅぷにゃLv.8は取り易いということはない fact4: もしもそのぷちゅぷにゃLv.8は取り易いなら「そのまやまなLv.32は親しみ易い」ということは成り立つ fact5: もしもそのまやまなLv.32がど偉いとするとそのぷちゅぷにゃLv.8は親しみ易いということはない fact6: もしそのまやまなLv.32が取り易いとしたらど偉い
fact6 & fact1 -> int1: そのまやまなLv.32はど偉い; int1 & fact5 -> hypothesis;
fact6 & fact1 -> int1: {B}{a}; int1 & fact5 -> hypothesis;
このぷいぷちゃLv.70は親しみ易い
$facts$ = fact1: そのまやまなLv.32は取り易い fact2: そのまやまなLv.32は親しみ易い fact3: もし仮にそのまやまなLv.32が親しみ易いならばそのぷちゅぷにゃLv.8は取り易いということはない fact4: もしもそのぷちゅぷにゃLv.8は取り易いなら「そのまやまなLv.32は親しみ易い」ということは成り立つ fact5: もしもそのまやまなLv.32がど偉いとするとそのぷちゅぷにゃLv.8は親しみ易いということはない fact6: もしそのまやまなLv.32が取り易いとしたらど偉い ; $hypothesis$ = そのぷちゅぷにゃLv.8は親しみ易い ; $proof$ = 
fact6 & fact1 -> int1: そのまやまなLv.32はど偉い; int1 & fact5 -> hypothesis; __DISPROVED__
fact6 & fact1 -> int1: {B}{a}; int1 & fact5 -> hypothesis; __DISPROVED__