that the aminomethane is a table and compact is false.
sent1: there is something such that the fact that that it acclaims and does not table is correct does not hold. sent2: there exists something such that the fact that it is not a Linaceae and is not a sulfonate is not right. sent3: the parodist is not non-feudatory. sent4: that the aminomethane is a kind of a table that compacts is not right if the foundry is not a table. sent5: there exists something such that that it is not a Linaceae and is a sulfonate is wrong. sent6: if the Colt watches roast the parodist is not a skip. sent7: if the fact that something is not compact hold then the fact that it is a skip that does not table is not right. sent8: if there exists something such that the fact that it is a kind of a Confucianism that is not an acclaim does not hold the Colt does watch roast. sent9: if the foundry is a kind of a Confucianism but it is not an acclaim then it is not a table. sent10: there is something such that it is a kind of a Confucianism and it is not an acclaim. sent11: if that the parodist does not devein Falcatifolium is true then that the Colt watches roast and is not a kind of a skip is wrong. sent12: the drunkard does devein Falcatifolium if there exists something such that the fact that it is not a Linaceae and is not a sulfonate does not hold. sent13: if the drunkard deveins Falcatifolium then the parodist is a kind of a skip.
void -> assump1: Let's assume that the fact that the foundry is a kind of a Confucianism but it is not an acclaim does not hold.; assump1 -> int1: there is something such that that it is a Confucianism that is not an acclaim is not right.; int1 & sent8 -> int2: the Colt does watch roast.; int2 & sent6 -> int3: the parodist is not a skip.; sent2 & sent12 -> int4: the drunkard deveins Falcatifolium.; sent13 & int4 -> int5: the parodist does skip.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the foundry is a Confucianism but not an acclaim.; int7 & sent9 -> int8: the foundry is not a table.; int8 & sent4 -> hypothesis;
that the aminomethane is a table and compact is true.
$hypothesis$ = that the aminomethane is a table and compact is false. ; $context$ = sent1: there is something such that the fact that that it acclaims and does not table is correct does not hold. sent2: there exists something such that the fact that it is not a Linaceae and is not a sulfonate is not right. sent3: the parodist is not non-feudatory. sent4: that the aminomethane is a kind of a table that compacts is not right if the foundry is not a table. sent5: there exists something such that that it is not a Linaceae and is a sulfonate is wrong. sent6: if the Colt watches roast the parodist is not a skip. sent7: if the fact that something is not compact hold then the fact that it is a skip that does not table is not right. sent8: if there exists something such that the fact that it is a kind of a Confucianism that is not an acclaim does not hold the Colt does watch roast. sent9: if the foundry is a kind of a Confucianism but it is not an acclaim then it is not a table. sent10: there is something such that it is a kind of a Confucianism and it is not an acclaim. sent11: if that the parodist does not devein Falcatifolium is true then that the Colt watches roast and is not a kind of a skip is wrong. sent12: the drunkard does devein Falcatifolium if there exists something such that the fact that it is not a Linaceae and is not a sulfonate does not hold. sent13: if the drunkard deveins Falcatifolium then the parodist is a kind of a skip. ; $proof$ = 
void -> assump1: Let's assume that the fact that the foundry is a kind of a Confucianism but it is not an acclaim does not hold.; assump1 -> int1: there is something such that that it is a Confucianism that is not an acclaim is not right.; int1 & sent8 -> int2: the Colt does watch roast.; int2 & sent6 -> int3: the parodist is not a skip.; sent2 & sent12 -> int4: the drunkard deveins Falcatifolium.; sent13 & int4 -> int5: the parodist does skip.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the foundry is a Confucianism but not an acclaim.; int7 & sent9 -> int8: the foundry is not a table.; int8 & sent4 -> hypothesis; __PROVED__