the fact that there exists something such that if it is a kind of a Zapodidae and is not a kind of a nightshirt it is invitational is false.
sent1: if the algometer is a Zapodidae but it is not a nightshirt it is invitational. sent2: if the algometer is both a Zapodidae and a nightshirt then it is invitational. sent3: there is something such that if it is a kind of a Zapodidae and it is a nightshirt then it is invitational. sent4: something that does stage twinkling and is not a nightshirt is a kind of a Mayday.
sent1 -> hypothesis;
if the offset stages twinkling but it is not a kind of a nightshirt the fact that it is a Mayday is not incorrect.
sent4 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if it is a kind of a Zapodidae and is not a kind of a nightshirt it is invitational is false. ; $context$ = sent1: if the algometer is a Zapodidae but it is not a nightshirt it is invitational. sent2: if the algometer is both a Zapodidae and a nightshirt then it is invitational. sent3: there is something such that if it is a kind of a Zapodidae and it is a nightshirt then it is invitational. sent4: something that does stage twinkling and is not a nightshirt is a kind of a Mayday. ; $proof$ = 
sent1 -> hypothesis; __DISPROVED__