if the forehead is counterclockwise then that the weeper does risk microsecond and is not nonsubmersible does not hold.
sent1: the fact that the forehead is an undergarment but it is not nonsubmersible is not correct. sent2: if that the forehead does not procure and is an undergarment does not hold the durian is nonsubmersible. sent3: the forehead is nonsubmersible if that the durian is counterclockwise is not false. sent4: the weeper is an undergarment but it is not nonsubmersible. sent5: if the forehead risks microsecond then the weeper procures. sent6: that the forehead is a kind of nonsubmersible thing that does not procure is incorrect if the durian procure. sent7: that the weeper risks microsecond and is not nonsubmersible is incorrect if the fact that the durian is nonsubmersible hold. sent8: the weeper is an astonishment and not middle. sent9: that the durian is nonsubmersible and does not procure is wrong. sent10: if the forehead is counterclockwise then the fact that it does not procure and is an undergarment does not hold.
void -> assump1: Let's assume that the forehead is counterclockwise.; sent10 & assump1 -> int1: the fact that the forehead does not procure but it is a kind of an undergarment is incorrect.; sent2 & int1 -> int2: the durian is nonsubmersible.; sent7 & int2 -> int3: that the weeper does risk microsecond but it is not nonsubmersible is incorrect.; [assump1] & int3 -> hypothesis;
$hypothesis$ = if the forehead is counterclockwise then that the weeper does risk microsecond and is not nonsubmersible does not hold. ; $context$ = sent1: the fact that the forehead is an undergarment but it is not nonsubmersible is not correct. sent2: if that the forehead does not procure and is an undergarment does not hold the durian is nonsubmersible. sent3: the forehead is nonsubmersible if that the durian is counterclockwise is not false. sent4: the weeper is an undergarment but it is not nonsubmersible. sent5: if the forehead risks microsecond then the weeper procures. sent6: that the forehead is a kind of nonsubmersible thing that does not procure is incorrect if the durian procure. sent7: that the weeper risks microsecond and is not nonsubmersible is incorrect if the fact that the durian is nonsubmersible hold. sent8: the weeper is an astonishment and not middle. sent9: that the durian is nonsubmersible and does not procure is wrong. sent10: if the forehead is counterclockwise then the fact that it does not procure and is an undergarment does not hold. ; $proof$ = 
void -> assump1: Let's assume that the forehead is counterclockwise.; sent10 & assump1 -> int1: the fact that the forehead does not procure but it is a kind of an undergarment is incorrect.; sent2 & int1 -> int2: the durian is nonsubmersible.; sent7 & int2 -> int3: that the weeper does risk microsecond but it is not nonsubmersible is incorrect.; [assump1] & int3 -> hypothesis; __PROVED__