the boatbuilder is not ethical if the Hymen sunburns.
sent1: if the choler does not forget but it is a kind of a seizure then the Hymen does not sunburn. sent2: if the choler is not noncritical then that the boatbuilder is not noncritical or it is a kind of a palatal or both is incorrect. sent3: the choler does not forget if it is noncritical. sent4: the choler does not forget. sent5: if the boatbuilder is not autocatalytic then either it is not ethical or it is not phonemic or both. sent6: if the Hymen is noncritical the hoopskirt is noncritical. sent7: something is not ethical if the fact that it either is not noncritical or is palatal or both is wrong. sent8: the palisade is ethical. sent9: something is a kind of non-centesimal a Hassel if it aborts. sent10: everything is not a palatal. sent11: something does not forget and is a seizure if that it is noncritical is true. sent12: the boatbuilder is not palatal if the choler is not noncritical. sent13: the choler does not whistle Burlington. sent14: if the boatbuilder is a sunburn and is noncritical the Hymen is not ethical. sent15: the choler does sunburn if that it is not noncritical and/or it is a kind of a seizure is wrong. sent16: the viewpoint is not a seizure. sent17: the boatbuilder does not forget if the choler is noncritical. sent18: something does sunburn if the fact that it is not noncritical and/or is a seizure is incorrect.
sent11 -> int1: if the choler is noncritical then it does not forget and it is a seizure.; void -> assump2: Let's assume that the choler is noncritical.; int1 & assump2 -> int2: the choler does not forget and is a seizure.; int2 & sent1 -> int3: the Hymen is not a kind of a sunburn.; void -> assump1: Let's assume that the Hymen does sunburn.; int3 & assump1 -> int4: this is contradiction.; [assump2] & int4 -> int5: the choler is not noncritical.; int5 & sent2 -> int6: the fact that the boatbuilder is not noncritical and/or it is palatal is incorrect.; sent7 -> int7: if that the boatbuilder is not noncritical or it is a palatal or both is incorrect then it is not ethical.; int6 & int7 -> int8: the boatbuilder is not ethical.; [assump1] & int8 -> hypothesis;
the hoopskirt is noncritical.
$hypothesis$ = the boatbuilder is not ethical if the Hymen sunburns. ; $context$ = sent1: if the choler does not forget but it is a kind of a seizure then the Hymen does not sunburn. sent2: if the choler is not noncritical then that the boatbuilder is not noncritical or it is a kind of a palatal or both is incorrect. sent3: the choler does not forget if it is noncritical. sent4: the choler does not forget. sent5: if the boatbuilder is not autocatalytic then either it is not ethical or it is not phonemic or both. sent6: if the Hymen is noncritical the hoopskirt is noncritical. sent7: something is not ethical if the fact that it either is not noncritical or is palatal or both is wrong. sent8: the palisade is ethical. sent9: something is a kind of non-centesimal a Hassel if it aborts. sent10: everything is not a palatal. sent11: something does not forget and is a seizure if that it is noncritical is true. sent12: the boatbuilder is not palatal if the choler is not noncritical. sent13: the choler does not whistle Burlington. sent14: if the boatbuilder is a sunburn and is noncritical the Hymen is not ethical. sent15: the choler does sunburn if that it is not noncritical and/or it is a kind of a seizure is wrong. sent16: the viewpoint is not a seizure. sent17: the boatbuilder does not forget if the choler is noncritical. sent18: something does sunburn if the fact that it is not noncritical and/or is a seizure is incorrect. ; $proof$ = 
sent11 -> int1: if the choler is noncritical then it does not forget and it is a seizure.; void -> assump2: Let's assume that the choler is noncritical.; int1 & assump2 -> int2: the choler does not forget and is a seizure.; int2 & sent1 -> int3: the Hymen is not a kind of a sunburn.; void -> assump1: Let's assume that the Hymen does sunburn.; int3 & assump1 -> int4: this is contradiction.; [assump2] & int4 -> int5: the choler is not noncritical.; int5 & sent2 -> int6: the fact that the boatbuilder is not noncritical and/or it is palatal is incorrect.; sent7 -> int7: if that the boatbuilder is not noncritical or it is a palatal or both is incorrect then it is not ethical.; int6 & int7 -> int8: the boatbuilder is not ethical.; [assump1] & int8 -> hypothesis; __PROVED__