「あのみにゃみちゅLv.99は御構い無いし加えて人恋しい」ということは誤っている
fact1: 「あのみにゃみちゅLv.99は人恋しい」ということは本当だ fact2: あのみにゃみちゅLv.99が等しいしその上それは御構い無い fact3: あのみにゃみちゅLv.99は退色し易いし更に気怠い
fact2 -> int1: あのみにゃみちゅLv.99は御構い無い; int1 & fact1 -> hypothesis;
fact2 -> int1: {B}{a}; int1 & fact1 -> hypothesis;
$facts$ = fact1: 「あのみにゃみちゅLv.99は人恋しい」ということは本当だ fact2: あのみにゃみちゅLv.99が等しいしその上それは御構い無い fact3: あのみにゃみちゅLv.99は退色し易いし更に気怠い ; $hypothesis$ = 「あのみにゃみちゅLv.99は御構い無いし加えて人恋しい」ということは誤っている ; $proof$ = 
fact2 -> int1: あのみにゃみちゅLv.99は御構い無い; int1 & fact1 -> hypothesis; __DISPROVED__
fact2 -> int1: {B}{a}; int1 & fact1 -> hypothesis; __DISPROVED__