「このぴちょぴちゃLv.21は止む無くないしその上勿体振らない」ということは嘘である
fact1: 仮にこのみわみなLv.55が宥めるか押し頂くかもしくは両方ともだとすればこのぴちょぴちゃLv.21は勿体振らない fact2: このぽちゃぽちょLv.37は勿体振る fact3: 「このぴちょぴちゃLv.21は止む無い」ということは確かであるとしたら「このみわみなLv.55は宥めないが押し頂く」ということは事実と異なる fact4: もしもこのみわみなLv.55が押し頂くとするとこのぴちょぴちゃLv.21は勿体振らない fact5: このみわみなLv.55は宥める fact6: このぴちょぴちゃLv.21は止む無くない fact7: もし「とあるモンスターは宥めないがしかし押し頂く」ということは事実でないなら勿体振らない fact8: もしこのみわみなLv.55は宥めないとしたら「このぴちょぴちゃLv.21は止む無くなくてそれは勿体振らない」ということは誤っている
fact5 -> int1: このみわみなLv.55は宥めるかもしくはそれは押し頂くかもしくは両方ともだ; int1 & fact1 -> int2: このぴちょぴちゃLv.21は勿体振らない; int2 & fact6 -> hypothesis;
fact5 -> int1: ({A}{a} v {B}{a}); int1 & fact1 -> int2: ¬{C}{b}; int2 & fact6 -> hypothesis;
「このぴちょぴちゃLv.21は止む無くないしその上勿体振らない」ということは嘘である
$facts$ = fact1: 仮にこのみわみなLv.55が宥めるか押し頂くかもしくは両方ともだとすればこのぴちょぴちゃLv.21は勿体振らない fact2: このぽちゃぽちょLv.37は勿体振る fact3: 「このぴちょぴちゃLv.21は止む無い」ということは確かであるとしたら「このみわみなLv.55は宥めないが押し頂く」ということは事実と異なる fact4: もしもこのみわみなLv.55が押し頂くとするとこのぴちょぴちゃLv.21は勿体振らない fact5: このみわみなLv.55は宥める fact6: このぴちょぴちゃLv.21は止む無くない fact7: もし「とあるモンスターは宥めないがしかし押し頂く」ということは事実でないなら勿体振らない fact8: もしこのみわみなLv.55は宥めないとしたら「このぴちょぴちゃLv.21は止む無くなくてそれは勿体振らない」ということは誤っている ; $hypothesis$ = 「このぴちょぴちゃLv.21は止む無くないしその上勿体振らない」ということは嘘である ; $proof$ = 
fact5 -> int1: このみわみなLv.55は宥めるかもしくはそれは押し頂くかもしくは両方ともだ; int1 & fact1 -> int2: このぴちょぴちゃLv.21は勿体振らない; int2 & fact6 -> hypothesis; __DISPROVED__
fact5 -> int1: ({A}{a} v {B}{a}); int1 & fact1 -> int2: ¬{C}{b}; int2 & fact6 -> hypothesis; __DISPROVED__