このもにょもやLv.3は腐り易くない
fact1: このもにょもやLv.3は隠滅する fact2: もし仮にこのもにょもやLv.3が腐り易いかまたはそれがねんねするか両方ともだとすればあのぷにゅぷなLv.29は隠滅するということはない fact3: あのぷにゅぷなLv.29は腐り易いということはない fact4: このもにょもやLv.3は隠滅するとすれば「あのぷにゅぷなLv.29はねんねしない」ということは真実である fact5: あのぷにゅぷなLv.29は隠滅する fact6: 仮にこのもにょもやLv.3がねんねするとするとあのぷにゅぷなLv.29は隠滅するということはない fact7: このもにょもやLv.3は算定する
void -> assump1: 以下のように仮定する。「このもにょもやLv.3は腐り易い」ということは正しい; assump1 -> int1: このもにょもやLv.3は腐り易いかもしくはねんねするかあるいはどちらもだ; int1 & fact2 -> int2: あのぷにゅぷなLv.29は隠滅しない; int2 & fact5 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; assump1 -> int1: ({A}{a} v {B}{a}); int1 & fact2 -> int2: ¬{C}{b}; int2 & fact5 -> int3: #F#; [assump1] & int3 -> hypothesis;
$facts$ = fact1: このもにょもやLv.3は隠滅する fact2: もし仮にこのもにょもやLv.3が腐り易いかまたはそれがねんねするか両方ともだとすればあのぷにゅぷなLv.29は隠滅するということはない fact3: あのぷにゅぷなLv.29は腐り易いということはない fact4: このもにょもやLv.3は隠滅するとすれば「あのぷにゅぷなLv.29はねんねしない」ということは真実である fact5: あのぷにゅぷなLv.29は隠滅する fact6: 仮にこのもにょもやLv.3がねんねするとするとあのぷにゅぷなLv.29は隠滅するということはない fact7: このもにょもやLv.3は算定する ; $hypothesis$ = このもにょもやLv.3は腐り易くない ; $proof$ = 
void -> assump1: 以下のように仮定する。「このもにょもやLv.3は腐り易い」ということは正しい; assump1 -> int1: このもにょもやLv.3は腐り易いかもしくはねんねするかあるいはどちらもだ; int1 & fact2 -> int2: あのぷにゅぷなLv.29は隠滅しない; int2 & fact5 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: {A}{a}; assump1 -> int1: ({A}{a} v {B}{a}); int1 & fact2 -> int2: ¬{C}{b}; int2 & fact5 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__