the camellia is not a Stowe.
sent1: if the fact that something is phalangeal and does not maraud is wrong then it maraud. sent2: something is a kind of trustworthy thing that does not heap grade. sent3: something is not a Stowe if the fact that it is not blacking and does not maraud does not hold. sent4: the shipbuilder does bosom. sent5: the shipbuilder is not an artiodactyl. sent6: if the shipbuilder is not non-phalangeal and it is an artiodactyl it is not a blacking. sent7: the shipbuilder is not blacking if it is phalangeal and it is not an artiodactyl. sent8: if something does heap grade and does not maraud it is a Stowe. sent9: there is something such that the fact that that it is trustworthy and it heaps grade is true is not right. sent10: that the decidua is a Stowe is not incorrect. sent11: if there is something such that the fact that it is trustworthy and it does not heap grade is not right the camellia heap grade. sent12: if there exists something such that it is not trustworthy then that the camellia heaps grade is true. sent13: the shipbuilder is a blacking if the camellia does maraud. sent14: there is something such that that it is trustworthy thing that does not heap grade is not true. sent15: the shipbuilder is phalangeal but it is not a kind of an artiodactyl.
void -> assump1: Let's assume that that the camellia marauds is not wrong.; sent13 & assump1 -> int1: the shipbuilder is a blacking.; sent7 & sent15 -> int2: the shipbuilder is not a blacking.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the camellia does not maraud.; sent14 & sent11 -> int5: the camellia does heap grade.; int4 & int5 -> int6: the camellia does heap grade and does not maraud.; sent8 -> int7: if the camellia heaps grade and does not maraud it is a kind of a Stowe.; int6 & int7 -> hypothesis;
the camellia is not a Stowe.
sent3 -> int8: that if that the camellia is not blacking and does not maraud is not right then the camellia is not a Stowe is not false.; sent1 -> int9: the shipbuilder does maraud if that it is phalangeal and it does not maraud is false.;
$hypothesis$ = the camellia is not a Stowe. ; $context$ = sent1: if the fact that something is phalangeal and does not maraud is wrong then it maraud. sent2: something is a kind of trustworthy thing that does not heap grade. sent3: something is not a Stowe if the fact that it is not blacking and does not maraud does not hold. sent4: the shipbuilder does bosom. sent5: the shipbuilder is not an artiodactyl. sent6: if the shipbuilder is not non-phalangeal and it is an artiodactyl it is not a blacking. sent7: the shipbuilder is not blacking if it is phalangeal and it is not an artiodactyl. sent8: if something does heap grade and does not maraud it is a Stowe. sent9: there is something such that the fact that that it is trustworthy and it heaps grade is true is not right. sent10: that the decidua is a Stowe is not incorrect. sent11: if there is something such that the fact that it is trustworthy and it does not heap grade is not right the camellia heap grade. sent12: if there exists something such that it is not trustworthy then that the camellia heaps grade is true. sent13: the shipbuilder is a blacking if the camellia does maraud. sent14: there is something such that that it is trustworthy thing that does not heap grade is not true. sent15: the shipbuilder is phalangeal but it is not a kind of an artiodactyl. ; $proof$ = 
void -> assump1: Let's assume that that the camellia marauds is not wrong.; sent13 & assump1 -> int1: the shipbuilder is a blacking.; sent7 & sent15 -> int2: the shipbuilder is not a blacking.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the camellia does not maraud.; sent14 & sent11 -> int5: the camellia does heap grade.; int4 & int5 -> int6: the camellia does heap grade and does not maraud.; sent8 -> int7: if the camellia heaps grade and does not maraud it is a kind of a Stowe.; int6 & int7 -> hypothesis; __DISPROVED__