そのもねもえLv.50は親しい
fact1: このみにゅみちゃLv.25は濃い fact2: 仮にこのみにゅみちゃLv.25は縮めるししかも濃いならば「苦々しい」ということは事実であるということはない fact3: もし仮にこのみにゅみちゃLv.25が苦々しくないとしたらそのもねもえLv.50は苦々しくてまたそれは湧き立つ fact4: もし仮にそのもねもえLv.50が湧き立てば親しい fact5: このみにゅみちゃLv.25は縮める
fact5 & fact1 -> int1: 「このみにゅみちゃLv.25は縮めるしまたそれは濃い」ということは真実である; int1 & fact2 -> int2: 「このみにゅみちゃLv.25は苦々しいということはない」ということは本当である; int2 & fact3 -> int3: そのもねもえLv.50は苦々しいし湧き立つ; int3 -> int4: そのもねもえLv.50は湧き立つ; int4 & fact4 -> hypothesis;
fact5 & fact1 -> int1: ({A}{a} & {B}{a}); int1 & fact2 -> int2: ¬{C}{a}; int2 & fact3 -> int3: ({C}{b} & {E}{b}); int3 -> int4: {E}{b}; int4 & fact4 -> hypothesis;
$facts$ = fact1: このみにゅみちゃLv.25は濃い fact2: 仮にこのみにゅみちゃLv.25は縮めるししかも濃いならば「苦々しい」ということは事実であるということはない fact3: もし仮にこのみにゅみちゃLv.25が苦々しくないとしたらそのもねもえLv.50は苦々しくてまたそれは湧き立つ fact4: もし仮にそのもねもえLv.50が湧き立てば親しい fact5: このみにゅみちゃLv.25は縮める ; $hypothesis$ = そのもねもえLv.50は親しい ; $proof$ = 
fact5 & fact1 -> int1: 「このみにゅみちゃLv.25は縮めるしまたそれは濃い」ということは真実である; int1 & fact2 -> int2: 「このみにゅみちゃLv.25は苦々しいということはない」ということは本当である; int2 & fact3 -> int3: そのもねもえLv.50は苦々しいし湧き立つ; int3 -> int4: そのもねもえLv.50は湧き立つ; int4 & fact4 -> hypothesis; __PROVED__
fact5 & fact1 -> int1: ({A}{a} & {B}{a}); int1 & fact2 -> int2: ¬{C}{a}; int2 & fact3 -> int3: ({C}{b} & {E}{b}); int3 -> int4: {E}{b}; int4 & fact4 -> hypothesis; __PROVED__