「このぴにぴよLv.27はこそばゆいかあるいは緩い」ということは間違っている
fact1: そのみのみくLv.64は言い繕うかまたはそれは恐れ多い fact2: このぴにぴよLv.27は緩み易い fact3: もしあのまにゅまにゅLv.38が言い繕わないならそのまなまゆLv.8はこそばゆいしかつ偉い fact4: もしも「何らかのモンスターは言い繕うけど緩み易くない」ということは間違いであるとすれば「緩いということはない」ということは成り立つ fact5: あのまにゅまにゅLv.38が緩み易い一方でそれが乳臭くないとすればあのまにゅまにゅLv.38は言い繕わない fact6: このぴにぴよLv.27は偉くてさらにこそばゆい
fact6 -> int1: このぴにぴよLv.27はこそばゆい; int1 -> hypothesis;
fact6 -> int1: {B}{a}; int1 -> hypothesis;
「このぴにぴよLv.27はこそばゆいかあるいは緩い」ということは間違っている
$facts$ = fact1: そのみのみくLv.64は言い繕うかまたはそれは恐れ多い fact2: このぴにぴよLv.27は緩み易い fact3: もしあのまにゅまにゅLv.38が言い繕わないならそのまなまゆLv.8はこそばゆいしかつ偉い fact4: もしも「何らかのモンスターは言い繕うけど緩み易くない」ということは間違いであるとすれば「緩いということはない」ということは成り立つ fact5: あのまにゅまにゅLv.38が緩み易い一方でそれが乳臭くないとすればあのまにゅまにゅLv.38は言い繕わない fact6: このぴにぴよLv.27は偉くてさらにこそばゆい ; $hypothesis$ = 「このぴにぴよLv.27はこそばゆいかあるいは緩い」ということは間違っている ; $proof$ = 
fact6 -> int1: このぴにぴよLv.27はこそばゆい; int1 -> hypothesis; __DISPROVED__
fact6 -> int1: {B}{a}; int1 -> hypothesis; __DISPROVED__