このまやまいLv.2は孝行するしかつ接近し易い
fact1: 「あのぴねぴのLv.3は寒くないけれどそれは入坑する」ということは偽だ fact2: もしこのまやまいLv.2が程良いならこのまやまいLv.2は孝行する fact3: 「「あのぴねぴのLv.3は寒くないが入坑する」ということは本当でない」ということは正しいとすればこのまやまいLv.2は程良い fact4: もしあのぴねぴのLv.3が寒いならばこのまやまいLv.2は程良い fact5: 「このまやまいLv.2は接近し易い」ということは成り立つ fact6: あるモンスターが孝行しないならばこのぽちゅぽちょLv.94が入坑するしその上孝行する fact7: 「あのぴねぴのLv.3は寒いし入坑する」ということは誤りだ
fact3 & fact1 -> int1: このまやまいLv.2は程良い; int1 & fact2 -> int2: このまやまいLv.2は孝行する; int2 & fact5 -> hypothesis;
fact3 & fact1 -> int1: {B}{b}; int1 & fact2 -> int2: {A}{b}; int2 & fact5 -> hypothesis;
このぽちゅぽちょLv.94は入坑する
$facts$ = fact1: 「あのぴねぴのLv.3は寒くないけれどそれは入坑する」ということは偽だ fact2: もしこのまやまいLv.2が程良いならこのまやまいLv.2は孝行する fact3: 「「あのぴねぴのLv.3は寒くないが入坑する」ということは本当でない」ということは正しいとすればこのまやまいLv.2は程良い fact4: もしあのぴねぴのLv.3が寒いならばこのまやまいLv.2は程良い fact5: 「このまやまいLv.2は接近し易い」ということは成り立つ fact6: あるモンスターが孝行しないならばこのぽちゅぽちょLv.94が入坑するしその上孝行する fact7: 「あのぴねぴのLv.3は寒いし入坑する」ということは誤りだ ; $hypothesis$ = このまやまいLv.2は孝行するしかつ接近し易い ; $proof$ = 
fact3 & fact1 -> int1: このまやまいLv.2は程良い; int1 & fact2 -> int2: このまやまいLv.2は孝行する; int2 & fact5 -> hypothesis; __PROVED__
fact3 & fact1 -> int1: {B}{b}; int1 & fact2 -> int2: {A}{b}; int2 & fact5 -> hypothesis; __PROVED__