that the apomixis is non-ethereal a Kansan is wrong.
sent1: the put-put is a kind of a cavity if it is an aisle. sent2: the fact that the apomixis is a kind of a worthwhileness and it is a cavity is incorrect. sent3: the put-put is gonadal. sent4: that the bloomer sunburns is right if it is not indecent. sent5: that the put-put is not an aisle and it is not a cavity is incorrect if the phonebook is a nonmember. sent6: if something sours then it is a nonmember. sent7: the imperial is not a cavity. sent8: if the put-put is not ethereal that the apomixis is a kind of non-ethereal thing that is a kind of a Kansan is wrong. sent9: the apomixis is not a kind of a cavity if the phonebook is a cavity but it is not an aisle. sent10: the fact that the apomixis is ethereal and it is a Kansan does not hold. sent11: the apomixis is not a kind of a cavity if the phonebook is a cavity and it is an aisle. sent12: the phonebook is a cavity but it is not an aisle. sent13: the put-put is not a cavity if the phonebook is a kind of a cavity and is an aisle. sent14: the phonebook is not an aisle. sent15: the bloomer is not indecent and/or does not reel. sent16: if the put-put is ethereal it is a cavity. sent17: if the put-put is not ethereal the fact that the fact that the apomixis is a kind of ethereal thing that is a Kansan is correct is false. sent18: the put-put is not an aisle. sent19: the fact that the phonebook is a nonmember is right if the fact that the cook is a nonmember hold. sent20: if the fact that the put-put is not a kind of an aisle and it is not a cavity is not true then the apomixis is not a cavity. sent21: the put-put is not a kind of a cavity if the phonebook is a cavity but it is not an aisle. sent22: if the fact that either the bloomer is not indecent or it does not reel or both hold it is not indecent.
void -> assump1: Let's assume that the put-put is ethereal.; sent16 & assump1 -> int1: the put-put is a kind of a cavity.; sent21 & sent12 -> int2: the put-put is not a cavity.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the put-put is not ethereal.; int4 & sent8 -> hypothesis;
the apomixis is a kind of non-ethereal a Kansan.
sent6 -> int5: that the cook is a nonmember is not wrong if it is a souring.; sent22 & sent15 -> int6: the bloomer is not indecent.; sent4 & int6 -> int7: the bloomer is a sunburn.; int7 -> int8: either the bloomer does sunburn or it is international or both.; int8 -> int9: something sunburns and/or it is international.;
$hypothesis$ = that the apomixis is non-ethereal a Kansan is wrong. ; $context$ = sent1: the put-put is a kind of a cavity if it is an aisle. sent2: the fact that the apomixis is a kind of a worthwhileness and it is a cavity is incorrect. sent3: the put-put is gonadal. sent4: that the bloomer sunburns is right if it is not indecent. sent5: that the put-put is not an aisle and it is not a cavity is incorrect if the phonebook is a nonmember. sent6: if something sours then it is a nonmember. sent7: the imperial is not a cavity. sent8: if the put-put is not ethereal that the apomixis is a kind of non-ethereal thing that is a kind of a Kansan is wrong. sent9: the apomixis is not a kind of a cavity if the phonebook is a cavity but it is not an aisle. sent10: the fact that the apomixis is ethereal and it is a Kansan does not hold. sent11: the apomixis is not a kind of a cavity if the phonebook is a cavity and it is an aisle. sent12: the phonebook is a cavity but it is not an aisle. sent13: the put-put is not a cavity if the phonebook is a kind of a cavity and is an aisle. sent14: the phonebook is not an aisle. sent15: the bloomer is not indecent and/or does not reel. sent16: if the put-put is ethereal it is a cavity. sent17: if the put-put is not ethereal the fact that the fact that the apomixis is a kind of ethereal thing that is a Kansan is correct is false. sent18: the put-put is not an aisle. sent19: the fact that the phonebook is a nonmember is right if the fact that the cook is a nonmember hold. sent20: if the fact that the put-put is not a kind of an aisle and it is not a cavity is not true then the apomixis is not a cavity. sent21: the put-put is not a kind of a cavity if the phonebook is a cavity but it is not an aisle. sent22: if the fact that either the bloomer is not indecent or it does not reel or both hold it is not indecent. ; $proof$ = 
void -> assump1: Let's assume that the put-put is ethereal.; sent16 & assump1 -> int1: the put-put is a kind of a cavity.; sent21 & sent12 -> int2: the put-put is not a cavity.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the put-put is not ethereal.; int4 & sent8 -> hypothesis; __PROVED__