that if the aril disrespects latch the volleyball is boneless is not true.
sent1: if something is non-tight thing that is not non-fungicidal then it is not a kind of a nonmetal. sent2: the latch does not brecciate. sent3: if the latch does not brecciate it is not fungicidal and it does whang symphysion. sent4: there exists something such that it is not a nonmetal. sent5: that the volleyball does not disrespect latch is not wrong. sent6: something is acronymic but it is not a nonmetal. sent7: the latch does not dusk checkrein but it is holophytic. sent8: the aril does whang symphysion. sent9: the aril is tight. sent10: there is something such that it does not whang percussion. sent11: something that is not an embassy is boneless. sent12: the latch does whang symphysion. sent13: there exists something such that it is non-acronymic a nonmetal. sent14: there exists something such that that it does not disrespect latch is not incorrect. sent15: the volleyball is not an embassy if there exists something such that it is non-acronymic thing that is not a nonmetal. sent16: something that is non-fungicidal thing that does whang symphysion is not a nonmetal. sent17: the latch is not acronymic if the aril disrespects latch and it is tight. sent18: the volleyball is non-boneless thing that brecciates.
void -> assump1: Let's assume that the fact that the aril does disrespect latch is right.; assump1 & sent9 -> int1: the aril does disrespect latch and it is tight.; int1 & sent17 -> int2: the latch is not acronymic.; sent16 -> int3: if the latch is not fungicidal and whangs symphysion then it is not a nonmetal.; sent3 & sent2 -> int4: the latch is non-fungicidal thing that whangs symphysion.; int3 & int4 -> int5: the latch is not a nonmetal.; int2 & int5 -> int6: the latch is not acronymic and it is not a nonmetal.; int6 -> int7: there exists something such that it is non-acronymic and it is not a kind of a nonmetal.; int7 & sent15 -> int8: the volleyball is not an embassy.; sent11 -> int9: if the volleyball is not an embassy then it is boneless.; int8 & int9 -> int10: the volleyball is boneless.; [assump1] & int10 -> hypothesis;
$hypothesis$ = that if the aril disrespects latch the volleyball is boneless is not true. ; $context$ = sent1: if something is non-tight thing that is not non-fungicidal then it is not a kind of a nonmetal. sent2: the latch does not brecciate. sent3: if the latch does not brecciate it is not fungicidal and it does whang symphysion. sent4: there exists something such that it is not a nonmetal. sent5: that the volleyball does not disrespect latch is not wrong. sent6: something is acronymic but it is not a nonmetal. sent7: the latch does not dusk checkrein but it is holophytic. sent8: the aril does whang symphysion. sent9: the aril is tight. sent10: there is something such that it does not whang percussion. sent11: something that is not an embassy is boneless. sent12: the latch does whang symphysion. sent13: there exists something such that it is non-acronymic a nonmetal. sent14: there exists something such that that it does not disrespect latch is not incorrect. sent15: the volleyball is not an embassy if there exists something such that it is non-acronymic thing that is not a nonmetal. sent16: something that is non-fungicidal thing that does whang symphysion is not a nonmetal. sent17: the latch is not acronymic if the aril disrespects latch and it is tight. sent18: the volleyball is non-boneless thing that brecciates. ; $proof$ = 
void -> assump1: Let's assume that the fact that the aril does disrespect latch is right.; assump1 & sent9 -> int1: the aril does disrespect latch and it is tight.; int1 & sent17 -> int2: the latch is not acronymic.; sent16 -> int3: if the latch is not fungicidal and whangs symphysion then it is not a nonmetal.; sent3 & sent2 -> int4: the latch is non-fungicidal thing that whangs symphysion.; int3 & int4 -> int5: the latch is not a nonmetal.; int2 & int5 -> int6: the latch is not acronymic and it is not a nonmetal.; int6 -> int7: there exists something such that it is non-acronymic and it is not a kind of a nonmetal.; int7 & sent15 -> int8: the volleyball is not an embassy.; sent11 -> int9: if the volleyball is not an embassy then it is boneless.; int8 & int9 -> int10: the volleyball is boneless.; [assump1] & int10 -> hypothesis; __DISPROVED__