the inventory is a largo.
sent1: the falls is not a largo. sent2: the falls is not a shortness. sent3: the inventory is not a tolu but it is hot. sent4: if the fact that the inventory is not a largo is right then the fact that it is not bodily and is a mugging is not correct. sent5: if the falls is not bodily that it is not a shortness and it is a kind of a mugging is wrong. sent6: that the vesture is non-predictable thing that does intussuscept is true if it does not spectate questionnaire. sent7: the falls is both not a shortness and a mugging if it is not a tolu. sent8: the falls is not a tolu. sent9: if the fact that the inventory is not axonal is correct then that it is not a shortness and does spectate blaster is not correct. sent10: that the falls is a kind of a shortness and it does mug is false if it is not bodily. sent11: that the falls is a shortness and it does mug does not hold. sent12: the inventory is not a tolu. sent13: the falls is a costermonger. sent14: if the falls is not a tolu then it is not a shortness. sent15: the falls is a largo if the inventory is bodily.
void -> assump1: Let's assume that the falls is not bodily.; sent5 & assump1 -> int1: the fact that that the falls is not a kind of a shortness and is a mugging hold does not hold.; sent7 & sent8 -> int2: the falls is not a shortness but it mugs.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the falls is bodily.;
$hypothesis$ = the inventory is a largo. ; $context$ = sent1: the falls is not a largo. sent2: the falls is not a shortness. sent3: the inventory is not a tolu but it is hot. sent4: if the fact that the inventory is not a largo is right then the fact that it is not bodily and is a mugging is not correct. sent5: if the falls is not bodily that it is not a shortness and it is a kind of a mugging is wrong. sent6: that the vesture is non-predictable thing that does intussuscept is true if it does not spectate questionnaire. sent7: the falls is both not a shortness and a mugging if it is not a tolu. sent8: the falls is not a tolu. sent9: if the fact that the inventory is not axonal is correct then that it is not a shortness and does spectate blaster is not correct. sent10: that the falls is a kind of a shortness and it does mug is false if it is not bodily. sent11: that the falls is a shortness and it does mug does not hold. sent12: the inventory is not a tolu. sent13: the falls is a costermonger. sent14: if the falls is not a tolu then it is not a shortness. sent15: the falls is a largo if the inventory is bodily. ; $proof$ = 
void -> assump1: Let's assume that the falls is not bodily.; sent5 & assump1 -> int1: the fact that that the falls is not a kind of a shortness and is a mugging hold does not hold.; sent7 & sent8 -> int2: the falls is not a shortness but it mugs.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the falls is bodily.; __UNKNOWN__