the bottle is unilateral.
sent1: that the grubby is passable or it is radiological or both is not true if there is something such that it is anal. sent2: there are anal things. sent3: something is non-osteal if the fact that it is passable or is radiological or both is not correct. sent4: if the grubby is not osteal that the bottle stampedes switch is not wrong. sent5: if something stampedes switch then it is unilateral. sent6: the velum stampedes switch.
sent2 & sent1 -> int1: that that the grubby is either not impassable or radiological or both hold is incorrect.; sent3 -> int2: if the fact that the grubby is passable and/or is radiological is not correct it is not osteal.; int1 & int2 -> int3: the grubby is not osteal.; int3 & sent4 -> int4: the bottle does stampede switch.; sent5 -> int5: if the bottle stampedes switch then it is unilateral.; int4 & int5 -> hypothesis;
$hypothesis$ = the bottle is unilateral. ; $context$ = sent1: that the grubby is passable or it is radiological or both is not true if there is something such that it is anal. sent2: there are anal things. sent3: something is non-osteal if the fact that it is passable or is radiological or both is not correct. sent4: if the grubby is not osteal that the bottle stampedes switch is not wrong. sent5: if something stampedes switch then it is unilateral. sent6: the velum stampedes switch. ; $proof$ = 
sent2 & sent1 -> int1: that that the grubby is either not impassable or radiological or both hold is incorrect.; sent3 -> int2: if the fact that the grubby is passable and/or is radiological is not correct it is not osteal.; int1 & int2 -> int3: the grubby is not osteal.; int3 & sent4 -> int4: the bottle does stampede switch.; sent5 -> int5: if the bottle stampedes switch then it is unilateral.; int4 & int5 -> hypothesis; __PROVED__