「もしそのまにょまゆLv.14が活動し易いならあのぽのぽえLv.91は分離独立する」ということは間違いだ
fact1: 仮にそのみねみいLv.41がもがき始めないし得難くないとしたらあのぽのぽえLv.91は分離独立する fact2: もし仮にあのぽのぽえLv.91が捕らえ難いならば分離独立しないし得難くない fact3: もしもそのまにょまゆLv.14が活動し易いとしたらそのまにょまゆLv.14は得難い fact4: もし仮に「そのみねみいLv.41は得難くない」ということは本当であるとすればそのまにょまゆLv.14はもがき始めるし活動し易い fact5: もし仮にそのみねみいLv.41が分離独立するけど活動し易くないとしたらあのぽのぽえLv.91は得難い
void -> assump1: 以下のように仮定する。そのまにょまゆLv.14は活動し易い; fact3 & assump1 -> int1: そのまにょまゆLv.14は得難い;
void -> assump1: {A}{a}; fact3 & assump1 -> int1: {B}{a};
「そのまにょまゆLv.14はもがき始めない」ということは嘘だ
$facts$ = fact1: 仮にそのみねみいLv.41がもがき始めないし得難くないとしたらあのぽのぽえLv.91は分離独立する fact2: もし仮にあのぽのぽえLv.91が捕らえ難いならば分離独立しないし得難くない fact3: もしもそのまにょまゆLv.14が活動し易いとしたらそのまにょまゆLv.14は得難い fact4: もし仮に「そのみねみいLv.41は得難くない」ということは本当であるとすればそのまにょまゆLv.14はもがき始めるし活動し易い fact5: もし仮にそのみねみいLv.41が分離独立するけど活動し易くないとしたらあのぽのぽえLv.91は得難い ; $hypothesis$ = 「もしそのまにょまゆLv.14が活動し易いならあのぽのぽえLv.91は分離独立する」ということは間違いだ ; $proof$ = 
__UNKNOWN__
__UNKNOWN__