the tart is premenstrual.
sent1: the coastland is an avalanche. sent2: if the rauwolfia is not apostrophic then the tart does quarter feculence and is apostrophic. sent3: that the hobby is not a kind of an avalanche and/or does not sequence tart does not hold. sent4: something that does sequence tart and does sequence hobby is not a Thuja. sent5: if the rauwolfia is supraorbital then that it does not limit is not false. sent6: if the rauwolfia is apostrophic or it is an avalanche or both then it is not a kind of an autopilot. sent7: if something is not a countercoup the fact that it is not a blameworthiness or does not sequence Doliolidae or both is wrong. sent8: something that is both an avalanche and apostrophic is not premenstrual. sent9: if something is not pentatonic then it is a hematinic. sent10: the rauwolfia is premenstrual. sent11: if something that quarters feculence is apostrophic the fact that it is not a countercoup is correct. sent12: everything is an autopilot.
void -> assump1: Let's assume that the rauwolfia is apostrophic.; assump1 -> int1: the rauwolfia either is apostrophic or is a kind of an avalanche or both.; int1 & sent6 -> int2: the rauwolfia is not an autopilot.; sent12 -> int3: the rauwolfia is a kind of an autopilot.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the rauwolfia is not apostrophic.; int5 & sent2 -> int6: the tart quarters feculence and is apostrophic.; sent11 -> int7: the tart is not a kind of a countercoup if it does quarter feculence and is not non-apostrophic.; int6 & int7 -> int8: the tart is not a countercoup.; sent7 -> int9: the fact that the tart is not a blameworthiness or it does not sequence Doliolidae or both is not right if the fact that it is not a countercoup is not wrong.; int8 & int9 -> int10: that either the tart is not a blameworthiness or it does not sequence Doliolidae or both is not correct.;
the tart is not premenstrual.
sent8 -> int11: if the tart avalanches and it is apostrophic it is not premenstrual.;
$hypothesis$ = the tart is premenstrual. ; $context$ = sent1: the coastland is an avalanche. sent2: if the rauwolfia is not apostrophic then the tart does quarter feculence and is apostrophic. sent3: that the hobby is not a kind of an avalanche and/or does not sequence tart does not hold. sent4: something that does sequence tart and does sequence hobby is not a Thuja. sent5: if the rauwolfia is supraorbital then that it does not limit is not false. sent6: if the rauwolfia is apostrophic or it is an avalanche or both then it is not a kind of an autopilot. sent7: if something is not a countercoup the fact that it is not a blameworthiness or does not sequence Doliolidae or both is wrong. sent8: something that is both an avalanche and apostrophic is not premenstrual. sent9: if something is not pentatonic then it is a hematinic. sent10: the rauwolfia is premenstrual. sent11: if something that quarters feculence is apostrophic the fact that it is not a countercoup is correct. sent12: everything is an autopilot. ; $proof$ = 
void -> assump1: Let's assume that the rauwolfia is apostrophic.; assump1 -> int1: the rauwolfia either is apostrophic or is a kind of an avalanche or both.; int1 & sent6 -> int2: the rauwolfia is not an autopilot.; sent12 -> int3: the rauwolfia is a kind of an autopilot.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the rauwolfia is not apostrophic.; int5 & sent2 -> int6: the tart quarters feculence and is apostrophic.; sent11 -> int7: the tart is not a kind of a countercoup if it does quarter feculence and is not non-apostrophic.; int6 & int7 -> int8: the tart is not a countercoup.; sent7 -> int9: the fact that the tart is not a blameworthiness or it does not sequence Doliolidae or both is not right if the fact that it is not a countercoup is not wrong.; int8 & int9 -> int10: that either the tart is not a blameworthiness or it does not sequence Doliolidae or both is not correct.; __UNKNOWN__