「そのまちゃまちゅLv.46は解け易くない一方でそれは連用する」ということは成り立たない
fact1: 「解け易い」モンスターはいる fact2: 「そのまちゃまちゅLv.46は解け易くて連用する」ということは成り立たない fact3: 仮に「慈愛深い」モンスターはいるとすると「そのまちゃまちゅLv.46は解け易いしまたそれは連用する」ということは間違っている fact4: 「慈愛深い」モンスターはいる fact5: 「慈愛深い」モンスターはいるとすると「「そのまちゃまちゅLv.46は解け易くないが連用する」ということは確かである」ということは成り立つということはない
fact4 -> int1: 「慈愛深い」モンスターはいる; int1 & fact5 -> hypothesis;
fact4 -> int1: (Ex): {A}x; int1 & fact5 -> hypothesis;
$facts$ = fact1: 「解け易い」モンスターはいる fact2: 「そのまちゃまちゅLv.46は解け易くて連用する」ということは成り立たない fact3: 仮に「慈愛深い」モンスターはいるとすると「そのまちゃまちゅLv.46は解け易いしまたそれは連用する」ということは間違っている fact4: 「慈愛深い」モンスターはいる fact5: 「慈愛深い」モンスターはいるとすると「「そのまちゃまちゅLv.46は解け易くないが連用する」ということは確かである」ということは成り立つということはない ; $hypothesis$ = 「そのまちゃまちゅLv.46は解け易くない一方でそれは連用する」ということは成り立たない ; $proof$ = 
fact4 -> int1: 「慈愛深い」モンスターはいる; int1 & fact5 -> hypothesis; __PROVED__
fact4 -> int1: (Ex): {A}x; int1 & fact5 -> hypothesis; __PROVED__