あのぷゆぷなLv.71は観光客らしくない
fact1: あのぷゆぷなLv.71は許し難くない fact2: もしあのぷゆぷなLv.71が許し難くないならばあのぷゆぷなLv.71は拙い fact3: 許し難くないモンスターは観光客らしいモンスターで拙い
fact3 -> int1: もしあのぷゆぷなLv.71が許し難くないとするとあのぷゆぷなLv.71は観光客らしいしおまけにそれは拙い; int1 & fact1 -> int2: あのぷゆぷなLv.71は観光客らしいし拙い; int2 -> hypothesis;
fact3 -> int1: ¬{A}{aa} -> ({AA}{aa} & {AB}{aa}); int1 & fact1 -> int2: ({AA}{aa} & {AB}{aa}); int2 -> hypothesis;
$facts$ = fact1: あのぷゆぷなLv.71は許し難くない fact2: もしあのぷゆぷなLv.71が許し難くないならばあのぷゆぷなLv.71は拙い fact3: 許し難くないモンスターは観光客らしいモンスターで拙い ; $hypothesis$ = あのぷゆぷなLv.71は観光客らしくない ; $proof$ = 
fact3 -> int1: もしあのぷゆぷなLv.71が許し難くないとするとあのぷゆぷなLv.71は観光客らしいしおまけにそれは拙い; int1 & fact1 -> int2: あのぷゆぷなLv.71は観光客らしいし拙い; int2 -> hypothesis; __DISPROVED__
fact3 -> int1: ¬{A}{aa} -> ({AA}{aa} & {AB}{aa}); int1 & fact1 -> int2: ({AA}{aa} & {AB}{aa}); int2 -> hypothesis; __DISPROVED__