「「酷いししかもやばい」モンスターはいる」ということは成り立たない
fact1: あのもねもなLv.33はやばい fact2: もしあのまにょまくLv.23が忍び難いとするとあのもねもなLv.33は酷い fact3: あのまにょまくLv.23は忍び難い
fact2 & fact3 -> int1: あのもねもなLv.33は酷い; int1 & fact1 -> int2: あのもねもなLv.33は酷いしやばい; int2 -> hypothesis;
fact2 & fact3 -> int1: {B}{b}; int1 & fact1 -> int2: ({B}{b} & {C}{b}); int2 -> hypothesis;
$facts$ = fact1: あのもねもなLv.33はやばい fact2: もしあのまにょまくLv.23が忍び難いとするとあのもねもなLv.33は酷い fact3: あのまにょまくLv.23は忍び難い ; $hypothesis$ = 「「酷いししかもやばい」モンスターはいる」ということは成り立たない ; $proof$ = 
fact2 & fact3 -> int1: あのもねもなLv.33は酷い; int1 & fact1 -> int2: あのもねもなLv.33は酷いしやばい; int2 -> hypothesis; __DISPROVED__
fact2 & fact3 -> int1: {B}{b}; int1 & fact1 -> int2: ({B}{b} & {C}{b}); int2 -> hypothesis; __DISPROVED__