あのぽちゃぽくLv.32はブラバスらしいということはない
fact1: もしあるモンスターが駆け巡るということはないとするとそれはブラバスらしいし更にそれは生じ兼ねる fact2: 「「このぴいぴいLv.67は駆け巡るということはないかまたはそれは気怠いかあるいはどちらもだ」ということは成り立たない」ということは確かだとすればそのもやもにゃLv.15は駆け巡らない fact3: もし仮に「そのもやもにゃLv.15はブラバスらしい」ということは成り立つとするとあのぽちゃぽくLv.32はブラバスらしい fact4: そのもやもにゃLv.15は生じ兼ねるし駆け巡る fact5: 仮にそのもやもにゃLv.15が駆け巡るかまたは気怠いか両方だとしたらあのぽちゃぽくLv.32はブラバスらしくない fact6: 仮にそのもやもにゃLv.15は気怠いとすれば「あのぽちゃぽくLv.32はブラバスらしくない」ということは事実だ fact7: もし仮にこのぴいぴいLv.67は薄いとすれば「このぴいぴいLv.67は駆け巡らないか気怠いかあるいはどちらもである」ということは正しいということはない
fact4 -> int1: そのもやもにゃLv.15は駆け巡る; int1 -> int2: そのもやもにゃLv.15は駆け巡るか気怠いかあるいはどちらもだ; int2 & fact5 -> hypothesis;
fact4 -> int1: {B}{a}; int1 -> int2: ({B}{a} v {C}{a}); int2 & fact5 -> hypothesis;
あのぽちゃぽくLv.32はブラバスらしい
fact10 -> int3: もし仮にそのもやもにゃLv.15が駆け巡らないとすればブラバスらしいしかつ生じ兼ねる;
$facts$ = fact1: もしあるモンスターが駆け巡るということはないとするとそれはブラバスらしいし更にそれは生じ兼ねる fact2: 「「このぴいぴいLv.67は駆け巡るということはないかまたはそれは気怠いかあるいはどちらもだ」ということは成り立たない」ということは確かだとすればそのもやもにゃLv.15は駆け巡らない fact3: もし仮に「そのもやもにゃLv.15はブラバスらしい」ということは成り立つとするとあのぽちゃぽくLv.32はブラバスらしい fact4: そのもやもにゃLv.15は生じ兼ねるし駆け巡る fact5: 仮にそのもやもにゃLv.15が駆け巡るかまたは気怠いか両方だとしたらあのぽちゃぽくLv.32はブラバスらしくない fact6: 仮にそのもやもにゃLv.15は気怠いとすれば「あのぽちゃぽくLv.32はブラバスらしくない」ということは事実だ fact7: もし仮にこのぴいぴいLv.67は薄いとすれば「このぴいぴいLv.67は駆け巡らないか気怠いかあるいはどちらもである」ということは正しいということはない ; $hypothesis$ = あのぽちゃぽくLv.32はブラバスらしいということはない ; $proof$ = 
fact4 -> int1: そのもやもにゃLv.15は駆け巡る; int1 -> int2: そのもやもにゃLv.15は駆け巡るか気怠いかあるいはどちらもだ; int2 & fact5 -> hypothesis; __PROVED__
fact4 -> int1: {B}{a}; int1 -> int2: ({B}{a} v {C}{a}); int2 & fact5 -> hypothesis; __PROVED__