there is something such that if the fact that it is not unconventional is not wrong that it is non-rotational and carboniferous does not hold.
sent1: that something is not rotational but it is carboniferous does not hold if it is not unconventional.
sent1 -> int1: that the loin is both not rotational and carboniferous does not hold if it is not unconventional.; int1 -> hypothesis;
$hypothesis$ = there is something such that if the fact that it is not unconventional is not wrong that it is non-rotational and carboniferous does not hold. ; $context$ = sent1: that something is not rotational but it is carboniferous does not hold if it is not unconventional. ; $proof$ = 
sent1 -> int1: that the loin is both not rotational and carboniferous does not hold if it is not unconventional.; int1 -> hypothesis; __PROVED__