このみちゃみえLv.76は作り易くないけど共鳴し易い
fact1: もし仮にこのぽなぽちゃLv.43は共鳴し易くないとすれば「このみちゃみえLv.76は作り易くないけど共鳴し易い」ということは成り立たない fact2: 「そのぷのぷなLv.83は調製する」ということは本当である fact3: 「そのぷのぷなLv.83は舞えないがしかしそれは調製する」ということは成り立てばこのぽなぽちゃLv.43は共鳴し易くない fact4: そのぷのぷなLv.83は舞えない
fact4 & fact2 -> int1: そのぷのぷなLv.83は舞えるということはないけど調製する; int1 & fact3 -> int2: このぽなぽちゃLv.43は共鳴し易くない; int2 & fact1 -> hypothesis;
fact4 & fact2 -> int1: (¬{A}{a} & {B}{a}); int1 & fact3 -> int2: ¬{C}{b}; int2 & fact1 -> hypothesis;
$facts$ = fact1: もし仮にこのぽなぽちゃLv.43は共鳴し易くないとすれば「このみちゃみえLv.76は作り易くないけど共鳴し易い」ということは成り立たない fact2: 「そのぷのぷなLv.83は調製する」ということは本当である fact3: 「そのぷのぷなLv.83は舞えないがしかしそれは調製する」ということは成り立てばこのぽなぽちゃLv.43は共鳴し易くない fact4: そのぷのぷなLv.83は舞えない ; $hypothesis$ = このみちゃみえLv.76は作り易くないけど共鳴し易い ; $proof$ = 
fact4 & fact2 -> int1: そのぷのぷなLv.83は舞えるということはないけど調製する; int1 & fact3 -> int2: このぽなぽちゃLv.43は共鳴し易くない; int2 & fact1 -> hypothesis; __DISPROVED__
fact4 & fact2 -> int1: (¬{A}{a} & {B}{a}); int1 & fact3 -> int2: ¬{C}{b}; int2 & fact1 -> hypothesis; __DISPROVED__