the sidewall is a kind of a dolichocephalic.
sent1: the sidewall is a kind of an internationalization and it is a kind of an orthoclase. sent2: the Dean is dolichocephalic if that the sidewall is a ackee is correct. sent3: the fact that the overseer uncoils overseer hold. sent4: if something that does harangue sild is natriuretic it is not angiocarpic. sent5: the Dean is a isometrics. sent6: if the Dean is not a ackee then it uncoils signalman. sent7: the sidewall is a nightshirt if the Dean does uncoil signalman. sent8: something does not uncoil signalman if it does not uncoil overseer. sent9: something is not a dolichocephalic if it is an internationalization and it is a kind of a nightshirt. sent10: the Dean is an orthoclase. sent11: something that does not uncoil signalman is a kind of a dolichocephalic. sent12: the sidewall is a kind of an orthoclase. sent13: if the fact that the Dean is not a kind of a jackpot but it is a ackee is not true it does uncoil signalman. sent14: the Dean is a ackee. sent15: The fact that the overseer uncoils overseer hold. sent16: the Dean is a kind of a nightshirt. sent17: the overseer does not uncoil overseer if the Dean is not a jackpot but it is a kind of a ackee. sent18: the Dean is not a kind of an internationalization.
void -> assump1: Let's assume that that the Dean is not a kind of a jackpot and is a ackee is not wrong.; sent17 & assump1 -> int1: the overseer does not uncoil overseer.; int1 & sent3 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the Dean is not a jackpot and is a ackee is incorrect.; int3 & sent13 -> int4: the fact that the Dean uncoils signalman is correct.; int4 & sent7 -> int5: that the sidewall is a nightshirt is not wrong.; sent1 -> int6: the sidewall is an internationalization.; int5 & int6 -> int7: the sidewall is an internationalization and a nightshirt.; sent9 -> int8: the sidewall is not dolichocephalic if that it is an internationalization and it is a nightshirt is correct.; int7 & int8 -> hypothesis;
the sidewall is a kind of a dolichocephalic.
sent11 -> int9: if the sidewall does not uncoil signalman then it is a kind of a dolichocephalic.; sent8 -> int10: if the sidewall does not uncoil overseer then it does not uncoil signalman.;
$hypothesis$ = the sidewall is a kind of a dolichocephalic. ; $context$ = sent1: the sidewall is a kind of an internationalization and it is a kind of an orthoclase. sent2: the Dean is dolichocephalic if that the sidewall is a ackee is correct. sent3: the fact that the overseer uncoils overseer hold. sent4: if something that does harangue sild is natriuretic it is not angiocarpic. sent5: the Dean is a isometrics. sent6: if the Dean is not a ackee then it uncoils signalman. sent7: the sidewall is a nightshirt if the Dean does uncoil signalman. sent8: something does not uncoil signalman if it does not uncoil overseer. sent9: something is not a dolichocephalic if it is an internationalization and it is a kind of a nightshirt. sent10: the Dean is an orthoclase. sent11: something that does not uncoil signalman is a kind of a dolichocephalic. sent12: the sidewall is a kind of an orthoclase. sent13: if the fact that the Dean is not a kind of a jackpot but it is a ackee is not true it does uncoil signalman. sent14: the Dean is a ackee. sent15: The fact that the overseer uncoils overseer hold. sent16: the Dean is a kind of a nightshirt. sent17: the overseer does not uncoil overseer if the Dean is not a jackpot but it is a kind of a ackee. sent18: the Dean is not a kind of an internationalization. ; $proof$ = 
void -> assump1: Let's assume that that the Dean is not a kind of a jackpot and is a ackee is not wrong.; sent17 & assump1 -> int1: the overseer does not uncoil overseer.; int1 & sent3 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the Dean is not a jackpot and is a ackee is incorrect.; int3 & sent13 -> int4: the fact that the Dean uncoils signalman is correct.; int4 & sent7 -> int5: that the sidewall is a nightshirt is not wrong.; sent1 -> int6: the sidewall is an internationalization.; int5 & int6 -> int7: the sidewall is an internationalization and a nightshirt.; sent9 -> int8: the sidewall is not dolichocephalic if that it is an internationalization and it is a nightshirt is correct.; int7 & int8 -> hypothesis; __DISPROVED__