「このみのみやLv.81は探し歩くしそれは御宜しい」ということは間違っている
fact1: このみのみやLv.81は御宜しい fact2: このみのみやLv.81は似付かわしいしその上我慢し為さる fact3: 仮にこのみのみやLv.81は似付かわしいとすれば「それは探し歩く」ということは正しい
fact2 -> int1: このみのみやLv.81は似付かわしい; int1 & fact3 -> int2: このみのみやLv.81は探し歩く; int2 & fact1 -> hypothesis;
fact2 -> int1: {A}{a}; int1 & fact3 -> int2: {C}{a}; int2 & fact1 -> hypothesis;
$facts$ = fact1: このみのみやLv.81は御宜しい fact2: このみのみやLv.81は似付かわしいしその上我慢し為さる fact3: 仮にこのみのみやLv.81は似付かわしいとすれば「それは探し歩く」ということは正しい ; $hypothesis$ = 「このみのみやLv.81は探し歩くしそれは御宜しい」ということは間違っている ; $proof$ = 
fact2 -> int1: このみのみやLv.81は似付かわしい; int1 & fact3 -> int2: このみのみやLv.81は探し歩く; int2 & fact1 -> hypothesis; __DISPROVED__
fact2 -> int1: {A}{a}; int1 & fact3 -> int2: {C}{a}; int2 & fact1 -> hypothesis; __DISPROVED__