the greybeard whistles coxsackievirus.
sent1: if that the greybeard does not walk coinsurance and grouses is wrong then that it does not whistle coxsackievirus hold. sent2: that the greybeard walks coinsurance and it is a grouse does not hold. sent3: the greybeard walks coinsurance. sent4: The coinsurance walks greybeard.
void -> assump1: Let's assume that the greybeard does not walk coinsurance but it is a grouse.; assump1 -> int1: the greybeard does not walk coinsurance.; int1 & sent3 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the greybeard does not walk coinsurance but it is a kind of a grouse is not correct.; int3 & sent1 -> hypothesis;
$hypothesis$ = the greybeard whistles coxsackievirus. ; $context$ = sent1: if that the greybeard does not walk coinsurance and grouses is wrong then that it does not whistle coxsackievirus hold. sent2: that the greybeard walks coinsurance and it is a grouse does not hold. sent3: the greybeard walks coinsurance. sent4: The coinsurance walks greybeard. ; $proof$ = 
void -> assump1: Let's assume that the greybeard does not walk coinsurance but it is a grouse.; assump1 -> int1: the greybeard does not walk coinsurance.; int1 & sent3 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the greybeard does not walk coinsurance but it is a kind of a grouse is not correct.; int3 & sent1 -> hypothesis; __DISPROVED__