あのぴゆぴにLv.51は包含する
fact1: 「宜しない」モンスターはいる fact2: あのぴゆぴにLv.51は経営する fact3: 仮にあのぴゆぴにLv.51が冗談っぽいとすればあのぴゆぴにLv.51は御詳しい fact4: もしそのぷのぷわLv.44は就学しないとすれば「あのぴゆぴにLv.51は経営しないがそれは御詳しい」ということは間違いである fact5: 仮に「そのぴいぴにLv.10は宜ししすげない」ということは正しいということはないとすればそのぷのぷわLv.44は就学しない fact6: あのぴゆぴにLv.51は冗談っぽい fact7: もし仮にあのぴゆぴにLv.51が御詳しいしまたそれは経営するとすれば「それは包含しない」ということは正しい
fact3 & fact6 -> int1: あのぴゆぴにLv.51は御詳しい; int1 & fact2 -> int2: あのぴゆぴにLv.51は御詳しくて経営する; int2 & fact7 -> hypothesis;
fact3 & fact6 -> int1: {B}{a}; int1 & fact2 -> int2: ({B}{a} & {C}{a}); int2 & fact7 -> hypothesis;
あのぴゆぴにLv.51は包含する
$facts$ = fact1: 「宜しない」モンスターはいる fact2: あのぴゆぴにLv.51は経営する fact3: 仮にあのぴゆぴにLv.51が冗談っぽいとすればあのぴゆぴにLv.51は御詳しい fact4: もしそのぷのぷわLv.44は就学しないとすれば「あのぴゆぴにLv.51は経営しないがそれは御詳しい」ということは間違いである fact5: 仮に「そのぴいぴにLv.10は宜ししすげない」ということは正しいということはないとすればそのぷのぷわLv.44は就学しない fact6: あのぴゆぴにLv.51は冗談っぽい fact7: もし仮にあのぴゆぴにLv.51が御詳しいしまたそれは経営するとすれば「それは包含しない」ということは正しい ; $hypothesis$ = あのぴゆぴにLv.51は包含する ; $proof$ = 
fact3 & fact6 -> int1: あのぴゆぴにLv.51は御詳しい; int1 & fact2 -> int2: あのぴゆぴにLv.51は御詳しくて経営する; int2 & fact7 -> hypothesis; __DISPROVED__
fact3 & fact6 -> int1: {B}{a}; int1 & fact2 -> int2: ({B}{a} & {C}{a}); int2 & fact7 -> hypothesis; __DISPROVED__