the brakes is a kind of a ramp.
sent1: if the brakes is sane but it is not a dosemeter then the fact that it does not ramp is not wrong. sent2: that the brakes does ramp but it is not Stravinskyan does not hold. sent3: if the retread is not a Yuman then the brakes is opaque and it ramps. sent4: the retread is both a Yuman and unstable if something is representative. sent5: the landscapist is zoonotic. sent6: if the mantrap is politic it is opaque. sent7: if the fact that something is a kind of sane thing that is not a kind of a dosemeter is not correct then it is opaque. sent8: something that is zoonotic is a representative. sent9: if something is not a Yuman it is not opaque. sent10: if the brakes is not sane then it is opaque. sent11: the brakes is not a Yuman. sent12: something is opaque if it is not sane. sent13: if something is not a representative then that it is not a Yuman and it is unstable is not incorrect. sent14: the brakes is sane.
sent7 -> int1: the brakes is opaque if that it is sane but not a dosemeter is not correct.; void -> assump1: Let's assume that the fact that the brakes is sane and is not a dosemeter is not correct.; int1 & assump1 -> int2: the brakes is opaque.; sent9 -> int3: if the brakes is not Yuman it is not opaque.; int3 & sent11 -> int4: the brakes is not opaque.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the brakes is a kind of sane thing that is not a kind of a dosemeter.; int6 & sent1 -> hypothesis;
the brakes is a ramp.
sent13 -> int7: if the retread is not a representative it is not a Yuman and is unstable.;
$hypothesis$ = the brakes is a kind of a ramp. ; $context$ = sent1: if the brakes is sane but it is not a dosemeter then the fact that it does not ramp is not wrong. sent2: that the brakes does ramp but it is not Stravinskyan does not hold. sent3: if the retread is not a Yuman then the brakes is opaque and it ramps. sent4: the retread is both a Yuman and unstable if something is representative. sent5: the landscapist is zoonotic. sent6: if the mantrap is politic it is opaque. sent7: if the fact that something is a kind of sane thing that is not a kind of a dosemeter is not correct then it is opaque. sent8: something that is zoonotic is a representative. sent9: if something is not a Yuman it is not opaque. sent10: if the brakes is not sane then it is opaque. sent11: the brakes is not a Yuman. sent12: something is opaque if it is not sane. sent13: if something is not a representative then that it is not a Yuman and it is unstable is not incorrect. sent14: the brakes is sane. ; $proof$ = 
sent7 -> int1: the brakes is opaque if that it is sane but not a dosemeter is not correct.; void -> assump1: Let's assume that the fact that the brakes is sane and is not a dosemeter is not correct.; int1 & assump1 -> int2: the brakes is opaque.; sent9 -> int3: if the brakes is not Yuman it is not opaque.; int3 & sent11 -> int4: the brakes is not opaque.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the brakes is a kind of sane thing that is not a kind of a dosemeter.; int6 & sent1 -> hypothesis; __DISPROVED__