そのぴやぴいLv.29は青臭くて更に地下深い
fact1: 「「しょぼくないかもしくは御忙しい」ということは偽である」モンスターはいる fact2: もしも「毛深くない」モンスターはいるとすれば「このぽちゃぽにゅLv.3は毛深くない」ということは誤っていない fact3: そのぴやぴいLv.29は下ろし易くない fact4: そのぴやぴいLv.29は毛深いとすれば「それは青臭い」ということは確かである fact5: そのぴやぴいLv.29は下ろし易くないけれど算定し難い fact6: もしもなにがしかのモンスターがしょぼくないならそれは毛深いということはない fact7: 仮にそのぴやぴいLv.29が下ろし易くない一方でそれが算定し難いとしたらそれは毛深い fact8: 仮にそのぴやぴいLv.29が下ろし易いししかも算定し難いとすればそのぴやぴいLv.29は毛深い fact9: 「そのぴやぴいLv.29は地下深い」ということは事実である
fact7 & fact5 -> int1: そのぴやぴいLv.29は毛深い; int1 & fact4 -> int2: そのぴやぴいLv.29は青臭い; int2 & fact9 -> hypothesis;
fact7 & fact5 -> int1: {B}{a}; int1 & fact4 -> int2: {A}{a}; int2 & fact9 -> hypothesis;
このぽちゃぽにゅLv.3は地下深い
fact10 -> int3: そのぴやぴいLv.29がしょぼくないとしたらそれは毛深くない;
$facts$ = fact1: 「「しょぼくないかもしくは御忙しい」ということは偽である」モンスターはいる fact2: もしも「毛深くない」モンスターはいるとすれば「このぽちゃぽにゅLv.3は毛深くない」ということは誤っていない fact3: そのぴやぴいLv.29は下ろし易くない fact4: そのぴやぴいLv.29は毛深いとすれば「それは青臭い」ということは確かである fact5: そのぴやぴいLv.29は下ろし易くないけれど算定し難い fact6: もしもなにがしかのモンスターがしょぼくないならそれは毛深いということはない fact7: 仮にそのぴやぴいLv.29が下ろし易くない一方でそれが算定し難いとしたらそれは毛深い fact8: 仮にそのぴやぴいLv.29が下ろし易いししかも算定し難いとすればそのぴやぴいLv.29は毛深い fact9: 「そのぴやぴいLv.29は地下深い」ということは事実である ; $hypothesis$ = そのぴやぴいLv.29は青臭くて更に地下深い ; $proof$ = 
fact7 & fact5 -> int1: そのぴやぴいLv.29は毛深い; int1 & fact4 -> int2: そのぴやぴいLv.29は青臭い; int2 & fact9 -> hypothesis; __PROVED__
fact7 & fact5 -> int1: {B}{a}; int1 & fact4 -> int2: {A}{a}; int2 & fact9 -> hypothesis; __PROVED__