このみちゃみなLv.84は読み難くない
fact1: あのぴちゅぴいLv.68は騒がしいしかつ看過し難い fact2: もし仮にあのぴちゅぴいLv.68が騒がしいとすればこのみちゃみなLv.84は騒がしいけど読み難くない fact3: あのぴちゅぴいLv.68が看過し難くないならばこのみちゃみなLv.84は読み難くてまた騒がしい
fact1 -> int1: あのぴちゅぴいLv.68は騒がしい; int1 & fact2 -> int2: このみちゃみなLv.84は騒がしいがしかしそれは読み難くない; int2 -> hypothesis;
fact1 -> int1: {A}{a}; int1 & fact2 -> int2: ({A}{b} & ¬{C}{b}); int2 -> hypothesis;
このみちゃみなLv.84は読み難い
$facts$ = fact1: あのぴちゅぴいLv.68は騒がしいしかつ看過し難い fact2: もし仮にあのぴちゅぴいLv.68が騒がしいとすればこのみちゃみなLv.84は騒がしいけど読み難くない fact3: あのぴちゅぴいLv.68が看過し難くないならばこのみちゃみなLv.84は読み難くてまた騒がしい ; $hypothesis$ = このみちゃみなLv.84は読み難くない ; $proof$ = 
fact1 -> int1: あのぴちゅぴいLv.68は騒がしい; int1 & fact2 -> int2: このみちゃみなLv.84は騒がしいがしかしそれは読み難くない; int2 -> hypothesis; __PROVED__
fact1 -> int1: {A}{a}; int1 & fact2 -> int2: ({A}{b} & ¬{C}{b}); int2 -> hypothesis; __PROVED__