「あのもやもにょLv.88は賛成し難いかもしくはそれは曇り無しないかまたは両方ともである」ということは成り立たない
fact1: なんらかのモンスターが賛成し難いということはないならば執念深いかもしくは覚え難くない fact2: あのもやもにょLv.88は賛成し難いししかも射出する
fact2 -> int1: 「あのもやもにょLv.88は賛成し難い」ということは成り立つ; int1 -> hypothesis;
fact2 -> int1: {A}{a}; int1 -> hypothesis;
そのまくまのLv.5は執念深いか覚え難くないかもしくはどちらもだ
fact3 -> int2: もし仮にそのまくまのLv.5が賛成し難くないならばそのまくまのLv.5は執念深いかもしくはそれは覚え難いということはないかあるいはどちらもである;
$facts$ = fact1: なんらかのモンスターが賛成し難いということはないならば執念深いかもしくは覚え難くない fact2: あのもやもにょLv.88は賛成し難いししかも射出する ; $hypothesis$ = 「あのもやもにょLv.88は賛成し難いかもしくはそれは曇り無しないかまたは両方ともである」ということは成り立たない ; $proof$ = 
fact2 -> int1: 「あのもやもにょLv.88は賛成し難い」ということは成り立つ; int1 -> hypothesis; __DISPROVED__
fact2 -> int1: {A}{a}; int1 -> hypothesis; __DISPROVED__