そのぷなぷにゅLv.95はちょろいということはない
fact1: もし仮にあのまにょまえLv.22は旧式化するとすると「そのぷなぷにゅLv.95はちょろい」ということは正しい fact2: あのみにゅみえLv.53はいがらっぽい fact3: 仮にあのみにゅみえLv.53がいがらっぽいとすればあのまにょまえLv.22は旧式化する
fact3 & fact2 -> int1: あのまにょまえLv.22は旧式化する; int1 & fact1 -> hypothesis;
fact3 & fact2 -> int1: {B}{b}; int1 & fact1 -> hypothesis;
$facts$ = fact1: もし仮にあのまにょまえLv.22は旧式化するとすると「そのぷなぷにゅLv.95はちょろい」ということは正しい fact2: あのみにゅみえLv.53はいがらっぽい fact3: 仮にあのみにゅみえLv.53がいがらっぽいとすればあのまにょまえLv.22は旧式化する ; $hypothesis$ = そのぷなぷにゅLv.95はちょろいということはない ; $proof$ = 
fact3 & fact2 -> int1: あのまにょまえLv.22は旧式化する; int1 & fact1 -> hypothesis; __DISPROVED__
fact3 & fact2 -> int1: {B}{b}; int1 & fact1 -> hypothesis; __DISPROVED__