there exists something such that if the fact that it is a woodbine and/or not collapsible does not hold then it does not shrug.
sent1: there is something such that if the fact that it is either pugilistic or not a tripod or both is false then it is not non-isomorphous. sent2: if something is a woodbine and/or not collapsible it is not a shrug. sent3: if that something is a woodbine and/or not collapsible is wrong then it does not shrug. sent4: if the bevatron is a glioblastoma or it is not a kind of a shrug or both then it is not theoretical.
sent3 -> int1: the bevatron is not a shrug if that it is a kind of a woodbine and/or is not collapsible is not true.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if the fact that it is a woodbine and/or not collapsible does not hold then it does not shrug. ; $context$ = sent1: there is something such that if the fact that it is either pugilistic or not a tripod or both is false then it is not non-isomorphous. sent2: if something is a woodbine and/or not collapsible it is not a shrug. sent3: if that something is a woodbine and/or not collapsible is wrong then it does not shrug. sent4: if the bevatron is a glioblastoma or it is not a kind of a shrug or both then it is not theoretical. ; $proof$ = 
sent3 -> int1: the bevatron is not a shrug if that it is a kind of a woodbine and/or is not collapsible is not true.; int1 -> hypothesis; __PROVED__