そのまちょまにゃLv.86はぱさつかない
fact1: あのぷにゅぷちょLv.53は益無しししかもぱさつく fact2: あのぷにゅぷちょLv.53はきもいし益無し fact3: あのぷにゅぷちょLv.53がきもいならそれは有り難し fact4: もしあのぷにゅぷちょLv.53はきもくないならそのまちょまにゃLv.86はぱさつかない fact5: そのまちょまにゃLv.86はきもい fact6: あのもちゃもにゅLv.20は益無しないならば「あのぷにゅぷちょLv.53はきもいしおまけにそれは有り難し」ということは本当であるということはない fact7: もし仮にあのぷにゅぷちょLv.53が有り難しとしたらそのまちょまにゃLv.86はぱさつく
fact2 -> int1: あのぷにゅぷちょLv.53はきもい; int1 & fact3 -> int2: あのぷにゅぷちょLv.53は有り難し; int2 & fact7 -> hypothesis;
fact2 -> int1: {A}{a}; int1 & fact3 -> int2: {C}{a}; int2 & fact7 -> hypothesis;
そのまちょまにゃLv.86はぱさつかない
$facts$ = fact1: あのぷにゅぷちょLv.53は益無しししかもぱさつく fact2: あのぷにゅぷちょLv.53はきもいし益無し fact3: あのぷにゅぷちょLv.53がきもいならそれは有り難し fact4: もしあのぷにゅぷちょLv.53はきもくないならそのまちょまにゃLv.86はぱさつかない fact5: そのまちょまにゃLv.86はきもい fact6: あのもちゃもにゅLv.20は益無しないならば「あのぷにゅぷちょLv.53はきもいしおまけにそれは有り難し」ということは本当であるということはない fact7: もし仮にあのぷにゅぷちょLv.53が有り難しとしたらそのまちょまにゃLv.86はぱさつく ; $hypothesis$ = そのまちょまにゃLv.86はぱさつかない ; $proof$ = 
fact2 -> int1: あのぷにゅぷちょLv.53はきもい; int1 & fact3 -> int2: あのぷにゅぷちょLv.53は有り難し; int2 & fact7 -> hypothesis; __DISPROVED__
fact2 -> int1: {A}{a}; int1 & fact3 -> int2: {C}{a}; int2 & fact7 -> hypothesis; __DISPROVED__