that the propanol does not insufflate depth and is a carbine is not false.
sent1: there exists something such that it is a Cynocephalidae and macrocephalic. sent2: there is something such that that it is a kind of a rogue and is not a kind of a chitin does not hold. sent3: the propanol does not insufflate depth but it is a carbine if the overlay is not acquisitive. sent4: the blouse is a kind of a Cynocephalidae but it is not macrocephalic. sent5: if the overlay is not a kind of a sectional then that it is both not a rogue and not a chitin is incorrect. sent6: if there exists something such that that it is not a rogue and is not a chitin is false the claro is not unbroken. sent7: that the overlay is a kind of a rogue but it is not a kind of a chitin is false. sent8: that the blouse is not macrocephalic is not false. sent9: if the overlay is not effective then it is not moonlit. sent10: that that the overlay is not a rogue but it is the chitin does not hold if the overlay is not a sectional is right. sent11: the propanol does not insufflate depth. sent12: the claro is unbroken if something is a Cynocephalidae but it is not macrocephalic. sent13: the overlay is not effective. sent14: the overlay is not acquisitive if it is both sectional and non-moonlit. sent15: that something does not insufflate depth and is a carbine does not hold if it is a kind of a sectional.
void -> assump1: Let's assume that the overlay is not a sectional.; sent5 & assump1 -> int1: that the overlay is not a rogue and it is not a chitin is false.; int1 -> int2: there exists something such that that it is both not a rogue and not a chitin is incorrect.; int2 & sent6 -> int3: the claro is not unbroken.; sent4 -> int4: there is something such that it is a Cynocephalidae and it is not macrocephalic.; int4 & sent12 -> int5: the claro is unbroken.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the overlay is a kind of a sectional.; sent9 & sent13 -> int8: the overlay is not moonlit.; int7 & int8 -> int9: the overlay is a sectional and non-moonlit.; int9 & sent14 -> int10: the overlay is unacquisitive.; int10 & sent3 -> hypothesis;
the fact that the propanol does not insufflate depth and is a carbine is false.
sent15 -> int11: the fact that the propanol does not insufflate depth and is a kind of a carbine is not true if it is sectional.;
$hypothesis$ = that the propanol does not insufflate depth and is a carbine is not false. ; $context$ = sent1: there exists something such that it is a Cynocephalidae and macrocephalic. sent2: there is something such that that it is a kind of a rogue and is not a kind of a chitin does not hold. sent3: the propanol does not insufflate depth but it is a carbine if the overlay is not acquisitive. sent4: the blouse is a kind of a Cynocephalidae but it is not macrocephalic. sent5: if the overlay is not a kind of a sectional then that it is both not a rogue and not a chitin is incorrect. sent6: if there exists something such that that it is not a rogue and is not a chitin is false the claro is not unbroken. sent7: that the overlay is a kind of a rogue but it is not a kind of a chitin is false. sent8: that the blouse is not macrocephalic is not false. sent9: if the overlay is not effective then it is not moonlit. sent10: that that the overlay is not a rogue but it is the chitin does not hold if the overlay is not a sectional is right. sent11: the propanol does not insufflate depth. sent12: the claro is unbroken if something is a Cynocephalidae but it is not macrocephalic. sent13: the overlay is not effective. sent14: the overlay is not acquisitive if it is both sectional and non-moonlit. sent15: that something does not insufflate depth and is a carbine does not hold if it is a kind of a sectional. ; $proof$ = 
void -> assump1: Let's assume that the overlay is not a sectional.; sent5 & assump1 -> int1: that the overlay is not a rogue and it is not a chitin is false.; int1 -> int2: there exists something such that that it is both not a rogue and not a chitin is incorrect.; int2 & sent6 -> int3: the claro is not unbroken.; sent4 -> int4: there is something such that it is a Cynocephalidae and it is not macrocephalic.; int4 & sent12 -> int5: the claro is unbroken.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the overlay is a kind of a sectional.; sent9 & sent13 -> int8: the overlay is not moonlit.; int7 & int8 -> int9: the overlay is a sectional and non-moonlit.; int9 & sent14 -> int10: the overlay is unacquisitive.; int10 & sent3 -> hypothesis; __PROVED__