もし仮にこのもにょもちゅLv.78は二人しないとすると「このぽにょぽなLv.78は甘辛いかまたは恐れ多いかもしくは両方ともだ」ということは成り立つということはない
fact1: 仮にこのもにょもちゅLv.78が二人するとすれば総称するということはない fact2: もしなにがしかのモンスターが二人しないなら総称しない fact3: もしもこのもにょもちゅLv.78は総称しないとすれば「このぽにょぽなLv.78は甘辛いかもしくは恐れ多いかまたは両方である」ということは成り立たない fact4: 仮に「このもにょもちゅLv.78は二人する」ということは確かであるとすると「このぽにょぽなLv.78は甘辛いか恐れ多いかまたは両方ともだ」ということは誤りだ fact5: このぽにょぽなLv.78は恐れ多くない fact6: もしこのもにょもちゅLv.78が総称しないならばこのぽにょぽなLv.78は恐れ多くない
fact2 -> int1: もしもこのもにょもちゅLv.78が二人するということはないとするとこのもにょもちゅLv.78は総称しない; void -> assump1: 以下のように仮定する。このもにょもちゅLv.78は二人するということはない; int1 & assump1 -> int2: このもにょもちゅLv.78は総称するということはない; int2 & fact3 -> int3: 「このぽにょぽなLv.78は甘辛いかあるいはそれは恐れ多い」ということは成り立たない; [assump1] & int3 -> hypothesis;
fact2 -> int1: ¬{B}{aa} -> ¬{C}{aa}; void -> assump1: ¬{B}{aa}; int1 & assump1 -> int2: ¬{C}{aa}; int2 & fact3 -> int3: ¬({D}{a} v {A}{a}); [assump1] & int3 -> hypothesis;
$facts$ = fact1: 仮にこのもにょもちゅLv.78が二人するとすれば総称するということはない fact2: もしなにがしかのモンスターが二人しないなら総称しない fact3: もしもこのもにょもちゅLv.78は総称しないとすれば「このぽにょぽなLv.78は甘辛いかもしくは恐れ多いかまたは両方である」ということは成り立たない fact4: 仮に「このもにょもちゅLv.78は二人する」ということは確かであるとすると「このぽにょぽなLv.78は甘辛いか恐れ多いかまたは両方ともだ」ということは誤りだ fact5: このぽにょぽなLv.78は恐れ多くない fact6: もしこのもにょもちゅLv.78が総称しないならばこのぽにょぽなLv.78は恐れ多くない ; $hypothesis$ = もし仮にこのもにょもちゅLv.78は二人しないとすると「このぽにょぽなLv.78は甘辛いかまたは恐れ多いかもしくは両方ともだ」ということは成り立つということはない ; $proof$ = 
fact2 -> int1: もしもこのもにょもちゅLv.78が二人するということはないとするとこのもにょもちゅLv.78は総称しない; void -> assump1: 以下のように仮定する。このもにょもちゅLv.78は二人するということはない; int1 & assump1 -> int2: このもにょもちゅLv.78は総称するということはない; int2 & fact3 -> int3: 「このぽにょぽなLv.78は甘辛いかあるいはそれは恐れ多い」ということは成り立たない; [assump1] & int3 -> hypothesis; __PROVED__
fact2 -> int1: ¬{B}{aa} -> ¬{C}{aa}; void -> assump1: ¬{B}{aa}; int1 & assump1 -> int2: ¬{C}{aa}; int2 & fact3 -> int3: ¬({D}{a} v {A}{a}); [assump1] & int3 -> hypothesis; __PROVED__