the tramline is scalable.
sent1: the emery is shockable if the actomyosin does not circularize shave but it is shockable. sent2: the tramline does snarl Manet. sent3: if the actomyosin does refrain Deuteronomy it does not circularize shave and is shockable. sent4: if something is shockable then it refrains decision. sent5: the flux snarls Manet. sent6: if the emery does refrain decision it does circularize horniness and does not snarl Manet. sent7: the tramline does circularize horniness and snarls Manet.
sent7 -> int1: the tramline does circularize horniness.;
the tramline is not scalable.
sent4 -> int2: the emery does refrain decision if it is shockable.;
$hypothesis$ = the tramline is scalable. ; $context$ = sent1: the emery is shockable if the actomyosin does not circularize shave but it is shockable. sent2: the tramline does snarl Manet. sent3: if the actomyosin does refrain Deuteronomy it does not circularize shave and is shockable. sent4: if something is shockable then it refrains decision. sent5: the flux snarls Manet. sent6: if the emery does refrain decision it does circularize horniness and does not snarl Manet. sent7: the tramline does circularize horniness and snarls Manet. ; $proof$ = 
sent7 -> int1: the tramline does circularize horniness.; __UNKNOWN__