そのみいみよLv.49は勿体無いかあるいはそれは世知辛いかもしくは両方だ
fact1: 「そのまにょまにLv.73はうざくないけれどけばけばしい」ということは間違っている fact2: もし仮に「そのまにょまにLv.73はうざくない一方でけばけばしい」ということは間違いだとするとそのみいみよLv.49は勿体無い fact3: もしもそのまにょまにLv.73がうざいならそのみいみよLv.49は勿体無い fact4: 「そのまにょまにLv.73はうざいモンスターでけばけばしい」ということは成り立たない
fact2 & fact1 -> int1: そのみいみよLv.49は勿体無い; int1 -> hypothesis;
fact2 & fact1 -> int1: {B}{b}; int1 -> hypothesis;
$facts$ = fact1: 「そのまにょまにLv.73はうざくないけれどけばけばしい」ということは間違っている fact2: もし仮に「そのまにょまにLv.73はうざくない一方でけばけばしい」ということは間違いだとするとそのみいみよLv.49は勿体無い fact3: もしもそのまにょまにLv.73がうざいならそのみいみよLv.49は勿体無い fact4: 「そのまにょまにLv.73はうざいモンスターでけばけばしい」ということは成り立たない ; $hypothesis$ = そのみいみよLv.49は勿体無いかあるいはそれは世知辛いかもしくは両方だ ; $proof$ = 
fact2 & fact1 -> int1: そのみいみよLv.49は勿体無い; int1 -> hypothesis; __PROVED__
fact2 & fact1 -> int1: {B}{b}; int1 -> hypothesis; __PROVED__