the cog is both not a latchet and not a federalist.
sent1: the quadriplegic is a Sufi. sent2: the honkytonk is zygodactyl. sent3: if the packer is zygodactyl then that the cog is zygodactyl hold. sent4: the packer does not reinforce venturer if that something is not a kind of a Sufi is correct. sent5: if the packer does scintillate then that it does not reinforce venturer and it is an enclosure is not right. sent6: if the cog is a latchet then that it is not attributive is right. sent7: if something is zygodactyl the fact that it is not a latchet and is not a kind of a federalist does not hold. sent8: if the quadriplegic is not Sufi then it does not scintillate and it does not scant. sent9: the packer is zygodactyl and it is a kind of an enclosure if the cog is not attributive. sent10: there exists something such that it does convulse. sent11: that the quadriplegic does not scintillate and it does not scant does not hold. sent12: if the quadriplegic does not scintillate and it does not scant it does not reinforce venturer. sent13: something is not attributive if the fact that it is not a kind of a latchet and it is not a federalist is not true. sent14: the keurboom is not a Sufi. sent15: the packer scintillates if there is something such that that it does not scintillates and does not scant is false.
sent13 -> int1: if that the cog is not a latchet and not a federalist is wrong it is not attributive.; void -> assump1: Let's assume that that the cog is not a latchet and it is not a kind of a federalist is incorrect.; int1 & assump1 -> int2: the cog is not attributive.; int2 & sent9 -> int3: the packer is zygodactyl and it is an enclosure.; int3 -> int4: the packer is an enclosure.; sent14 -> int5: something is not a Sufi.; int5 & sent4 -> int6: the packer does not reinforce venturer.; int4 & int6 -> int7: the packer does not reinforce venturer but it is an enclosure.; sent11 -> int8: there is something such that that it does not scintillate and does not scant is incorrect.; int8 & sent15 -> int9: the packer does scintillate.; sent5 & int9 -> int10: the fact that the packer does not reinforce venturer but it is a kind of an enclosure is wrong.; int7 & int10 -> int11: this is contradiction.; [assump1] & int11 -> hypothesis;
that the cog is not a latchet and it is not a federalist is not correct.
sent7 -> int12: the fact that that the cog is not a kind of a latchet and is not a federalist is correct is not right if it is zygodactyl.;
$hypothesis$ = the cog is both not a latchet and not a federalist. ; $context$ = sent1: the quadriplegic is a Sufi. sent2: the honkytonk is zygodactyl. sent3: if the packer is zygodactyl then that the cog is zygodactyl hold. sent4: the packer does not reinforce venturer if that something is not a kind of a Sufi is correct. sent5: if the packer does scintillate then that it does not reinforce venturer and it is an enclosure is not right. sent6: if the cog is a latchet then that it is not attributive is right. sent7: if something is zygodactyl the fact that it is not a latchet and is not a kind of a federalist does not hold. sent8: if the quadriplegic is not Sufi then it does not scintillate and it does not scant. sent9: the packer is zygodactyl and it is a kind of an enclosure if the cog is not attributive. sent10: there exists something such that it does convulse. sent11: that the quadriplegic does not scintillate and it does not scant does not hold. sent12: if the quadriplegic does not scintillate and it does not scant it does not reinforce venturer. sent13: something is not attributive if the fact that it is not a kind of a latchet and it is not a federalist is not true. sent14: the keurboom is not a Sufi. sent15: the packer scintillates if there is something such that that it does not scintillates and does not scant is false. ; $proof$ = 
sent13 -> int1: if that the cog is not a latchet and not a federalist is wrong it is not attributive.; void -> assump1: Let's assume that that the cog is not a latchet and it is not a kind of a federalist is incorrect.; int1 & assump1 -> int2: the cog is not attributive.; int2 & sent9 -> int3: the packer is zygodactyl and it is an enclosure.; int3 -> int4: the packer is an enclosure.; sent14 -> int5: something is not a Sufi.; int5 & sent4 -> int6: the packer does not reinforce venturer.; int4 & int6 -> int7: the packer does not reinforce venturer but it is an enclosure.; sent11 -> int8: there is something such that that it does not scintillate and does not scant is incorrect.; int8 & sent15 -> int9: the packer does scintillate.; sent5 & int9 -> int10: the fact that the packer does not reinforce venturer but it is a kind of an enclosure is wrong.; int7 & int10 -> int11: this is contradiction.; [assump1] & int11 -> hypothesis; __PROVED__