there is something such that that it is a raffinose is true.
sent1: there is something such that the fact that it is a tin and is not a favorableness is wrong. sent2: the papovavirus does chomp if it does bullshit interference. sent3: if the fact that something does not bullshit interference and/or it does chomp is not right then it is a conspiracy. sent4: the papovavirus chomps if the secretion bullshits interference. sent5: the fact that the papovavirus does not chomp is not wrong if something is not a tin. sent6: if something is a conspiracy then it is a raffinose. sent7: the papovavirus does not chomp if there exists something such that the fact that it is a tin and not a favorableness is incorrect. sent8: there exists something such that the fact that it is a tin and it is a favorableness does not hold. sent9: if the secretion is not a kind of a conspiracy it bullshits interference. sent10: if that the papovavirus is not a yoke hold it is unshrinkable. sent11: something is both a tin and not a favorableness. sent12: there exists something such that that it is a kind of a raffinose that does not chomp is wrong. sent13: something that is a kind of a conspiracy is a tin.
void -> assump1: Let's assume that the fact that the secretion is not a conspiracy is correct.; sent9 & assump1 -> int1: the secretion does bullshit interference.; int1 & sent4 -> int2: the papovavirus chomps.; sent1 & sent7 -> int3: the papovavirus does not chomp.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the fact that the secretion is a kind of a conspiracy is not wrong.; sent6 -> int6: the secretion is a kind of a raffinose if it is a conspiracy.; int5 & int6 -> int7: the secretion is a raffinose.; int7 -> hypothesis;
the astronaut is a tin.
sent13 -> int8: the astronaut is a kind of a tin if it is a conspiracy.; sent3 -> int9: the astronaut is a conspiracy if that it either does not bullshit interference or does chomp or both is wrong.;
$hypothesis$ = there is something such that that it is a raffinose is true. ; $context$ = sent1: there is something such that the fact that it is a tin and is not a favorableness is wrong. sent2: the papovavirus does chomp if it does bullshit interference. sent3: if the fact that something does not bullshit interference and/or it does chomp is not right then it is a conspiracy. sent4: the papovavirus chomps if the secretion bullshits interference. sent5: the fact that the papovavirus does not chomp is not wrong if something is not a tin. sent6: if something is a conspiracy then it is a raffinose. sent7: the papovavirus does not chomp if there exists something such that the fact that it is a tin and not a favorableness is incorrect. sent8: there exists something such that the fact that it is a tin and it is a favorableness does not hold. sent9: if the secretion is not a kind of a conspiracy it bullshits interference. sent10: if that the papovavirus is not a yoke hold it is unshrinkable. sent11: something is both a tin and not a favorableness. sent12: there exists something such that that it is a kind of a raffinose that does not chomp is wrong. sent13: something that is a kind of a conspiracy is a tin. ; $proof$ = 
void -> assump1: Let's assume that the fact that the secretion is not a conspiracy is correct.; sent9 & assump1 -> int1: the secretion does bullshit interference.; int1 & sent4 -> int2: the papovavirus chomps.; sent1 & sent7 -> int3: the papovavirus does not chomp.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the fact that the secretion is a kind of a conspiracy is not wrong.; sent6 -> int6: the secretion is a kind of a raffinose if it is a conspiracy.; int5 & int6 -> int7: the secretion is a raffinose.; int7 -> hypothesis; __PROVED__