that the myofibril does not salve Lastex but it is a perfective does not hold.
sent1: everything is a kind of unprophetic thing that is not a kind of a Empire. sent2: the fact that if the flatfoot is unprophetic thing that is not a kind of a Empire the ragout salves Lastex hold. sent3: something does not salve Lastex and is a perfective if it is not ebracteate.
sent1 -> int1: the flatfoot is a kind of unprophetic thing that is not a Empire.; sent2 & int1 -> int2: the ragout salves Lastex.;
the myofibril does not salve Lastex but it is a perfective.
sent3 -> int3: if the myofibril is not ebracteate it does not salve Lastex and is a kind of a perfective.;
$hypothesis$ = that the myofibril does not salve Lastex but it is a perfective does not hold. ; $context$ = sent1: everything is a kind of unprophetic thing that is not a kind of a Empire. sent2: the fact that if the flatfoot is unprophetic thing that is not a kind of a Empire the ragout salves Lastex hold. sent3: something does not salve Lastex and is a perfective if it is not ebracteate. ; $proof$ = 
sent1 -> int1: the flatfoot is a kind of unprophetic thing that is not a Empire.; sent2 & int1 -> int2: the ragout salves Lastex.; __UNKNOWN__