「このぴちょぴくLv.32は解し難くないが伝え難い」ということは間違いだ
fact1: もしもこのぴちょぴくLv.32が凛々しいということはないとすればこのぴちょぴくLv.32は解し難くない fact2: このぴちょぴくLv.32は送付する fact3: このぴちょぴくLv.32は通じ難い fact4: もしこのぴちょぴくLv.32は送付するししかも通じ難いとすれば凛々しくない fact5: もしあるモンスターは送付しないなら「解し難くないしかつ伝え難い」ということは間違いである fact6: このぴちょぴくLv.32が凛々しいということはないならこのぴちょぴくLv.32は解し難くないけど伝え難い
fact2 & fact3 -> int1: このぴちょぴくLv.32は送付するしさらに通じ難い; int1 & fact4 -> int2: このぴちょぴくLv.32は凛々しくない; int2 & fact6 -> hypothesis;
fact2 & fact3 -> int1: ({A}{a} & {B}{a}); int1 & fact4 -> int2: ¬{C}{a}; int2 & fact6 -> hypothesis;
「このぴちょぴくLv.32は解し難くないが伝え難い」ということは間違いだ
fact7 -> int3: このぴちょぴくLv.32は送付するということはないとしたら「それは解し難くないけど伝え難い」ということは偽である;
$facts$ = fact1: もしもこのぴちょぴくLv.32が凛々しいということはないとすればこのぴちょぴくLv.32は解し難くない fact2: このぴちょぴくLv.32は送付する fact3: このぴちょぴくLv.32は通じ難い fact4: もしこのぴちょぴくLv.32は送付するししかも通じ難いとすれば凛々しくない fact5: もしあるモンスターは送付しないなら「解し難くないしかつ伝え難い」ということは間違いである fact6: このぴちょぴくLv.32が凛々しいということはないならこのぴちょぴくLv.32は解し難くないけど伝え難い ; $hypothesis$ = 「このぴちょぴくLv.32は解し難くないが伝え難い」ということは間違いだ ; $proof$ = 
fact2 & fact3 -> int1: このぴちょぴくLv.32は送付するしさらに通じ難い; int1 & fact4 -> int2: このぴちょぴくLv.32は凛々しくない; int2 & fact6 -> hypothesis; __DISPROVED__
fact2 & fact3 -> int1: ({A}{a} & {B}{a}); int1 & fact4 -> int2: ¬{C}{a}; int2 & fact6 -> hypothesis; __DISPROVED__