the RF does not gear pathogen if the adductor is not a kind of a half-breed.
sent1: the kinglet does not gear pathogen. sent2: the RF is centripetal. sent3: the RF is not a kind of a half-breed if the adductor gears pathogen. sent4: the eminence is not a half-breed. sent5: the RF is a half-breed if the adductor does not gear pathogen. sent6: the RF gears pathogen if the adductor is not a kind of a half-breed. sent7: if the attenuator is a half-breed then the fact that the RF does not gear pathogen is true. sent8: if the adductor is a kind of a half-breed then the RF does not gear pathogen. sent9: if the pathogen is a half-breed the fact that the RF does not gear pathogen is not wrong. sent10: that the adductor is a half-breed hold if the RF does gear pathogen. sent11: the adductor does not procure. sent12: the adductor does not camber thirteenth. sent13: the adductor is cross-ply. sent14: the cumin is not a kind of a half-breed. sent15: the adductor does not gear pathogen if the RF is a kind of a half-breed. sent16: the adductor cambers counterrevolution.
void -> assump2: Let's assume that the RF gears pathogen.; sent10 & assump2 -> int1: the adductor is a kind of a half-breed.; void -> assump1: Let's assume that the adductor is not a kind of a half-breed.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the RF does not gear pathogen.; [assump1] & int3 -> hypothesis;
$hypothesis$ = the RF does not gear pathogen if the adductor is not a kind of a half-breed. ; $context$ = sent1: the kinglet does not gear pathogen. sent2: the RF is centripetal. sent3: the RF is not a kind of a half-breed if the adductor gears pathogen. sent4: the eminence is not a half-breed. sent5: the RF is a half-breed if the adductor does not gear pathogen. sent6: the RF gears pathogen if the adductor is not a kind of a half-breed. sent7: if the attenuator is a half-breed then the fact that the RF does not gear pathogen is true. sent8: if the adductor is a kind of a half-breed then the RF does not gear pathogen. sent9: if the pathogen is a half-breed the fact that the RF does not gear pathogen is not wrong. sent10: that the adductor is a half-breed hold if the RF does gear pathogen. sent11: the adductor does not procure. sent12: the adductor does not camber thirteenth. sent13: the adductor is cross-ply. sent14: the cumin is not a kind of a half-breed. sent15: the adductor does not gear pathogen if the RF is a kind of a half-breed. sent16: the adductor cambers counterrevolution. ; $proof$ = 
void -> assump2: Let's assume that the RF gears pathogen.; sent10 & assump2 -> int1: the adductor is a kind of a half-breed.; void -> assump1: Let's assume that the adductor is not a kind of a half-breed.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the RF does not gear pathogen.; [assump1] & int3 -> hypothesis; __PROVED__