there is something such that if it does reflect interregnum then it is not a kind of a alkylbenzene.
sent1: if there is something such that it does reflect interregnum and is not a kind of a Tingidae then the endoskeleton is a Cuban. sent2: the net is a Triassic if there is something such that it wakes Hemitripterus and it is not surficial. sent3: if the net is Triassic and does reflect interregnum it is a kind of a alkylbenzene. sent4: there exists something such that it wakes Hemitripterus and is surficial. sent5: something is non-surficial. sent6: if something is atonic and it is a kind of a freebie then it is not a resistor. sent7: the net reasons and is a kind of a ferocity. sent8: if something is Triassic and it does reflect interregnum it is not a alkylbenzene. sent9: if something is Triassic thing that does reflect interregnum it is a kind of a alkylbenzene. sent10: the net is counterrevolutionary and it is a bark-louse. sent11: there is something such that if it reflects interregnum then the fact that it is a kind of a alkylbenzene is not incorrect. sent12: if the fact that the net is not Triassic and/or it is not a alkylbenzene is not correct then the fact that the carp is not a kind of a Triassic is true. sent13: the net is a alkylbenzene. sent14: there exists something such that it does wake Hemitripterus and it is non-surficial. sent15: something intercommunicates and is not a wolf. sent16: the net is a alkylbenzene if it reflects interregnum. sent17: there is something such that that it does wake Hemitripterus is not incorrect.
sent14 & sent2 -> int1: the net is Triassic.; void -> assump1: Let's assume that the net reflects interregnum.; int1 & assump1 -> int2: the fact that the net is a kind of a Triassic that reflects interregnum is correct.; sent8 -> int3: if the fact that the net is a kind of a Triassic that reflects interregnum is right then the fact that it is not a alkylbenzene is not false.; int2 & int3 -> int4: the net is not a alkylbenzene.; [assump1] & int4 -> int5: if the net reflects interregnum then it is not a kind of a alkylbenzene.; int5 -> hypothesis;
the carp is a kind of a deceleration and wakes Hemitripterus.
$hypothesis$ = there is something such that if it does reflect interregnum then it is not a kind of a alkylbenzene. ; $context$ = sent1: if there is something such that it does reflect interregnum and is not a kind of a Tingidae then the endoskeleton is a Cuban. sent2: the net is a Triassic if there is something such that it wakes Hemitripterus and it is not surficial. sent3: if the net is Triassic and does reflect interregnum it is a kind of a alkylbenzene. sent4: there exists something such that it wakes Hemitripterus and is surficial. sent5: something is non-surficial. sent6: if something is atonic and it is a kind of a freebie then it is not a resistor. sent7: the net reasons and is a kind of a ferocity. sent8: if something is Triassic and it does reflect interregnum it is not a alkylbenzene. sent9: if something is Triassic thing that does reflect interregnum it is a kind of a alkylbenzene. sent10: the net is counterrevolutionary and it is a bark-louse. sent11: there is something such that if it reflects interregnum then the fact that it is a kind of a alkylbenzene is not incorrect. sent12: if the fact that the net is not Triassic and/or it is not a alkylbenzene is not correct then the fact that the carp is not a kind of a Triassic is true. sent13: the net is a alkylbenzene. sent14: there exists something such that it does wake Hemitripterus and it is non-surficial. sent15: something intercommunicates and is not a wolf. sent16: the net is a alkylbenzene if it reflects interregnum. sent17: there is something such that that it does wake Hemitripterus is not incorrect. ; $proof$ = 
sent14 & sent2 -> int1: the net is Triassic.; void -> assump1: Let's assume that the net reflects interregnum.; int1 & assump1 -> int2: the fact that the net is a kind of a Triassic that reflects interregnum is correct.; sent8 -> int3: if the fact that the net is a kind of a Triassic that reflects interregnum is right then the fact that it is not a alkylbenzene is not false.; int2 & int3 -> int4: the net is not a alkylbenzene.; [assump1] & int4 -> int5: if the net reflects interregnum then it is not a kind of a alkylbenzene.; int5 -> hypothesis; __PROVED__