the contemporary does fix Mauritanian and it is a kind of an antipodal.
sent1: if there exists something such that it is Dalmatian the contemporary is not an alert. sent2: if the jackscrew is not a kind of a Dalmatian then the contemporary does not fix foreperson but it is Dalmatian. sent3: if something that does not fix foreperson is a kind of a Dalmatian then it fixes Mauritanian. sent4: that something is not a skeg and not an alert is not false. sent5: the Mauritanian is an octogenarian and crustose. sent6: if there exists something such that that it is not a kind of a skeg and is unalert is wrong then the stave is not an octogenarian. sent7: the contemporary parses reorder if it is antipodal thing that is an octogenarian. sent8: the stave is a kind of an octogenarian and it parses reorder. sent9: the contemporary is an antipodal. sent10: that something does fix Mauritanian and it is antipodal is false if it does not fence. sent11: if the jackscrew does not fix foreperson then the contemporary is not Dalmatian. sent12: if the jackscrew is not a gulag then it is not a Dalmatian. sent13: the contemporary is not a gulag if there is something such that the fact that it is both not a fencing and not Dalmatian is not right. sent14: that the fact that the jackscrew is not a skeg and it is not alert hold does not hold if it is not a fencing.
void -> assump1: Let's assume that the jackscrew is not a fencing but a gulag.; assump1 -> int1: the jackscrew is not a fencing.; int1 & sent14 -> int2: the fact that the jackscrew is not a kind of a skeg and it is not an alert is incorrect.; int2 -> int3: there exists something such that that it is not a skeg and it is not an alert is incorrect.; int3 & sent6 -> int4: the stave is not an octogenarian.; sent8 -> int5: the stave is an octogenarian.; int4 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the fact that the jackscrew does not fence and is a kind of a gulag is false.; sent3 -> int8: the contemporary fixes Mauritanian if it does not fix foreperson and it is not non-Dalmatian.;
that the contemporary fixes Mauritanian and it is antipodal is false.
sent10 -> int9: if the contemporary is not a fencing then that it fixes Mauritanian and is antipodal is not correct.;
$hypothesis$ = the contemporary does fix Mauritanian and it is a kind of an antipodal. ; $context$ = sent1: if there exists something such that it is Dalmatian the contemporary is not an alert. sent2: if the jackscrew is not a kind of a Dalmatian then the contemporary does not fix foreperson but it is Dalmatian. sent3: if something that does not fix foreperson is a kind of a Dalmatian then it fixes Mauritanian. sent4: that something is not a skeg and not an alert is not false. sent5: the Mauritanian is an octogenarian and crustose. sent6: if there exists something such that that it is not a kind of a skeg and is unalert is wrong then the stave is not an octogenarian. sent7: the contemporary parses reorder if it is antipodal thing that is an octogenarian. sent8: the stave is a kind of an octogenarian and it parses reorder. sent9: the contemporary is an antipodal. sent10: that something does fix Mauritanian and it is antipodal is false if it does not fence. sent11: if the jackscrew does not fix foreperson then the contemporary is not Dalmatian. sent12: if the jackscrew is not a gulag then it is not a Dalmatian. sent13: the contemporary is not a gulag if there is something such that the fact that it is both not a fencing and not Dalmatian is not right. sent14: that the fact that the jackscrew is not a skeg and it is not alert hold does not hold if it is not a fencing. ; $proof$ = 
void -> assump1: Let's assume that the jackscrew is not a fencing but a gulag.; assump1 -> int1: the jackscrew is not a fencing.; int1 & sent14 -> int2: the fact that the jackscrew is not a kind of a skeg and it is not an alert is incorrect.; int2 -> int3: there exists something such that that it is not a skeg and it is not an alert is incorrect.; int3 & sent6 -> int4: the stave is not an octogenarian.; sent8 -> int5: the stave is an octogenarian.; int4 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the fact that the jackscrew does not fence and is a kind of a gulag is false.; sent3 -> int8: the contemporary fixes Mauritanian if it does not fix foreperson and it is not non-Dalmatian.; __UNKNOWN__