the bunting is aphetic.
sent1: if the reckoner is outward then the fact that the bunting is not high-resolution and is outward is not true. sent2: the comber is selfish. sent3: the heifer does utilize and/or it is drinkable. sent4: if the expert is bismuthic the reckoner is outward. sent5: the fact that the comber does letter if the heifer does utilize or it is not drinkable or both is not false. sent6: the reckoner is outward if that that it is non-high-resolution and it is drinkable is true is not true. sent7: the comber is drinkable. sent8: if that the bunting is not high-resolution but it is outward is wrong it is aphetic. sent9: that the reckoner is aphetic if the great-uncle is either selfish or not outward or both hold. sent10: the comber letters if the heifer is not drinkable. sent11: if the bunting is high-resolution it is aphetic. sent12: that the bunting is high-resolution and it is outward is not right if the reckoner is outward. sent13: the heifer is drinkable. sent14: that the bunting is a kind of high-resolution thing that is outward does not hold. sent15: the great-uncle is selfish. sent16: the great-uncle is not selfish if that the heifer utilizes and/or it is drinkable does not hold. sent17: the fact that something does not realign evenness but it is outward is not true if it is not a letter. sent18: if the fact that something is not outward and it is not bismuthic is not correct it is selfish. sent19: if that either the heifer does utilize or it is not drinkable or both does not hold then the great-uncle is not selfish. sent20: the bunting is bismuthic if the heifer is drinkable or it is not aphetic or both. sent21: if the comber letters then the expert is bismuthic.
void -> assump1: Let's assume that the fact that the heifer utilizes and/or it is not drinkable is incorrect.; sent19 & assump1 -> int1: the great-uncle is not selfish.; int1 & sent15 -> int2: this is contradiction.; [assump1] & int2 -> int3: the heifer does utilize or it is undrinkable or both.; int3 & sent5 -> int4: the comber does letter.; int4 & sent21 -> int5: the expert is bismuthic.; int5 & sent4 -> int6: the reckoner is outward.; int6 & sent1 -> int7: the fact that the bunting is both non-high-resolution and not non-outward is incorrect.; int7 & sent8 -> hypothesis;
the bunting is not aphetic.
sent18 -> int8: if the fact that the heifer is non-outward thing that is not bismuthic is incorrect then it is selfish.;
$hypothesis$ = the bunting is aphetic. ; $context$ = sent1: if the reckoner is outward then the fact that the bunting is not high-resolution and is outward is not true. sent2: the comber is selfish. sent3: the heifer does utilize and/or it is drinkable. sent4: if the expert is bismuthic the reckoner is outward. sent5: the fact that the comber does letter if the heifer does utilize or it is not drinkable or both is not false. sent6: the reckoner is outward if that that it is non-high-resolution and it is drinkable is true is not true. sent7: the comber is drinkable. sent8: if that the bunting is not high-resolution but it is outward is wrong it is aphetic. sent9: that the reckoner is aphetic if the great-uncle is either selfish or not outward or both hold. sent10: the comber letters if the heifer is not drinkable. sent11: if the bunting is high-resolution it is aphetic. sent12: that the bunting is high-resolution and it is outward is not right if the reckoner is outward. sent13: the heifer is drinkable. sent14: that the bunting is a kind of high-resolution thing that is outward does not hold. sent15: the great-uncle is selfish. sent16: the great-uncle is not selfish if that the heifer utilizes and/or it is drinkable does not hold. sent17: the fact that something does not realign evenness but it is outward is not true if it is not a letter. sent18: if the fact that something is not outward and it is not bismuthic is not correct it is selfish. sent19: if that either the heifer does utilize or it is not drinkable or both does not hold then the great-uncle is not selfish. sent20: the bunting is bismuthic if the heifer is drinkable or it is not aphetic or both. sent21: if the comber letters then the expert is bismuthic. ; $proof$ = 
void -> assump1: Let's assume that the fact that the heifer utilizes and/or it is not drinkable is incorrect.; sent19 & assump1 -> int1: the great-uncle is not selfish.; int1 & sent15 -> int2: this is contradiction.; [assump1] & int2 -> int3: the heifer does utilize or it is undrinkable or both.; int3 & sent5 -> int4: the comber does letter.; int4 & sent21 -> int5: the expert is bismuthic.; int5 & sent4 -> int6: the reckoner is outward.; int6 & sent1 -> int7: the fact that the bunting is both non-high-resolution and not non-outward is incorrect.; int7 & sent8 -> hypothesis; __PROVED__