「そのもなもにょLv.50はパッケージ化するしかつ生き易い」ということは成り立たない
fact1: もしもそのまにょまちゅLv.52が腹立たしいとするとそのもなもにょLv.50はパッケージ化する fact2: そのもなもにょLv.50は生き易い fact3: そのまにょまちゅLv.52は腹立たしいかあるいはそれは展開し易いか両方だ fact4: 仮にそのもなもにょLv.50が展開し易いならそのまにょまちゅLv.52はパッケージ化する fact5: もしそのまにょまちゅLv.52が展開し易いとすればそのもなもにょLv.50はパッケージ化する
fact3 & fact1 & fact5 -> int1: そのもなもにょLv.50はパッケージ化する; int1 & fact2 -> hypothesis;
fact3 & fact1 & fact5 -> int1: {C}{c}; int1 & fact2 -> hypothesis;
$facts$ = fact1: もしもそのまにょまちゅLv.52が腹立たしいとするとそのもなもにょLv.50はパッケージ化する fact2: そのもなもにょLv.50は生き易い fact3: そのまにょまちゅLv.52は腹立たしいかあるいはそれは展開し易いか両方だ fact4: 仮にそのもなもにょLv.50が展開し易いならそのまにょまちゅLv.52はパッケージ化する fact5: もしそのまにょまちゅLv.52が展開し易いとすればそのもなもにょLv.50はパッケージ化する ; $hypothesis$ = 「そのもなもにょLv.50はパッケージ化するしかつ生き易い」ということは成り立たない ; $proof$ = 
fact3 & fact1 & fact5 -> int1: そのもなもにょLv.50はパッケージ化する; int1 & fact2 -> hypothesis; __DISPROVED__
fact3 & fact1 & fact5 -> int1: {C}{c}; int1 & fact2 -> hypothesis; __DISPROVED__