このもよもねLv.69はばあかしいということはない
fact1: 「もしこのもえもにょLv.76が広ーいならばこのもよもねLv.69は立ち会える」ということは事実である fact2: もしこのもよもねLv.69が立ち会えればそれはばあかしい fact3: そのもゆもにゅLv.9は推し量れる fact4: 仕方無くなくて加えて甲斐甲斐しくないモンスターは立ち会えない fact5: 「広ーいモンスターは推し量れない」ということは成り立つ fact6: そのもゆもにゅLv.9が推し量れるということはないならばこのもよもねLv.69はばあかしくない fact7: もし仮にこのもえもにょLv.76が立ち会えるとしたらそのもゆもにゅLv.9は立ち会える fact8: もし仮に何らかのモンスターが立ち会えるとすると広ーい fact9: もし仮にそのもゆもにゅLv.9が推し量れるならこのもえもにょLv.76は広ーい
fact9 & fact3 -> int1: このもえもにょLv.76は広ーい; int1 & fact1 -> int2: このもよもねLv.69は立ち会える; int2 & fact2 -> hypothesis;
fact9 & fact3 -> int1: {B}{b}; int1 & fact1 -> int2: {C}{c}; int2 & fact2 -> hypothesis;
このもよもねLv.69はばあかしいということはない
fact10 -> int3: もし仮に「そのもゆもにゅLv.9は広ーい」ということは誤りでないとすれば推し量れない; fact14 -> int4: そのもゆもにゅLv.9が立ち会えるとすれば広ーい; fact11 -> int5: 仮にこのもえもにょLv.76が仕方無くなくてさらに甲斐甲斐しくないとしたらこのもえもにょLv.76は立ち会える;
$facts$ = fact1: 「もしこのもえもにょLv.76が広ーいならばこのもよもねLv.69は立ち会える」ということは事実である fact2: もしこのもよもねLv.69が立ち会えればそれはばあかしい fact3: そのもゆもにゅLv.9は推し量れる fact4: 仕方無くなくて加えて甲斐甲斐しくないモンスターは立ち会えない fact5: 「広ーいモンスターは推し量れない」ということは成り立つ fact6: そのもゆもにゅLv.9が推し量れるということはないならばこのもよもねLv.69はばあかしくない fact7: もし仮にこのもえもにょLv.76が立ち会えるとしたらそのもゆもにゅLv.9は立ち会える fact8: もし仮に何らかのモンスターが立ち会えるとすると広ーい fact9: もし仮にそのもゆもにゅLv.9が推し量れるならこのもえもにょLv.76は広ーい ; $hypothesis$ = このもよもねLv.69はばあかしいということはない ; $proof$ = 
fact9 & fact3 -> int1: このもえもにょLv.76は広ーい; int1 & fact1 -> int2: このもよもねLv.69は立ち会える; int2 & fact2 -> hypothesis; __DISPROVED__
fact9 & fact3 -> int1: {B}{b}; int1 & fact1 -> int2: {C}{c}; int2 & fact2 -> hypothesis; __DISPROVED__