the check is a afflatus if the hoe diphthongizes.
sent1: if either something is a Selkirk or it is not a service or both the hoe does not diphthongize. sent2: something is a kind of a afflatus if that it does not abandon anthologist or it is a wineskin or both is false. sent3: that the photosphere does not service is not false if something does not abandon anthologist and/or is a wineskin.
void -> assump2: Let's assume that the check does not abandon anthologist or is a wineskin or both.; assump2 -> int1: there is something such that it either does not abandon anthologist or is a kind of a wineskin or both.; int1 & sent3 -> int2: the fact that the photosphere does not service is not false.; int2 -> int3: the photosphere is a Selkirk and/or it is not a service.; int3 -> int4: there exists something such that it either is a Selkirk or does not service or both.; int4 & sent1 -> int5: the hoe does not diphthongize.; void -> assump1: Let's assume that the hoe diphthongizes.; int5 & assump1 -> int6: this is contradiction.; [assump2] & int6 -> int7: that the check does not abandon anthologist or is a wineskin or both is incorrect.; sent2 -> int8: if that the check does not abandon anthologist or is a kind of a wineskin or both is not true then it is a afflatus.; int7 & int8 -> int9: the check is a afflatus.; [assump1] & int9 -> hypothesis;
$hypothesis$ = the check is a afflatus if the hoe diphthongizes. ; $context$ = sent1: if either something is a Selkirk or it is not a service or both the hoe does not diphthongize. sent2: something is a kind of a afflatus if that it does not abandon anthologist or it is a wineskin or both is false. sent3: that the photosphere does not service is not false if something does not abandon anthologist and/or is a wineskin. ; $proof$ = 
void -> assump2: Let's assume that the check does not abandon anthologist or is a wineskin or both.; assump2 -> int1: there is something such that it either does not abandon anthologist or is a kind of a wineskin or both.; int1 & sent3 -> int2: the fact that the photosphere does not service is not false.; int2 -> int3: the photosphere is a Selkirk and/or it is not a service.; int3 -> int4: there exists something such that it either is a Selkirk or does not service or both.; int4 & sent1 -> int5: the hoe does not diphthongize.; void -> assump1: Let's assume that the hoe diphthongizes.; int5 & assump1 -> int6: this is contradiction.; [assump2] & int6 -> int7: that the check does not abandon anthologist or is a wineskin or both is incorrect.; sent2 -> int8: if that the check does not abandon anthologist or is a kind of a wineskin or both is not true then it is a afflatus.; int7 & int8 -> int9: the check is a afflatus.; [assump1] & int9 -> hypothesis; __PROVED__