あのぴちゃぴにゃLv.31は射出すらない
fact1: もしこのぴにゅぴにゃLv.50はプロらしいならば「あのぴちゃぴにゃLv.31は射出す」ということは事実である fact2: プロらしいモンスターはめんど臭くないしぐらつかない fact3: 「このぴのぴやLv.80は招き易いかまたはそれは癒し難い」ということは真実でない fact4: このぴのぴやLv.80はめんど臭いしさらにぐらつく fact5: もし仮になにがしかのモンスターはめんど臭いということはないし更にぐらつかないなら射出すらない fact6: 仮にこのぴのぴやLv.80がぐらつくならこのぴにゅぴにゃLv.50はプロらしい fact7: もし「何らかのモンスターは招き易いかもしくは癒し難いかもしくは両方である」ということは誤りならば御悪いということはない
fact4 -> int1: 「このぴのぴやLv.80はぐらつく」ということは本当である; int1 & fact6 -> int2: このぴにゅぴにゃLv.50はプロらしい; int2 & fact1 -> hypothesis;
fact4 -> int1: {B}{a}; int1 & fact6 -> int2: {C}{b}; int2 & fact1 -> hypothesis;
あのぴちゃぴにゃLv.31は射出すらない
fact9 -> int3: 仮にあのぴちゃぴにゃLv.31はめんど臭くなくて更にぐらつかないなら射出すらない; fact11 -> int4: もしあのぴちゃぴにゃLv.31がプロらしいならばそれはめんど臭いということはないしその上ぐらつかない; fact8 -> int5: もし「このぴのぴやLv.80は招き易いかまたは癒し難いかまたは両方ともである」ということは嘘だとしたらこのぴのぴやLv.80は御悪くない; int5 & fact10 -> int6: このぴのぴやLv.80は御悪くない; int6 -> int7: 「御悪くない」モンスターはいる;
$facts$ = fact1: もしこのぴにゅぴにゃLv.50はプロらしいならば「あのぴちゃぴにゃLv.31は射出す」ということは事実である fact2: プロらしいモンスターはめんど臭くないしぐらつかない fact3: 「このぴのぴやLv.80は招き易いかまたはそれは癒し難い」ということは真実でない fact4: このぴのぴやLv.80はめんど臭いしさらにぐらつく fact5: もし仮になにがしかのモンスターはめんど臭いということはないし更にぐらつかないなら射出すらない fact6: 仮にこのぴのぴやLv.80がぐらつくならこのぴにゅぴにゃLv.50はプロらしい fact7: もし「何らかのモンスターは招き易いかもしくは癒し難いかもしくは両方である」ということは誤りならば御悪いということはない ; $hypothesis$ = あのぴちゃぴにゃLv.31は射出すらない ; $proof$ = 
fact4 -> int1: 「このぴのぴやLv.80はぐらつく」ということは本当である; int1 & fact6 -> int2: このぴにゅぴにゃLv.50はプロらしい; int2 & fact1 -> hypothesis; __DISPROVED__
fact4 -> int1: {B}{a}; int1 & fact6 -> int2: {C}{b}; int2 & fact1 -> hypothesis; __DISPROVED__