「そのぴやぴちょLv.33は切れ易いかまたは馬鹿でかい」ということは成り立たない
fact1: もし「「あのまよまちゅLv.50は馬鹿でかくないかまたは切れ易いということはないかまたは両方だ」ということは間違っている」ということは成り立つならそのぴやぴちょLv.33は切れ易くない fact2: もし「あのまよまちゅLv.50は除名しないけれど遊学する」ということは事実だということはないならばそのぴやぴちょLv.33は確からしい fact3: もし仮にそのぴやぴちょLv.33が除名するとしたらそのぴやぴちょLv.33は馬鹿でかい fact4: もしあのぴにゅぴよLv.50がオナニーするがしかし確からしくないとしたらあのまよまちゅLv.50は確からしくない fact5: 看過し難くないモンスターはオナニーするがしかし確からしくない fact6: もしそのぴやぴちょLv.33が確からしいならばそのぴやぴちょLv.33は切れ易い fact7: 「あのまよまちゅLv.50は除名しないがしかし遊学する」ということは成り立つということはない fact8: 仮にあるモンスターは切れ易くないとすると「手厚くないしそれに遊学する」ということは成り立たない
fact2 & fact7 -> int1: そのぴやぴちょLv.33は確からしい; int1 & fact6 -> int2: そのぴやぴちょLv.33は切れ易い; int2 -> hypothesis;
fact2 & fact7 -> int1: {B}{b}; int1 & fact6 -> int2: {A}{b}; int2 -> hypothesis;
「「そのぴやぴちょLv.33は手厚くないけれどそれは遊学する」ということは事実だ」ということは事実と異なる
fact10 -> int3: もし仮にそのぴやぴちょLv.33は切れ易くないとすれば「手厚くなくておまけにそれは遊学する」ということは偽だ; fact9 -> int4: もし仮にあのぴにゅぴよLv.50が看過し難いということはないならばそれがオナニーするしその上それは確からしいということはない;
$facts$ = fact1: もし「「あのまよまちゅLv.50は馬鹿でかくないかまたは切れ易いということはないかまたは両方だ」ということは間違っている」ということは成り立つならそのぴやぴちょLv.33は切れ易くない fact2: もし「あのまよまちゅLv.50は除名しないけれど遊学する」ということは事実だということはないならばそのぴやぴちょLv.33は確からしい fact3: もし仮にそのぴやぴちょLv.33が除名するとしたらそのぴやぴちょLv.33は馬鹿でかい fact4: もしあのぴにゅぴよLv.50がオナニーするがしかし確からしくないとしたらあのまよまちゅLv.50は確からしくない fact5: 看過し難くないモンスターはオナニーするがしかし確からしくない fact6: もしそのぴやぴちょLv.33が確からしいならばそのぴやぴちょLv.33は切れ易い fact7: 「あのまよまちゅLv.50は除名しないがしかし遊学する」ということは成り立つということはない fact8: 仮にあるモンスターは切れ易くないとすると「手厚くないしそれに遊学する」ということは成り立たない ; $hypothesis$ = 「そのぴやぴちょLv.33は切れ易いかまたは馬鹿でかい」ということは成り立たない ; $proof$ = 
fact2 & fact7 -> int1: そのぴやぴちょLv.33は確からしい; int1 & fact6 -> int2: そのぴやぴちょLv.33は切れ易い; int2 -> hypothesis; __DISPROVED__
fact2 & fact7 -> int1: {B}{b}; int1 & fact6 -> int2: {A}{b}; int2 -> hypothesis; __DISPROVED__