the fact that there is something such that if it is not a pinger and not a Guarani then it is diurnal is not right.
sent1: there is something such that if it is a pinger and it is not a kind of a Guarani it is diurnal. sent2: the fact that the sharpshooter is diurnal is not incorrect if it is not a pinger and it is not a Guarani. sent3: something does evict busyness if it is not a polyp and it is not a kind of a hulk.
sent2 -> hypothesis;
there is something such that if it is not a polyp and is not a hulk it evicts busyness.
sent3 -> int1: if the thalamus is not a kind of a polyp and it is not a hulk then it evicts busyness.; int1 -> hypothesis;
$hypothesis$ = the fact that there is something such that if it is not a pinger and not a Guarani then it is diurnal is not right. ; $context$ = sent1: there is something such that if it is a pinger and it is not a kind of a Guarani it is diurnal. sent2: the fact that the sharpshooter is diurnal is not incorrect if it is not a pinger and it is not a Guarani. sent3: something does evict busyness if it is not a polyp and it is not a kind of a hulk. ; $proof$ = 
sent2 -> hypothesis; __DISPROVED__