そのぽくぽくLv.55は怖じけ付く
fact1: もしもこのぷねぷなLv.63が掴み易いとしたらそのぽくぽくLv.55は合わせ易くない fact2: もし仮にそのぽくぽくLv.55が堪え難い一方でそれが合わせ易くないとしたらそれは怖じけ付く fact3: このぷねぷなLv.63は掴み易い fact4: そのぽくぽくLv.55は合わせ易くない fact5: そのぽくぽくLv.55が掴み易いし堪え難いとするとそのぽくぽくLv.55は怖じけ付く fact6: このぷねぷなLv.63が掴み易いとしたらそのぽくぽくLv.55は堪え難いけどそれは合わせ易くない
fact6 & fact3 -> int1: そのぽくぽくLv.55は堪え難い一方でそれは合わせ易くない; int1 & fact2 -> hypothesis;
fact6 & fact3 -> int1: ({AA}{b} & ¬{AB}{b}); int1 & fact2 -> hypothesis;
$facts$ = fact1: もしもこのぷねぷなLv.63が掴み易いとしたらそのぽくぽくLv.55は合わせ易くない fact2: もし仮にそのぽくぽくLv.55が堪え難い一方でそれが合わせ易くないとしたらそれは怖じけ付く fact3: このぷねぷなLv.63は掴み易い fact4: そのぽくぽくLv.55は合わせ易くない fact5: そのぽくぽくLv.55が掴み易いし堪え難いとするとそのぽくぽくLv.55は怖じけ付く fact6: このぷねぷなLv.63が掴み易いとしたらそのぽくぽくLv.55は堪え難いけどそれは合わせ易くない ; $hypothesis$ = そのぽくぽくLv.55は怖じけ付く ; $proof$ = 
fact6 & fact3 -> int1: そのぽくぽくLv.55は堪え難い一方でそれは合わせ易くない; int1 & fact2 -> hypothesis; __PROVED__
fact6 & fact3 -> int1: ({AA}{b} & ¬{AB}{b}); int1 & fact2 -> hypothesis; __PROVED__