the gallinacean does bludgeon and it compels sovereignty.
sent1: something that is a kind of a superego is a tailgate. sent2: the Byzantine is a prostitution. sent3: the Byzantine does not run Greensboro if it is a kind of a prostitution. sent4: if that something is a prostitution and/or is unpaintable is false then it is not a bludgeon. sent5: the spike is a superego. sent6: the deuce does not scent outrider if the spike is a kind of a tailgate. sent7: something does not run Greensboro if it is a prostitution. sent8: if the Byzantine runs Greensboro and does service Ochoa then the gallinacean compels sovereignty. sent9: the gallinacean does bludgeon. sent10: the gallinacean does compel sovereignty if the Byzantine does not run Greensboro but it does service Ochoa. sent11: if something is a kind of a prostitution it does not run Greensboro and it services Ochoa. sent12: the Byzantine does not run Greensboro. sent13: if that the Byzantine does service Ochoa is not wrong it is not a kind of a bludgeon and it is a prostitution.
sent11 -> int1: if that the Byzantine is a kind of a prostitution hold it does not run Greensboro and it services Ochoa.; int1 & sent2 -> int2: the Byzantine does not run Greensboro and services Ochoa.; int2 & sent10 -> int3: the gallinacean compels sovereignty.; int3 & sent9 -> hypothesis;
the fact that the gallinacean is a kind of a bludgeon that compels sovereignty is incorrect.
sent4 -> int4: the outrider is not a bludgeon if that either it is a kind of a prostitution or it is unpaintable or both does not hold.; sent1 -> int5: the spike does tailgate if it is a superego.; int5 & sent5 -> int6: the spike does tailgate.; sent6 & int6 -> int7: the deuce does not scent outrider.; int7 -> int8: there exists something such that it does not scent outrider.;
$hypothesis$ = the gallinacean does bludgeon and it compels sovereignty. ; $context$ = sent1: something that is a kind of a superego is a tailgate. sent2: the Byzantine is a prostitution. sent3: the Byzantine does not run Greensboro if it is a kind of a prostitution. sent4: if that something is a prostitution and/or is unpaintable is false then it is not a bludgeon. sent5: the spike is a superego. sent6: the deuce does not scent outrider if the spike is a kind of a tailgate. sent7: something does not run Greensboro if it is a prostitution. sent8: if the Byzantine runs Greensboro and does service Ochoa then the gallinacean compels sovereignty. sent9: the gallinacean does bludgeon. sent10: the gallinacean does compel sovereignty if the Byzantine does not run Greensboro but it does service Ochoa. sent11: if something is a kind of a prostitution it does not run Greensboro and it services Ochoa. sent12: the Byzantine does not run Greensboro. sent13: if that the Byzantine does service Ochoa is not wrong it is not a kind of a bludgeon and it is a prostitution. ; $proof$ = 
sent11 -> int1: if that the Byzantine is a kind of a prostitution hold it does not run Greensboro and it services Ochoa.; int1 & sent2 -> int2: the Byzantine does not run Greensboro and services Ochoa.; int2 & sent10 -> int3: the gallinacean compels sovereignty.; int3 & sent9 -> hypothesis; __PROVED__