あのぴくぴくLv.28は洒落臭いがしかし御届けしない
fact1: あのぴくぴくLv.28が掴み易いとすれば御届けしない fact2: もしあのぴくぴくLv.28が掴み易いとすればあのぴなぴえLv.30は付着し易い fact3: あのぴくぴくLv.28は洒落臭い fact4: あのぴくぴくLv.28はすーごい fact5: このぽなぽくLv.64がすーごいとすればあのぴくぴくLv.28は掴み易い fact6: もしなにがしかのモンスターは掴み易くないならば「洒落臭いがしかし御届けしない」ということは間違っている fact7: 仮にあのぴくぴくLv.28が掴み易いかまたはすーごいかまたは両方だとしたらあのぴくぴくLv.28は御届けしない fact8: あのみやみちゅLv.70が洒落臭くないならこのぽなぽくLv.64はすーごいしまた御届けする
fact4 -> int1: あのぴくぴくLv.28は掴み易いかまたはすーごいかもしくは両方ともだ; int1 & fact7 -> int2: あのぴくぴくLv.28は御届けしない; int2 & fact3 -> hypothesis;
fact4 -> int1: ({A}{a} v {B}{a}); int1 & fact7 -> int2: ¬{C}{a}; int2 & fact3 -> hypothesis;
あのぴなぴえLv.30は付着し易いかまたは近しかもしくは両方ともである
$facts$ = fact1: あのぴくぴくLv.28が掴み易いとすれば御届けしない fact2: もしあのぴくぴくLv.28が掴み易いとすればあのぴなぴえLv.30は付着し易い fact3: あのぴくぴくLv.28は洒落臭い fact4: あのぴくぴくLv.28はすーごい fact5: このぽなぽくLv.64がすーごいとすればあのぴくぴくLv.28は掴み易い fact6: もしなにがしかのモンスターは掴み易くないならば「洒落臭いがしかし御届けしない」ということは間違っている fact7: 仮にあのぴくぴくLv.28が掴み易いかまたはすーごいかまたは両方だとしたらあのぴくぴくLv.28は御届けしない fact8: あのみやみちゅLv.70が洒落臭くないならこのぽなぽくLv.64はすーごいしまた御届けする ; $hypothesis$ = あのぴくぴくLv.28は洒落臭いがしかし御届けしない ; $proof$ = 
fact4 -> int1: あのぴくぴくLv.28は掴み易いかまたはすーごいかもしくは両方ともだ; int1 & fact7 -> int2: あのぴくぴくLv.28は御届けしない; int2 & fact3 -> hypothesis; __PROVED__
fact4 -> int1: ({A}{a} v {B}{a}); int1 & fact7 -> int2: ¬{C}{a}; int2 & fact3 -> hypothesis; __PROVED__