the grubby is vertical.
sent1: The tracked does not uplift grubby. sent2: the grubby does not uplift tracked. sent3: if the grubby does not uplift tracked then it does not interfere Galilean and is not a bilges. sent4: something is non-vertical if it does not interfere Galilean and it is not a bilges.
sent3 & sent2 -> int1: the grubby does not interfere Galilean and it is not a bilges.; sent4 -> int2: if the grubby does not interfere Galilean and it does not bilge it is not a kind of a vertical.; int1 & int2 -> hypothesis;
$hypothesis$ = the grubby is vertical. ; $context$ = sent1: The tracked does not uplift grubby. sent2: the grubby does not uplift tracked. sent3: if the grubby does not uplift tracked then it does not interfere Galilean and is not a bilges. sent4: something is non-vertical if it does not interfere Galilean and it is not a bilges. ; $proof$ = 
sent3 & sent2 -> int1: the grubby does not interfere Galilean and it is not a bilges.; sent4 -> int2: if the grubby does not interfere Galilean and it does not bilge it is not a kind of a vertical.; int1 & int2 -> hypothesis; __DISPROVED__