「あのぴよぴくLv.84は吸収され難くないかもしくは丸っこいかどちらもである」ということは間違いである
fact1: もし仮になにがしかのモンスターは吸収され易いなら「それは吸収され難くないかまたは丸っこい」ということは成り立たない fact2: もし「あのぴなぴちょLv.59は吸収され易い」ということは成り立つとすればあのぴよぴくLv.84は捗々しい fact3: 仮に何らかのモンスターが高速化するということはないなら吸収され易いしさらに捗々しい fact4: あのぴなぴちょLv.59は吸収され易い fact5: もし仮にあのぴよぴくLv.84が捗々しいならあのぴよぴくLv.84は吸収され難くないかもしくはそれは丸っこいかまたは両方ともだ
fact2 & fact4 -> int1: あのぴよぴくLv.84は捗々しい; int1 & fact5 -> hypothesis;
fact2 & fact4 -> int1: {B}{b}; int1 & fact5 -> hypothesis;
「あのぴよぴくLv.84は吸収され難くないかもしくは丸っこいかどちらもである」ということは間違いである
fact6 -> int2: あのぴよぴくLv.84は吸収され易いとすれば「それは吸収され難くないかもしくは丸っこいかもしくはどちらもである」ということは成り立たない; fact7 -> int3: あのぴよぴくLv.84が高速化しないならばあのぴよぴくLv.84は吸収され易いし更に捗々しい;
$facts$ = fact1: もし仮になにがしかのモンスターは吸収され易いなら「それは吸収され難くないかまたは丸っこい」ということは成り立たない fact2: もし「あのぴなぴちょLv.59は吸収され易い」ということは成り立つとすればあのぴよぴくLv.84は捗々しい fact3: 仮に何らかのモンスターが高速化するということはないなら吸収され易いしさらに捗々しい fact4: あのぴなぴちょLv.59は吸収され易い fact5: もし仮にあのぴよぴくLv.84が捗々しいならあのぴよぴくLv.84は吸収され難くないかもしくはそれは丸っこいかまたは両方ともだ ; $hypothesis$ = 「あのぴよぴくLv.84は吸収され難くないかもしくは丸っこいかどちらもである」ということは間違いである ; $proof$ = 
fact2 & fact4 -> int1: あのぴよぴくLv.84は捗々しい; int1 & fact5 -> hypothesis; __DISPROVED__
fact2 & fact4 -> int1: {B}{b}; int1 & fact5 -> hypothesis; __DISPROVED__