the simvastatin is not a chewink.
sent1: the contraband is not a kind of a cravat if it does repot Ptilonorhynchus and it is mindful. sent2: the contraband is a cormorant. sent3: the simvastatin does not repot Ptilonorhynchus. sent4: the captopril is mindful. sent5: the simvastatin is a kind of a Norwegian. sent6: the contraband is a cravat. sent7: if something that does circumvallate Oxyuridae is not a Bhutanese it is a kind of a chewink. sent8: the contraband is mindful. sent9: the simvastatin is mindful. sent10: the contraband does ransom. sent11: something is a chewink and circumvallates Oxyuridae if it is not a Bhutanese. sent12: the contraband is a kind of a cravat if it is a chewink. sent13: the captopril circumvallates Oxyuridae if the simvastatin is a chewink. sent14: the dogtooth is a chewink. sent15: if the fact that the captopril circumvallates Oxyuridae is correct it is mindful. sent16: the contraband does repot Ptilonorhynchus if the captopril is a kind of a cravat. sent17: the Calvinist circumvallates Oxyuridae. sent18: the contraband is Bhutanese if the captopril circumvallates Oxyuridae. sent19: the simvastatin circumvallates Oxyuridae. sent20: the captopril is a Bhutanese if the contraband circumvallates Oxyuridae. sent21: the dichloride is a trawler and it is tonal. sent22: the oxeye is a vernix that is Hugoesque. sent23: if the fact that the contraband is a Bhutanese is true it repots Ptilonorhynchus. sent24: the fact that the simvastatin is a kind of a Bhutanese is not wrong.
void -> assump1: Let's assume that the simvastatin is a kind of a chewink.; sent13 & assump1 -> int1: the captopril does circumvallate Oxyuridae.; int1 & sent18 -> int2: the contraband is a Bhutanese.; int2 & sent23 -> int3: the contraband repots Ptilonorhynchus.; int3 & sent8 -> int4: the contraband does repot Ptilonorhynchus and is mindful.; int4 & sent1 -> int5: the contraband is not a kind of a cravat.; int5 & sent6 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis;
the simvastatin is a chewink.
sent7 -> int7: if the simvastatin does circumvallate Oxyuridae and is not a Bhutanese it is a chewink.;
$hypothesis$ = the simvastatin is not a chewink. ; $context$ = sent1: the contraband is not a kind of a cravat if it does repot Ptilonorhynchus and it is mindful. sent2: the contraband is a cormorant. sent3: the simvastatin does not repot Ptilonorhynchus. sent4: the captopril is mindful. sent5: the simvastatin is a kind of a Norwegian. sent6: the contraband is a cravat. sent7: if something that does circumvallate Oxyuridae is not a Bhutanese it is a kind of a chewink. sent8: the contraband is mindful. sent9: the simvastatin is mindful. sent10: the contraband does ransom. sent11: something is a chewink and circumvallates Oxyuridae if it is not a Bhutanese. sent12: the contraband is a kind of a cravat if it is a chewink. sent13: the captopril circumvallates Oxyuridae if the simvastatin is a chewink. sent14: the dogtooth is a chewink. sent15: if the fact that the captopril circumvallates Oxyuridae is correct it is mindful. sent16: the contraband does repot Ptilonorhynchus if the captopril is a kind of a cravat. sent17: the Calvinist circumvallates Oxyuridae. sent18: the contraband is Bhutanese if the captopril circumvallates Oxyuridae. sent19: the simvastatin circumvallates Oxyuridae. sent20: the captopril is a Bhutanese if the contraband circumvallates Oxyuridae. sent21: the dichloride is a trawler and it is tonal. sent22: the oxeye is a vernix that is Hugoesque. sent23: if the fact that the contraband is a Bhutanese is true it repots Ptilonorhynchus. sent24: the fact that the simvastatin is a kind of a Bhutanese is not wrong. ; $proof$ = 
void -> assump1: Let's assume that the simvastatin is a kind of a chewink.; sent13 & assump1 -> int1: the captopril does circumvallate Oxyuridae.; int1 & sent18 -> int2: the contraband is a Bhutanese.; int2 & sent23 -> int3: the contraband repots Ptilonorhynchus.; int3 & sent8 -> int4: the contraband does repot Ptilonorhynchus and is mindful.; int4 & sent1 -> int5: the contraband is not a kind of a cravat.; int5 & sent6 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis; __PROVED__