そのみちゃみにLv.26は届き難くない
fact1: あのもちゅもちゃLv.28は義務付けしない fact2: そのみちゃみにLv.26が涙脆くないとするとそのみちゃみにLv.26は届き難くて義務付けする fact3: 「そのみちゃみにLv.26は義務付けする」ということは誤りでない fact4: 陥り易いモンスターは涙脆くない fact5: もしそのみちゃみにLv.26が義務付けするとするとあのもちゅもちゃLv.28は届き難い fact6: 仮にそのみちゃみにLv.26が届き難いとしたらあのもちゅもちゃLv.28は義務付けする
void -> assump1: 以下のように仮定する。そのみちゃみにLv.26は届き難い; fact6 & assump1 -> int1: あのもちゅもちゃLv.28は義務付けする; int1 & fact1 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis;
void -> assump1: {A}{a}; fact6 & assump1 -> int1: {B}{b}; int1 & fact1 -> int2: #F#; [assump1] & int2 -> hypothesis;
以下のように仮定する。そのみちゃみにLv.26は届き難い
fact8 -> int3: もしそのみちゃみにLv.26が陥り易いならばそのみちゃみにLv.26は涙脆くない;
$facts$ = fact1: あのもちゅもちゃLv.28は義務付けしない fact2: そのみちゃみにLv.26が涙脆くないとするとそのみちゃみにLv.26は届き難くて義務付けする fact3: 「そのみちゃみにLv.26は義務付けする」ということは誤りでない fact4: 陥り易いモンスターは涙脆くない fact5: もしそのみちゃみにLv.26が義務付けするとするとあのもちゅもちゃLv.28は届き難い fact6: 仮にそのみちゃみにLv.26が届き難いとしたらあのもちゅもちゃLv.28は義務付けする ; $hypothesis$ = そのみちゃみにLv.26は届き難くない ; $proof$ = 
void -> assump1: 以下のように仮定する。そのみちゃみにLv.26は届き難い; fact6 & assump1 -> int1: あのもちゅもちゃLv.28は義務付けする; int1 & fact1 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis; __PROVED__
void -> assump1: {A}{a}; fact6 & assump1 -> int1: {B}{b}; int1 & fact1 -> int2: #F#; [assump1] & int2 -> hypothesis; __PROVED__