「そのものもちょLv.20は深しない」ということは成り立つ
fact1: そのものもちょLv.20は書き継ぐ fact2: そのものもちょLv.20が堪り易くてそれにそれが断り難いとしたらそのものもちょLv.20は深しない fact3: そのものもちょLv.20が書き継げば堪り易い fact4: そのものもちょLv.20は断り難い
fact3 & fact1 -> int1: 「そのものもちょLv.20は堪り易い」ということは事実である; int1 & fact4 -> int2: そのものもちょLv.20は堪り易いし断り難い; int2 & fact2 -> hypothesis;
fact3 & fact1 -> int1: {B}{a}; int1 & fact4 -> int2: ({B}{a} & {C}{a}); int2 & fact2 -> hypothesis;
$facts$ = fact1: そのものもちょLv.20は書き継ぐ fact2: そのものもちょLv.20が堪り易くてそれにそれが断り難いとしたらそのものもちょLv.20は深しない fact3: そのものもちょLv.20が書き継げば堪り易い fact4: そのものもちょLv.20は断り難い ; $hypothesis$ = 「そのものもちょLv.20は深しない」ということは成り立つ ; $proof$ = 
fact3 & fact1 -> int1: 「そのものもちょLv.20は堪り易い」ということは事実である; int1 & fact4 -> int2: そのものもちょLv.20は堪り易いし断り難い; int2 & fact2 -> hypothesis; __PROVED__
fact3 & fact1 -> int1: {B}{a}; int1 & fact4 -> int2: ({B}{a} & {C}{a}); int2 & fact2 -> hypothesis; __PROVED__