「そのぷちゅぷちゅLv.32は喜ばしいけど発生し難いということはない」ということは嘘だ
fact1: もしもあるモンスターは高騰しないとしたら「「それは喜ばしいししかもそれは発生し難くない」ということは事実である」ということは成り立たない fact2: あのもにゅもにゃLv.62は高騰するしさらに人恋しい fact3: もし仮にそのまにゃまねLv.41が乳臭いとすればそのぷちゅぷちゅLv.32は喜ばしいけど発生し難くない fact4: あのもにゅもにゃLv.62が味気無いとするとそのまにゃまねLv.41は乳臭い fact5: もし仮に「何らかのモンスターは人恋しくないがそれは高騰する」ということは本当でないなら死に掛からない fact6: もしもあのもにゅもにゃLv.62が人恋しいとすればあのもにゅもにゃLv.62は味気無い
fact2 -> int1: あのもにゅもにゃLv.62は人恋しい; int1 & fact6 -> int2: あのもにゅもにゃLv.62は味気無い; int2 & fact4 -> int3: そのまにゃまねLv.41は乳臭い; int3 & fact3 -> hypothesis;
fact2 -> int1: {B}{a}; int1 & fact6 -> int2: {C}{a}; int2 & fact4 -> int3: {D}{b}; int3 & fact3 -> hypothesis;
そのぷちゅぷちゅLv.32は喜ばしいけれど死に掛からない
fact7 -> int4: もしも「そのまにゃまねLv.41は人恋しくないけどそれは高騰する」ということは嘘ならばそのまにゃまねLv.41は死に掛からない;
$facts$ = fact1: もしもあるモンスターは高騰しないとしたら「「それは喜ばしいししかもそれは発生し難くない」ということは事実である」ということは成り立たない fact2: あのもにゅもにゃLv.62は高騰するしさらに人恋しい fact3: もし仮にそのまにゃまねLv.41が乳臭いとすればそのぷちゅぷちゅLv.32は喜ばしいけど発生し難くない fact4: あのもにゅもにゃLv.62が味気無いとするとそのまにゃまねLv.41は乳臭い fact5: もし仮に「何らかのモンスターは人恋しくないがそれは高騰する」ということは本当でないなら死に掛からない fact6: もしもあのもにゅもにゃLv.62が人恋しいとすればあのもにゅもにゃLv.62は味気無い ; $hypothesis$ = 「そのぷちゅぷちゅLv.32は喜ばしいけど発生し難いということはない」ということは嘘だ ; $proof$ = 
fact2 -> int1: あのもにゅもにゃLv.62は人恋しい; int1 & fact6 -> int2: あのもにゅもにゃLv.62は味気無い; int2 & fact4 -> int3: そのまにゃまねLv.41は乳臭い; int3 & fact3 -> hypothesis; __DISPROVED__
fact2 -> int1: {B}{a}; int1 & fact6 -> int2: {C}{a}; int2 & fact4 -> int3: {D}{b}; int3 & fact3 -> hypothesis; __DISPROVED__