このみやみのLv.79はちっこい
fact1: 「このみわみゆLv.61は踊り始めるということはないしおまけに味気ないということはない」ということは真実でないならばそのぷにょぷちゅLv.52は安し fact2: もし「このもやもわLv.13は安しないかもしくは得難いかもしくは両方である」ということは成り立たないならばこのまのまにょLv.46は味気ない fact3: このまのまにょLv.46は味気ないならば「そのぷにょぷちゅLv.52はふてぶてしい」ということは確かである fact4: 仮にそのもよもくLv.63が淡いとするとこのみやみのLv.79はちっこい fact5: そのぷにょぷちゅLv.52はふてぶてしいならば「そのもよもくLv.63は淡い」ということは本当である fact6: もしこのみわみゆLv.61は踊り始めるなら「このもやもわLv.13は安しないかまたは得難い」ということは成り立たない fact7: このみわみゆLv.61は踊り始める
fact6 & fact7 -> int1: 「「このもやもわLv.13は安しないかもしくはそれは得難い」ということは成り立つということはない」ということは成り立つ; int1 & fact2 -> int2: このまのまにょLv.46は味気ない; int2 & fact3 -> int3: そのぷにょぷちゅLv.52はふてぶてしい; int3 & fact5 -> int4: そのもよもくLv.63は淡い; int4 & fact4 -> hypothesis;
fact6 & fact7 -> int1: ¬(¬{AA}{b} v {AB}{b}); int1 & fact2 -> int2: {B}{c}; int2 & fact3 -> int3: {C}{d}; int3 & fact5 -> int4: {D}{e}; int4 & fact4 -> hypothesis;
そのぷにょぷちゅLv.52は安し
$facts$ = fact1: 「このみわみゆLv.61は踊り始めるということはないしおまけに味気ないということはない」ということは真実でないならばそのぷにょぷちゅLv.52は安し fact2: もし「このもやもわLv.13は安しないかもしくは得難いかもしくは両方である」ということは成り立たないならばこのまのまにょLv.46は味気ない fact3: このまのまにょLv.46は味気ないならば「そのぷにょぷちゅLv.52はふてぶてしい」ということは確かである fact4: 仮にそのもよもくLv.63が淡いとするとこのみやみのLv.79はちっこい fact5: そのぷにょぷちゅLv.52はふてぶてしいならば「そのもよもくLv.63は淡い」ということは本当である fact6: もしこのみわみゆLv.61は踊り始めるなら「このもやもわLv.13は安しないかまたは得難い」ということは成り立たない fact7: このみわみゆLv.61は踊り始める ; $hypothesis$ = このみやみのLv.79はちっこい ; $proof$ = 
fact6 & fact7 -> int1: 「「このもやもわLv.13は安しないかもしくはそれは得難い」ということは成り立つということはない」ということは成り立つ; int1 & fact2 -> int2: このまのまにょLv.46は味気ない; int2 & fact3 -> int3: そのぷにょぷちゅLv.52はふてぶてしい; int3 & fact5 -> int4: そのもよもくLv.63は淡い; int4 & fact4 -> hypothesis; __PROVED__
fact6 & fact7 -> int1: ¬(¬{AA}{b} v {AB}{b}); int1 & fact2 -> int2: {B}{c}; int2 & fact3 -> int3: {C}{d}; int3 & fact5 -> int4: {D}{e}; int4 & fact4 -> hypothesis; __PROVED__