あのもいものLv.49はしどけない
fact1: もし仮に「このまのまちゅLv.18は通知するが収斂しない」ということは嘘だとするとあのもいものLv.49はしどけなくない fact2: それは通知するが収斂しないというモンスターはない fact3: もしそのまにゅまにょLv.98は蓄積され易くないとすれば「あのもいものLv.49はしどけなくて更に畳み込む」ということは間違っているということはない fact4: あのもいものLv.49が通知するとしたらこのまのまちゅLv.18はしどけなくない
fact2 -> int1: 「このまのまちゅLv.18は通知するがしかしそれは収斂しない」ということは成り立たない; int1 & fact1 -> hypothesis;
fact2 -> int1: ¬({AA}{aa} & ¬{AB}{aa}); int1 & fact1 -> hypothesis;
あのもいものLv.49はしどけない
$facts$ = fact1: もし仮に「このまのまちゅLv.18は通知するが収斂しない」ということは嘘だとするとあのもいものLv.49はしどけなくない fact2: それは通知するが収斂しないというモンスターはない fact3: もしそのまにゅまにょLv.98は蓄積され易くないとすれば「あのもいものLv.49はしどけなくて更に畳み込む」ということは間違っているということはない fact4: あのもいものLv.49が通知するとしたらこのまのまちゅLv.18はしどけなくない ; $hypothesis$ = あのもいものLv.49はしどけない ; $proof$ = 
fact2 -> int1: 「このまのまちゅLv.18は通知するがしかしそれは収斂しない」ということは成り立たない; int1 & fact1 -> hypothesis; __DISPROVED__
fact2 -> int1: ¬({AA}{aa} & ¬{AB}{aa}); int1 & fact1 -> hypothesis; __DISPROVED__