このまいまなLv.0は転居する
fact1: 仮に「このぴやぴにょLv.95は取り掛かり易いということはなくてそれに認めない」ということは成り立つということはないならこのまいまなLv.0は転居する fact2: そのぽちょぽにゃLv.90は手強い一方で美々しいということはない fact3: もしもそのみにみくLv.51が惜敗するとしたらこのぴやぴにょLv.95は登記出来る fact4: もしもこのぴやぴにょLv.95が登記出来ればこのぴやぴにょLv.95は惜敗する fact5: もしもこのぴやぴにょLv.95は登記出来るなら「「このぴやぴにょLv.95は取り掛かり易くなくてそれにそれは認めない」ということは事実と異なる」ということは偽だということはない fact6: 仮にそのぽちょぽにゃLv.90が手強いが美々しくないならばそのみにみくLv.51は心深し fact7: もしそのぽちょぽにゃLv.90は手強いとしたら「そのぽちょぽにゃLv.90は取り掛かり易くないしまた登記出来ない」ということは事実と異なる fact8: もしもそのみにみくLv.51が心深しとすれば惜敗する fact9: そのぽちょぽにゃLv.90は手強い
fact6 & fact2 -> int1: そのみにみくLv.51は心深し; int1 & fact8 -> int2: そのみにみくLv.51は惜敗する; int2 & fact3 -> int3: このぴやぴにょLv.95は登記出来る; int3 & fact5 -> int4: 「このぴやぴにょLv.95は取り掛かり易くないしその上認めない」ということは事実と異なる; int4 & fact1 -> hypothesis;
fact6 & fact2 -> int1: {B}{b}; int1 & fact8 -> int2: {A}{b}; int2 & fact3 -> int3: {C}{c}; int3 & fact5 -> int4: ¬(¬{E}{c} & ¬{D}{c}); int4 & fact1 -> hypothesis;
$facts$ = fact1: 仮に「このぴやぴにょLv.95は取り掛かり易いということはなくてそれに認めない」ということは成り立つということはないならこのまいまなLv.0は転居する fact2: そのぽちょぽにゃLv.90は手強い一方で美々しいということはない fact3: もしもそのみにみくLv.51が惜敗するとしたらこのぴやぴにょLv.95は登記出来る fact4: もしもこのぴやぴにょLv.95が登記出来ればこのぴやぴにょLv.95は惜敗する fact5: もしもこのぴやぴにょLv.95は登記出来るなら「「このぴやぴにょLv.95は取り掛かり易くなくてそれにそれは認めない」ということは事実と異なる」ということは偽だということはない fact6: 仮にそのぽちょぽにゃLv.90が手強いが美々しくないならばそのみにみくLv.51は心深し fact7: もしそのぽちょぽにゃLv.90は手強いとしたら「そのぽちょぽにゃLv.90は取り掛かり易くないしまた登記出来ない」ということは事実と異なる fact8: もしもそのみにみくLv.51が心深しとすれば惜敗する fact9: そのぽちょぽにゃLv.90は手強い ; $hypothesis$ = このまいまなLv.0は転居する ; $proof$ = 
fact6 & fact2 -> int1: そのみにみくLv.51は心深し; int1 & fact8 -> int2: そのみにみくLv.51は惜敗する; int2 & fact3 -> int3: このぴやぴにょLv.95は登記出来る; int3 & fact5 -> int4: 「このぴやぴにょLv.95は取り掛かり易くないしその上認めない」ということは事実と異なる; int4 & fact1 -> hypothesis; __PROVED__
fact6 & fact2 -> int1: {B}{b}; int1 & fact8 -> int2: {A}{b}; int2 & fact3 -> int3: {C}{c}; int3 & fact5 -> int4: ¬(¬{E}{c} & ¬{D}{c}); int4 & fact1 -> hypothesis; __PROVED__