「そのぷにゅぷにゅLv.82は併置するしそれに話し難い」ということは誤りである
fact1: もしそのぽねぽちょLv.73は細いとしたら「そのぷにゅぷにゅLv.82は併置する」ということは確かである fact2: 仮に「「奥深くないがしかし無力化する」ということは成り立つということはない」モンスターがいるとしたらそのぽねぽちょLv.73は細い fact3: もし仮にあるモンスターは細くないとすれば「それは併置するししかもそれは話し難い」ということは成り立たない fact4: 「そのもちゅものLv.57は細い」ということは本当だ fact5: 「「奥深くなくてそれに無力化する」ということは成り立たない」モンスターはいる fact6: そのぷにゅぷにゅLv.82は話し難い
fact5 & fact2 -> int1: 「そのぽねぽちょLv.73は細い」ということは成り立つ; int1 & fact1 -> int2: そのぷにゅぷにゅLv.82は併置する; int2 & fact6 -> hypothesis;
fact5 & fact2 -> int1: {A}{a}; int1 & fact1 -> int2: {B}{b}; int2 & fact6 -> hypothesis;
そのもちゅものLv.57は細くてそれは歩き辛い
$facts$ = fact1: もしそのぽねぽちょLv.73は細いとしたら「そのぷにゅぷにゅLv.82は併置する」ということは確かである fact2: 仮に「「奥深くないがしかし無力化する」ということは成り立つということはない」モンスターがいるとしたらそのぽねぽちょLv.73は細い fact3: もし仮にあるモンスターは細くないとすれば「それは併置するししかもそれは話し難い」ということは成り立たない fact4: 「そのもちゅものLv.57は細い」ということは本当だ fact5: 「「奥深くなくてそれに無力化する」ということは成り立たない」モンスターはいる fact6: そのぷにゅぷにゅLv.82は話し難い ; $hypothesis$ = 「そのぷにゅぷにゅLv.82は併置するしそれに話し難い」ということは誤りである ; $proof$ = 
fact5 & fact2 -> int1: 「そのぽねぽちょLv.73は細い」ということは成り立つ; int1 & fact1 -> int2: そのぷにゅぷにゅLv.82は併置する; int2 & fact6 -> hypothesis; __DISPROVED__
fact5 & fact2 -> int1: {A}{a}; int1 & fact1 -> int2: {B}{b}; int2 & fact6 -> hypothesis; __DISPROVED__