the fact that the wryneck is not a cockloft but deniable does not hold if it does blinker Vombatidae.
sent1: something is not a sickbay if it does not queue dicumarol and it does not farm wryneck. sent2: that the wryneck is not a cockloft but it is undeniable is incorrect. sent3: if something that is not a cockloft is not undeniable it does not blinker Vombatidae. sent4: if the wryneck is not non-on-line then it does not blinker Vombatidae and is non-planographic.
sent3 -> int1: the wryneck does not blinker Vombatidae if it is not a cockloft and it is deniable.; void -> assump1: Let's assume that the wryneck is not a cockloft and it is not undeniable.; int1 & assump1 -> int2: the wryneck does not blinker Vombatidae.; void -> assump2: Let's assume that the fact that the wryneck does blinker Vombatidae hold.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the wryneck is not a cockloft and is not undeniable is incorrect.; [assump2] & int4 -> hypothesis;
if the wryneck does not queue dicumarol and does not farm wryneck it is not a sickbay.
sent1 -> hypothesis;
$hypothesis$ = the fact that the wryneck is not a cockloft but deniable does not hold if it does blinker Vombatidae. ; $context$ = sent1: something is not a sickbay if it does not queue dicumarol and it does not farm wryneck. sent2: that the wryneck is not a cockloft but it is undeniable is incorrect. sent3: if something that is not a cockloft is not undeniable it does not blinker Vombatidae. sent4: if the wryneck is not non-on-line then it does not blinker Vombatidae and is non-planographic. ; $proof$ = 
sent3 -> int1: the wryneck does not blinker Vombatidae if it is not a cockloft and it is deniable.; void -> assump1: Let's assume that the wryneck is not a cockloft and it is not undeniable.; int1 & assump1 -> int2: the wryneck does not blinker Vombatidae.; void -> assump2: Let's assume that the fact that the wryneck does blinker Vombatidae hold.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the wryneck is not a cockloft and is not undeniable is incorrect.; [assump2] & int4 -> hypothesis; __PROVED__