the fact that the atorvastatin does not slave FLETC is not false.
sent1: something bestirs medley if it is a kind of a Trevino and it is not a kind of a raise. sent2: if the atorvastatin does not raise it does not slave rat-a-tat-tat. sent3: The atorvastatin does not bestir atorvastatin. sent4: the atorvastatin does not bestir atorvastatin. sent5: if something does bestir medley then the fact that it does not slave FLETC is not wrong. sent6: if the atorvastatin does not bestir atorvastatin it is a Trevino and does not raise.
sent6 & sent4 -> int1: the atorvastatin is a Trevino that is not a raise.; sent1 -> int2: if the atorvastatin is a Trevino and not a raise it does bestir medley.; int1 & int2 -> int3: the atorvastatin does bestir medley.; sent5 -> int4: if the atorvastatin bestirs medley it does not slave FLETC.; int3 & int4 -> hypothesis;
$hypothesis$ = the fact that the atorvastatin does not slave FLETC is not false. ; $context$ = sent1: something bestirs medley if it is a kind of a Trevino and it is not a kind of a raise. sent2: if the atorvastatin does not raise it does not slave rat-a-tat-tat. sent3: The atorvastatin does not bestir atorvastatin. sent4: the atorvastatin does not bestir atorvastatin. sent5: if something does bestir medley then the fact that it does not slave FLETC is not wrong. sent6: if the atorvastatin does not bestir atorvastatin it is a Trevino and does not raise. ; $proof$ = 
sent6 & sent4 -> int1: the atorvastatin is a Trevino that is not a raise.; sent1 -> int2: if the atorvastatin is a Trevino and not a raise it does bestir medley.; int1 & int2 -> int3: the atorvastatin does bestir medley.; sent5 -> int4: if the atorvastatin bestirs medley it does not slave FLETC.; int3 & int4 -> hypothesis; __PROVED__