the baggage is an overestimate.
sent1: the fact that the baggage is a kind of a Tombigbee is correct if it is an overestimate. sent2: the fact that the baggage is a kind of a Tombigbee is true. sent3: the baggage does blast. sent4: the etamine is a Freya. sent5: the ascomycete is not a kind of a atelier. sent6: if the etamine is macaronic it is a kind of a Tombigbee. sent7: that the baggage is macaronic is not incorrect. sent8: the maxilla does not overestimate. sent9: the baggage is not a kind of a atelier. sent10: the pussley is not a Tombigbee. sent11: the etamine is not a Sheraton. sent12: the etamine is a atelier. sent13: that the etamine is not a Tombigbee is right.
void -> assump1: Let's assume that the etamine is macaronic.; sent6 & assump1 -> int1: the fact that the etamine is a Tombigbee is right.; int1 & sent13 -> int2: this is contradiction.; [assump1] & int2 -> int3: the etamine is not macaronic.; int3 & sent12 -> int4: the etamine is not macaronic but a atelier.;
$hypothesis$ = the baggage is an overestimate. ; $context$ = sent1: the fact that the baggage is a kind of a Tombigbee is correct if it is an overestimate. sent2: the fact that the baggage is a kind of a Tombigbee is true. sent3: the baggage does blast. sent4: the etamine is a Freya. sent5: the ascomycete is not a kind of a atelier. sent6: if the etamine is macaronic it is a kind of a Tombigbee. sent7: that the baggage is macaronic is not incorrect. sent8: the maxilla does not overestimate. sent9: the baggage is not a kind of a atelier. sent10: the pussley is not a Tombigbee. sent11: the etamine is not a Sheraton. sent12: the etamine is a atelier. sent13: that the etamine is not a Tombigbee is right. ; $proof$ = 
void -> assump1: Let's assume that the etamine is macaronic.; sent6 & assump1 -> int1: the fact that the etamine is a Tombigbee is right.; int1 & sent13 -> int2: this is contradiction.; [assump1] & int2 -> int3: the etamine is not macaronic.; int3 & sent12 -> int4: the etamine is not macaronic but a atelier.; __UNKNOWN__