このぴちゃぴやLv.37は免責しないけれど態とらしい
fact1: とあるモンスターは供託しないとすると「免責しないしそれは態とらしい」ということは事実でない fact2: 仮にあのまえまにLv.22が免責するとしたらこのぴちゃぴやLv.37は免責するということはない一方で態とらしい fact3: あのまえまにLv.22は免責する
fact3 -> int1: あのまえまにLv.22は免責する; int1 & fact2 -> hypothesis;
fact3 -> int1: {A}{a}; int1 & fact2 -> hypothesis;
「このぴちゃぴやLv.37は免責するということはない一方で態とらしい」ということは成り立たない
fact4 -> int2: もしもこのぴちゃぴやLv.37は供託しないとすれば「免責しないが態とらしい」ということは誤っている;
$facts$ = fact1: とあるモンスターは供託しないとすると「免責しないしそれは態とらしい」ということは事実でない fact2: 仮にあのまえまにLv.22が免責するとしたらこのぴちゃぴやLv.37は免責するということはない一方で態とらしい fact3: あのまえまにLv.22は免責する ; $hypothesis$ = このぴちゃぴやLv.37は免責しないけれど態とらしい ; $proof$ = 
fact3 -> int1: あのまえまにLv.22は免責する; int1 & fact2 -> hypothesis; __PROVED__
fact3 -> int1: {A}{a}; int1 & fact2 -> hypothesis; __PROVED__