the exotoxin does animate.
sent1: if the personification is offing then the cousin levels ironmongery. sent2: everything is not incomprehensible but parotid. sent3: if that something is combinative but it is not a pseudoscience is false it does not animate. sent4: the personification does not animate if that it is combinative and it is not offing does not hold. sent5: if the lithium does level eriogonum the fact that it is a kind of comprehensible thing that is parotid is not correct. sent6: if the lithium levels ironmongery the cousin is symmetrical. sent7: that the exotoxin sighs Dactylorhiza and is noncombinative does not hold if the lithium is incomprehensible. sent8: the fact that the exotoxin is combinative but it is not a pseudoscience is false if the cousin does level ironmongery. sent9: the lithium is combinative and is a pseudoscience. sent10: that the exotoxin is parotid and does not level eriogonum is not right if the lithium is combinative. sent11: if the lithium does not level eriogonum and sighs Dactylorhiza the fact that the personification is offing is right. sent12: the lithium is not offing and/or does not level ironmongery if it is combinative. sent13: the cousin is not incomprehensible but it is a Unitarian. sent14: the exotoxin is a Congolese and is rectal. sent15: the lithium is symmetrical and sighs Dactylorhiza.
void -> assump1: Let's assume that the lithium does level eriogonum.; sent5 & assump1 -> int1: that the lithium is not incomprehensible but it is parotid is not correct.; sent2 -> int2: the lithium is not incomprehensible but it is parotid.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the lithium does not level eriogonum.; sent15 -> int5: the lithium does sigh Dactylorhiza.; int4 & int5 -> int6: the lithium does not level eriogonum and does sigh Dactylorhiza.; int6 & sent11 -> int7: the personification is offing.; int7 & sent1 -> int8: the cousin levels ironmongery.; int8 & sent8 -> int9: the fact that the exotoxin is combinative but it is not a pseudoscience is not true.; sent3 -> int10: if that the exotoxin is a kind of combinative thing that is not a pseudoscience is not right that it is animate is incorrect.; int9 & int10 -> hypothesis;
the exotoxin does animate.
sent9 -> int11: the lithium is combinative.; sent12 & int11 -> int12: the lithium is not offing or it does not level ironmongery or both.; int12 -> int13: there exists something such that it either is not offing or does not level ironmongery or both.;
$hypothesis$ = the exotoxin does animate. ; $context$ = sent1: if the personification is offing then the cousin levels ironmongery. sent2: everything is not incomprehensible but parotid. sent3: if that something is combinative but it is not a pseudoscience is false it does not animate. sent4: the personification does not animate if that it is combinative and it is not offing does not hold. sent5: if the lithium does level eriogonum the fact that it is a kind of comprehensible thing that is parotid is not correct. sent6: if the lithium levels ironmongery the cousin is symmetrical. sent7: that the exotoxin sighs Dactylorhiza and is noncombinative does not hold if the lithium is incomprehensible. sent8: the fact that the exotoxin is combinative but it is not a pseudoscience is false if the cousin does level ironmongery. sent9: the lithium is combinative and is a pseudoscience. sent10: that the exotoxin is parotid and does not level eriogonum is not right if the lithium is combinative. sent11: if the lithium does not level eriogonum and sighs Dactylorhiza the fact that the personification is offing is right. sent12: the lithium is not offing and/or does not level ironmongery if it is combinative. sent13: the cousin is not incomprehensible but it is a Unitarian. sent14: the exotoxin is a Congolese and is rectal. sent15: the lithium is symmetrical and sighs Dactylorhiza. ; $proof$ = 
void -> assump1: Let's assume that the lithium does level eriogonum.; sent5 & assump1 -> int1: that the lithium is not incomprehensible but it is parotid is not correct.; sent2 -> int2: the lithium is not incomprehensible but it is parotid.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the lithium does not level eriogonum.; sent15 -> int5: the lithium does sigh Dactylorhiza.; int4 & int5 -> int6: the lithium does not level eriogonum and does sigh Dactylorhiza.; int6 & sent11 -> int7: the personification is offing.; int7 & sent1 -> int8: the cousin levels ironmongery.; int8 & sent8 -> int9: the fact that the exotoxin is combinative but it is not a pseudoscience is not true.; sent3 -> int10: if that the exotoxin is a kind of combinative thing that is not a pseudoscience is not right that it is animate is incorrect.; int9 & int10 -> hypothesis; __DISPROVED__