the fact that there is something such that if it is not weightless it is spatial thing that is not a kind of a humanist does not hold.
sent1: something is spatial but it is not a humanist if it is not weightless.
sent1 -> int1: if the pavior is not weightless then it is spatial thing that is not a humanist.; int1 -> hypothesis;
$hypothesis$ = the fact that there is something such that if it is not weightless it is spatial thing that is not a kind of a humanist does not hold. ; $context$ = sent1: something is spatial but it is not a humanist if it is not weightless. ; $proof$ = 
sent1 -> int1: if the pavior is not weightless then it is spatial thing that is not a humanist.; int1 -> hypothesis; __DISPROVED__