the rooftop is a Hemiprocnidae.
sent1: if the rooftop overturns amperage then the Congregationalist does overturns amperage. sent2: if the ATM does barbarize rooftop then that the Congregationalist is a kind of a sulk and does not barbarize rooftop is incorrect. sent3: if the fact that something is not a cook and barbarizes Geophilidae does not hold then it does not barbarizes Geophilidae. sent4: if the candlelight does overturn amperage then that the ATM does overturn amperage is not false. sent5: there is something such that that it does not repaint and is basidiomycetous is incorrect. sent6: something does overturn amperage and it is a Hemiprocnidae if it does not barbarize Geophilidae. sent7: the fact that if there is something such that the fact that it does not barbarize rooftop and is not a kind of a sulk does not hold then that the sketch is a sulk is right hold. sent8: That the amperage does overturn candlelight is not false. sent9: if the ATM does not barbarize rooftop then it does not overturn amperage. sent10: that the candlelight does overturn amperage is not false. sent11: that the ATM does not barbarize rooftop and it is not a kind of a sulk is false if the Congregationalist overturns amperage. sent12: the rooftop is a Hemiprocnidae if the fact that the Congregationalist is a kind of a sulk that does not barbarize rooftop is wrong. sent13: if there exists something such that it does not barbarize Geophilidae that the fact that the rooftop is not a cook and does barbarize Geophilidae is true does not hold.
void -> assump1: Let's assume that that the ATM does not barbarize rooftop is true.; sent9 & assump1 -> int1: the ATM does not overturn amperage.; sent4 & sent10 -> int2: the ATM overturns amperage.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the ATM does barbarize rooftop.; int4 & sent2 -> int5: that the Congregationalist sulks but it does not barbarize rooftop does not hold.; int5 & sent12 -> hypothesis;
the sketch sulks.
sent6 -> int6: the rooftop overturns amperage and is a Hemiprocnidae if it does not barbarize Geophilidae.; sent3 -> int7: if the fact that the rooftop is not a cook but it barbarizes Geophilidae does not hold the fact that it does not barbarizes Geophilidae is correct.;
$hypothesis$ = the rooftop is a Hemiprocnidae. ; $context$ = sent1: if the rooftop overturns amperage then the Congregationalist does overturns amperage. sent2: if the ATM does barbarize rooftop then that the Congregationalist is a kind of a sulk and does not barbarize rooftop is incorrect. sent3: if the fact that something is not a cook and barbarizes Geophilidae does not hold then it does not barbarizes Geophilidae. sent4: if the candlelight does overturn amperage then that the ATM does overturn amperage is not false. sent5: there is something such that that it does not repaint and is basidiomycetous is incorrect. sent6: something does overturn amperage and it is a Hemiprocnidae if it does not barbarize Geophilidae. sent7: the fact that if there is something such that the fact that it does not barbarize rooftop and is not a kind of a sulk does not hold then that the sketch is a sulk is right hold. sent8: That the amperage does overturn candlelight is not false. sent9: if the ATM does not barbarize rooftop then it does not overturn amperage. sent10: that the candlelight does overturn amperage is not false. sent11: that the ATM does not barbarize rooftop and it is not a kind of a sulk is false if the Congregationalist overturns amperage. sent12: the rooftop is a Hemiprocnidae if the fact that the Congregationalist is a kind of a sulk that does not barbarize rooftop is wrong. sent13: if there exists something such that it does not barbarize Geophilidae that the fact that the rooftop is not a cook and does barbarize Geophilidae is true does not hold. ; $proof$ = 
void -> assump1: Let's assume that that the ATM does not barbarize rooftop is true.; sent9 & assump1 -> int1: the ATM does not overturn amperage.; sent4 & sent10 -> int2: the ATM overturns amperage.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the ATM does barbarize rooftop.; int4 & sent2 -> int5: that the Congregationalist sulks but it does not barbarize rooftop does not hold.; int5 & sent12 -> hypothesis; __PROVED__