そのぷちゅぷよLv.72は太り易くない
fact1: このぷにゃぷねLv.82は益無し fact2: もし仮に「そのぷちゅぷよLv.72は御容赦下さる」ということは成り立つとすればそれは太り易い fact3: もしもあのぴにぴのLv.52が突き破るならこのぷにゃぷねLv.82は突き破る fact4: もしこのぷにゃぷねLv.82が益無しとするとそのぷちゅぷよLv.72は御容赦下さる fact5: もし仮に何らかのモンスターが突き破るならそれは聞こえ続ける fact6: もしもこのぴにぴなLv.3が割れ易いならばあのぴにぴのLv.52は突き破る fact7: とあるモンスターは聞こえ続けるとすると「それは益無しないが御容赦下さる」ということは間違っている
fact4 & fact1 -> int1: そのぷちゅぷよLv.72は御容赦下さる; int1 & fact2 -> hypothesis;
fact4 & fact1 -> int1: {B}{b}; int1 & fact2 -> hypothesis;
そのぷちゅぷよLv.72は太り易くない
fact11 -> int2: 仮にこのぷにゃぷねLv.82は聞こえ続けるなら「このぷにゃぷねLv.82は益無しないけれど御容赦下さる」ということは成り立たない; fact9 -> int3: もし仮にこのぷにゃぷねLv.82が突き破るとすればそれは聞こえ続ける;
$facts$ = fact1: このぷにゃぷねLv.82は益無し fact2: もし仮に「そのぷちゅぷよLv.72は御容赦下さる」ということは成り立つとすればそれは太り易い fact3: もしもあのぴにぴのLv.52が突き破るならこのぷにゃぷねLv.82は突き破る fact4: もしこのぷにゃぷねLv.82が益無しとするとそのぷちゅぷよLv.72は御容赦下さる fact5: もし仮に何らかのモンスターが突き破るならそれは聞こえ続ける fact6: もしもこのぴにぴなLv.3が割れ易いならばあのぴにぴのLv.52は突き破る fact7: とあるモンスターは聞こえ続けるとすると「それは益無しないが御容赦下さる」ということは間違っている ; $hypothesis$ = そのぷちゅぷよLv.72は太り易くない ; $proof$ = 
fact4 & fact1 -> int1: そのぷちゅぷよLv.72は御容赦下さる; int1 & fact2 -> hypothesis; __DISPROVED__
fact4 & fact1 -> int1: {B}{b}; int1 & fact2 -> hypothesis; __DISPROVED__