このぽちゃぽちょLv.18は信仰深くない
fact1: そのもくもちゃLv.85が物憂いならそのみわみちゃLv.1は荒い fact2: このぽちゃぽちょLv.18は信仰深いかもしくは物憂い fact3: 荒くないモンスターは物憂くないがしかし信仰深い fact4: そのもくもちゃLv.85は物憂い fact5: そのみわみちゃLv.1が荒いかまたはそれが口煩いかもしくは両方であるとするとこのぽちゃぽちょLv.18は信仰深くない fact6: 「なんらかのモンスターは口煩いしまたそれは荒い」ということは成り立たないならばそれは荒くない
fact1 & fact4 -> int1: そのみわみちゃLv.1は荒い; int1 -> int2: 「そのみわみちゃLv.1は荒いかまたはそれは口煩いかあるいは両方である」ということは成り立つ; int2 & fact5 -> hypothesis;
fact1 & fact4 -> int1: {B}{b}; int1 -> int2: ({B}{b} v {C}{b}); int2 & fact5 -> hypothesis;
このぽちゃぽちょLv.18は信仰深い
fact7 -> int3: もし仮にこのぽちゃぽちょLv.18が荒くないならこのぽちゃぽちょLv.18は物憂いということはないけれど信仰深い; fact8 -> int4: もしも「このぽちゃぽちょLv.18は口煩くて加えて荒い」ということは誤りであるとしたらそれは荒くない;
$facts$ = fact1: そのもくもちゃLv.85が物憂いならそのみわみちゃLv.1は荒い fact2: このぽちゃぽちょLv.18は信仰深いかもしくは物憂い fact3: 荒くないモンスターは物憂くないがしかし信仰深い fact4: そのもくもちゃLv.85は物憂い fact5: そのみわみちゃLv.1が荒いかまたはそれが口煩いかもしくは両方であるとするとこのぽちゃぽちょLv.18は信仰深くない fact6: 「なんらかのモンスターは口煩いしまたそれは荒い」ということは成り立たないならばそれは荒くない ; $hypothesis$ = このぽちゃぽちょLv.18は信仰深くない ; $proof$ = 
fact1 & fact4 -> int1: そのみわみちゃLv.1は荒い; int1 -> int2: 「そのみわみちゃLv.1は荒いかまたはそれは口煩いかあるいは両方である」ということは成り立つ; int2 & fact5 -> hypothesis; __PROVED__
fact1 & fact4 -> int1: {B}{b}; int1 -> int2: ({B}{b} v {C}{b}); int2 & fact5 -> hypothesis; __PROVED__