このみのみわLv.40は所狭ししそれは算定し難い
fact1: このみのみわLv.40は冗談っぽい fact2: もし仮にとあるモンスターは冗談っぽいということはないとすれば「それは所狭しし算定し難い」ということは偽である fact3: このみのみわLv.40は冗談っぽいし所狭し fact4: そのぴのぴちゃLv.8は算定し難くておまけに怠い fact5: 「このみのみわLv.40は算定し難い」ということは確かである fact6: もし仮に「なんらかのモンスターは算定し難い一方で膨潤しない」ということは成り立たないとするとそれは冗談っぽい
fact3 -> int1: このみのみわLv.40は所狭し; int1 & fact5 -> hypothesis;
fact3 -> int1: {B}{a}; int1 & fact5 -> hypothesis;
「このみのみわLv.40は所狭しし算定し難い」ということは成り立たない
fact7 -> int2: 「このみのみわLv.40は冗談っぽくない」ということは確かであるなら「このみのみわLv.40は所狭くて加えてそれは算定し難い」ということは誤っている;
$facts$ = fact1: このみのみわLv.40は冗談っぽい fact2: もし仮にとあるモンスターは冗談っぽいということはないとすれば「それは所狭しし算定し難い」ということは偽である fact3: このみのみわLv.40は冗談っぽいし所狭し fact4: そのぴのぴちゃLv.8は算定し難くておまけに怠い fact5: 「このみのみわLv.40は算定し難い」ということは確かである fact6: もし仮に「なんらかのモンスターは算定し難い一方で膨潤しない」ということは成り立たないとするとそれは冗談っぽい ; $hypothesis$ = このみのみわLv.40は所狭ししそれは算定し難い ; $proof$ = 
fact3 -> int1: このみのみわLv.40は所狭し; int1 & fact5 -> hypothesis; __PROVED__
fact3 -> int1: {B}{a}; int1 & fact5 -> hypothesis; __PROVED__