the fact that the physique is a kind of a Sarcobatus if the vasopressor is stylish is not true.
sent1: if the vasopressor is stylish then it is a picornavirus. sent2: the physique is abasic. sent3: if the physique is exterior and is not a picornavirus then the vasopressor is stylish. sent4: the physique is a kind of a Sarcobatus if that the vasopressor is a picornavirus but not exterior is true. sent5: the testee is exterior if the vasopressor is a Sarcobatus that is not stylish. sent6: the vasopressor is a picornavirus. sent7: that the vasopressor is a picornavirus and not exterior hold if it is stylish. sent8: the vasopressor is a Sarcobatus but it is non-stylish if the physique is ambulacral.
void -> assump1: Let's assume that the vasopressor is stylish.; sent7 & assump1 -> int1: the vasopressor is a picornavirus and is not exterior.; sent4 & int1 -> int2: the physique is a Sarcobatus.; [assump1] & int2 -> hypothesis;
the fact that the testee is not exterior does not hold.
$hypothesis$ = the fact that the physique is a kind of a Sarcobatus if the vasopressor is stylish is not true. ; $context$ = sent1: if the vasopressor is stylish then it is a picornavirus. sent2: the physique is abasic. sent3: if the physique is exterior and is not a picornavirus then the vasopressor is stylish. sent4: the physique is a kind of a Sarcobatus if that the vasopressor is a picornavirus but not exterior is true. sent5: the testee is exterior if the vasopressor is a Sarcobatus that is not stylish. sent6: the vasopressor is a picornavirus. sent7: that the vasopressor is a picornavirus and not exterior hold if it is stylish. sent8: the vasopressor is a Sarcobatus but it is non-stylish if the physique is ambulacral. ; $proof$ = 
void -> assump1: Let's assume that the vasopressor is stylish.; sent7 & assump1 -> int1: the vasopressor is a picornavirus and is not exterior.; sent4 & int1 -> int2: the physique is a Sarcobatus.; [assump1] & int2 -> hypothesis; __DISPROVED__