以下のように仮定する。そのみにみにLv.73は喋り難い
fact1: 何らかのモンスターが猛々しいということはないならば昼寝しなくて所らしくない fact2: もし仮に「なにがしかのモンスターは猛々しくてそれにそれは訪ね歩く」ということは間違っているとすると猛々しくない fact3: 「そのぴちゅぴなLv.7は所らしくない」ということは確かならば「それは近しくないし更に喋り難くない」ということは成り立たない fact4: もしそのぴのぴにょLv.95が近しいとするとそのみにみにLv.73は怖ーくない fact5: 仮にそのみにみにLv.73が喋り難いかまたはそれが近しいかまたは両方ともだとするとそのぴのぴにょLv.95は怖ーくない fact6: 「とあるモンスターは近しいということはないしそれにそれは喋り難くない」ということは誤りだとしたら「それは怖ーくない」ということは成り立つ fact7: そのぴのぴにょLv.95は怖ーい
void -> assump1: 以下のように仮定する。そのみにみにLv.73は喋り難い; assump1 -> int1: そのみにみにLv.73は喋り難いか近しいかまたはどちらもである; int1 & fact5 -> int2: そのぴのぴにょLv.95は怖ーいということはない; int2 & fact7 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; assump1 -> int1: ({A}{a} v {B}{a}); int1 & fact5 -> int2: ¬{C}{b}; int2 & fact7 -> int3: #F#; [assump1] & int3 -> hypothesis;
「そのぴちゅぴなLv.7は怖ーくない」ということは真実である
fact11 -> int4: 「そのぴちゅぴなLv.7は近しくないし喋り難くない」ということは事実と異なるとしたら怖ーくない; fact10 -> int5: もしそのぴちゅぴなLv.7が猛々しくないとしたら昼寝するということはないししかもそれは所らしくない; fact8 -> int6: もし仮に「そのぴちゅぴなLv.7は猛々しくてかつそれは訪ね歩く」ということは成り立つということはないとすれば猛々しくない;
$facts$ = fact1: 何らかのモンスターが猛々しいということはないならば昼寝しなくて所らしくない fact2: もし仮に「なにがしかのモンスターは猛々しくてそれにそれは訪ね歩く」ということは間違っているとすると猛々しくない fact3: 「そのぴちゅぴなLv.7は所らしくない」ということは確かならば「それは近しくないし更に喋り難くない」ということは成り立たない fact4: もしそのぴのぴにょLv.95が近しいとするとそのみにみにLv.73は怖ーくない fact5: 仮にそのみにみにLv.73が喋り難いかまたはそれが近しいかまたは両方ともだとするとそのぴのぴにょLv.95は怖ーくない fact6: 「とあるモンスターは近しいということはないしそれにそれは喋り難くない」ということは誤りだとしたら「それは怖ーくない」ということは成り立つ fact7: そのぴのぴにょLv.95は怖ーい ; $hypothesis$ = 以下のように仮定する。そのみにみにLv.73は喋り難い ; $proof$ = 
void -> assump1: 以下のように仮定する。そのみにみにLv.73は喋り難い; assump1 -> int1: そのみにみにLv.73は喋り難いか近しいかまたはどちらもである; int1 & fact5 -> int2: そのぴのぴにょLv.95は怖ーいということはない; int2 & fact7 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
void -> assump1: {A}{a}; assump1 -> int1: ({A}{a} v {B}{a}); int1 & fact5 -> int2: ¬{C}{b}; int2 & fact7 -> int3: #F#; [assump1] & int3 -> hypothesis; __DISPROVED__