the cavern hobbles.
sent1: the kaoliang is syndetic if the seventy-eight does exalt seventy-eight. sent2: the kaoliang bleeps. sent3: if the kaoliang is not citrous it does not bleep and is a theorization. sent4: if something is not ballistics it exalts seventy-eight. sent5: if that the factory is a Atlas that does not frown is not correct the owner is not a kind of a Atlas. sent6: there is something such that the fact that it does frown and is not a meanie is incorrect. sent7: if the seventy-eight is a theorization then the cavern is not unmade. sent8: if there is something such that the fact that it is a frown and it is not a kind of a meanie does not hold then the kaoliang is not a Atlas. sent9: if the fact that something is ballistics but it is not citrous is not right it exalts seventy-eight. sent10: if the seventy-eight is a kind of ballistics thing that is not citrous then that it is a theorization is not incorrect. sent11: if the seventy-eight is not ballistics then it exalts seventy-eight. sent12: there is nothing that is a Atlas and is not a frown. sent13: if there is something such that it is not a Atlas then either the epergne is unmade or it does bleep or both. sent14: the fact that something exalts seventy-eight and is not syndetic is incorrect if that it is a theorization hold. sent15: if something is made then it does hobble. sent16: something is not syndetic but it does bleep if it is not a kind of a Atlas. sent17: the kaoliang is not a kind of a Atlas if there is something such that it does not frown. sent18: the seventy-eight is ballistics. sent19: something does bleep if the fact that it is not a kind of a Atlas is not wrong.
sent9 -> int1: the seventy-eight exalts seventy-eight if the fact that it is both ballistics and not citrous is incorrect.; void -> assump1: Let's assume that that the seventy-eight is both ballistics and non-citrous is wrong.; int1 & assump1 -> int2: the seventy-eight exalts seventy-eight.; int2 & sent1 -> int3: that the kaoliang is syndetic is not false.; sent16 -> int4: if the kaoliang is not a Atlas it is not syndetic and it bleeps.; sent6 & sent8 -> int5: the kaoliang is not a kind of a Atlas.; int4 & int5 -> int6: the kaoliang is not syndetic and bleeps.; int6 -> int7: the kaoliang is not syndetic.; int3 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the seventy-eight is ballistics but it is not citrous.; int9 & sent10 -> int10: the seventy-eight is a kind of a theorization.; int10 & sent7 -> int11: the cavern is not unmade.; sent15 -> int12: if that the cavern is not unmade hold then it does hobble.; int11 & int12 -> hypothesis;
the cavern does not hobble.
sent14 -> int13: if the kaoliang is a kind of a theorization that that it exalts seventy-eight and it is not syndetic is right is false.; sent12 -> int14: that the factory is a Atlas and is not a frown is wrong.; sent5 & int14 -> int15: the owner is not a Atlas.; int15 -> int16: something is not a kind of a Atlas.; int16 & sent13 -> int17: the epergne is unmade or it bleeps or both.;
$hypothesis$ = the cavern hobbles. ; $context$ = sent1: the kaoliang is syndetic if the seventy-eight does exalt seventy-eight. sent2: the kaoliang bleeps. sent3: if the kaoliang is not citrous it does not bleep and is a theorization. sent4: if something is not ballistics it exalts seventy-eight. sent5: if that the factory is a Atlas that does not frown is not correct the owner is not a kind of a Atlas. sent6: there is something such that the fact that it does frown and is not a meanie is incorrect. sent7: if the seventy-eight is a theorization then the cavern is not unmade. sent8: if there is something such that the fact that it is a frown and it is not a kind of a meanie does not hold then the kaoliang is not a Atlas. sent9: if the fact that something is ballistics but it is not citrous is not right it exalts seventy-eight. sent10: if the seventy-eight is a kind of ballistics thing that is not citrous then that it is a theorization is not incorrect. sent11: if the seventy-eight is not ballistics then it exalts seventy-eight. sent12: there is nothing that is a Atlas and is not a frown. sent13: if there is something such that it is not a Atlas then either the epergne is unmade or it does bleep or both. sent14: the fact that something exalts seventy-eight and is not syndetic is incorrect if that it is a theorization hold. sent15: if something is made then it does hobble. sent16: something is not syndetic but it does bleep if it is not a kind of a Atlas. sent17: the kaoliang is not a kind of a Atlas if there is something such that it does not frown. sent18: the seventy-eight is ballistics. sent19: something does bleep if the fact that it is not a kind of a Atlas is not wrong. ; $proof$ = 
sent9 -> int1: the seventy-eight exalts seventy-eight if the fact that it is both ballistics and not citrous is incorrect.; void -> assump1: Let's assume that that the seventy-eight is both ballistics and non-citrous is wrong.; int1 & assump1 -> int2: the seventy-eight exalts seventy-eight.; int2 & sent1 -> int3: that the kaoliang is syndetic is not false.; sent16 -> int4: if the kaoliang is not a Atlas it is not syndetic and it bleeps.; sent6 & sent8 -> int5: the kaoliang is not a kind of a Atlas.; int4 & int5 -> int6: the kaoliang is not syndetic and bleeps.; int6 -> int7: the kaoliang is not syndetic.; int3 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the seventy-eight is ballistics but it is not citrous.; int9 & sent10 -> int10: the seventy-eight is a kind of a theorization.; int10 & sent7 -> int11: the cavern is not unmade.; sent15 -> int12: if that the cavern is not unmade hold then it does hobble.; int11 & int12 -> hypothesis; __PROVED__