the inhalation is not cursorial.
sent1: if the crotaphion does instruct the nitpicker is not a skinheads and instruct. sent2: if something that does capture puts inhalation then it is not a skinheads. sent3: the crotaphion is restful. sent4: there exists something such that it does not instruct and is restless. sent5: something instructs. sent6: something is not a sweatband but it tweets behaviorism if it is cursorial. sent7: if something does not put inhalation it is not a skinheads and captures. sent8: that the crotaphion is non-restless thing that is cursorial hold. sent9: if the nitpicker is not a skinheads then the crotaphion instructs and is cursorial. sent10: something that is not a kind of a crystallization is a kind of a capture that does put inhalation. sent11: the crotaphion does instruct if it is not restless and it is a clews. sent12: the inhalation is cursorial if something that is not a skinheads does instruct. sent13: if the crotaphion is restless and it is a clews the fact that it instructs is not false. sent14: there is something such that that it tweets cylindricality and does put inhalation is wrong. sent15: the crotaphion is not restless but it is a kind of a clews.
sent11 & sent15 -> int1: the crotaphion instructs.; sent1 & int1 -> int2: the fact that the nitpicker is not a skinheads and does instruct is right.; int2 -> int3: there is something such that it is not a kind of a skinheads and it instructs.; int3 & sent12 -> hypothesis;
something is not a sweatband but it does tweet behaviorism.
sent6 -> int4: the crotaphion is not a sweatband and does tweet behaviorism if it is cursorial.; sent7 -> int5: the nitpicker is not a skinheads but it is a kind of a capture if it does not put inhalation.;
$hypothesis$ = the inhalation is not cursorial. ; $context$ = sent1: if the crotaphion does instruct the nitpicker is not a skinheads and instruct. sent2: if something that does capture puts inhalation then it is not a skinheads. sent3: the crotaphion is restful. sent4: there exists something such that it does not instruct and is restless. sent5: something instructs. sent6: something is not a sweatband but it tweets behaviorism if it is cursorial. sent7: if something does not put inhalation it is not a skinheads and captures. sent8: that the crotaphion is non-restless thing that is cursorial hold. sent9: if the nitpicker is not a skinheads then the crotaphion instructs and is cursorial. sent10: something that is not a kind of a crystallization is a kind of a capture that does put inhalation. sent11: the crotaphion does instruct if it is not restless and it is a clews. sent12: the inhalation is cursorial if something that is not a skinheads does instruct. sent13: if the crotaphion is restless and it is a clews the fact that it instructs is not false. sent14: there is something such that that it tweets cylindricality and does put inhalation is wrong. sent15: the crotaphion is not restless but it is a kind of a clews. ; $proof$ = 
sent11 & sent15 -> int1: the crotaphion instructs.; sent1 & int1 -> int2: the fact that the nitpicker is not a skinheads and does instruct is right.; int2 -> int3: there is something such that it is not a kind of a skinheads and it instructs.; int3 & sent12 -> hypothesis; __DISPROVED__