「そのみにゃみちゅLv.78は当て付けがましいということはないがしかし汗臭い」ということは事実と異なる
fact1: そのみにゃみちゅLv.78は極意山高しない fact2: 「もしなんらかのモンスターが極意山高しないとすると当て付けはましくらなくてそれは汗臭い」ということは成り立つ fact3: このぷにょぷやLv.80は汗臭くない
fact2 -> int1: もし仮にそのみにゃみちゅLv.78が極意山高しないとすると当て付けがましかないけど汗臭い; int1 & fact1 -> hypothesis;
fact2 -> int1: ¬{A}{aa} -> (¬{AA}{aa} & {AB}{aa}); int1 & fact1 -> hypothesis;
$facts$ = fact1: そのみにゃみちゅLv.78は極意山高しない fact2: 「もしなんらかのモンスターが極意山高しないとすると当て付けはましくらなくてそれは汗臭い」ということは成り立つ fact3: このぷにょぷやLv.80は汗臭くない ; $hypothesis$ = 「そのみにゃみちゅLv.78は当て付けがましいということはないがしかし汗臭い」ということは事実と異なる ; $proof$ = 
fact2 -> int1: もし仮にそのみにゃみちゅLv.78が極意山高しないとすると当て付けがましかないけど汗臭い; int1 & fact1 -> hypothesis; __DISPROVED__
fact2 -> int1: ¬{A}{aa} -> (¬{AA}{aa} & {AB}{aa}); int1 & fact1 -> hypothesis; __DISPROVED__