the annual is not a kind of a hoatzin.
sent1: the glume is non-north if it is a DMZ and is abstemious. sent2: the sluicegate is permissible. sent3: if the fact that something does criticize audience and is not a tinfoil is incorrect then it is a tinfoil. sent4: the annual is not joyful. sent5: if the fact that the firearm is a varus hold then it is questionable. sent6: if something is permissible thing that is not joyful then it is Dostoevskian. sent7: the annual is patellar and unrhetorical. sent8: if the fact that the myosin is a DMZ hold the frypan is a hoatzin. sent9: the acanthopterygian is not permissible. sent10: the annual is a tinfoil and a DMZ. sent11: if the annual is a tinfoil and it is Dostoevskian it is not a hoatzin. sent12: if something that is permissible is joyful then it is Dostoevskian. sent13: the hypanthium is not Dostoevskian. sent14: the myosin is a kind of a DMZ and criticizes audience if it is not questionable. sent15: the annual is both permissible and not joyful. sent16: if the annual is permissible and joyful it is Dostoevskian. sent17: if the myosin is a kind of a hoatzin the annual is a kind of a hoatzin. sent18: the annual is a DMZ. sent19: if the annual is sternal and it is Dostoevskian then it does not uphold selectwoman. sent20: the cad is a DMZ if that the firearm is questionable hold. sent21: the fact that the doodlebug does criticize audience and is not a tinfoil is wrong if the cad is a DMZ. sent22: if the annual is joyful thing that is Korean then it is not angiomatous.
sent6 -> int1: the annual is Dostoevskian if it is both permissible and not joyful.; int1 & sent15 -> int2: the annual is Dostoevskian.; sent10 -> int3: that the annual is a kind of a tinfoil is not wrong.; int2 & int3 -> int4: the annual is a tinfoil and it is Dostoevskian.; int4 & sent11 -> hypothesis;
the annual is a hoatzin.
sent3 -> int5: if that the doodlebug criticizes audience and is not a tinfoil is not true it is a tinfoil.;
$hypothesis$ = the annual is not a kind of a hoatzin. ; $context$ = sent1: the glume is non-north if it is a DMZ and is abstemious. sent2: the sluicegate is permissible. sent3: if the fact that something does criticize audience and is not a tinfoil is incorrect then it is a tinfoil. sent4: the annual is not joyful. sent5: if the fact that the firearm is a varus hold then it is questionable. sent6: if something is permissible thing that is not joyful then it is Dostoevskian. sent7: the annual is patellar and unrhetorical. sent8: if the fact that the myosin is a DMZ hold the frypan is a hoatzin. sent9: the acanthopterygian is not permissible. sent10: the annual is a tinfoil and a DMZ. sent11: if the annual is a tinfoil and it is Dostoevskian it is not a hoatzin. sent12: if something that is permissible is joyful then it is Dostoevskian. sent13: the hypanthium is not Dostoevskian. sent14: the myosin is a kind of a DMZ and criticizes audience if it is not questionable. sent15: the annual is both permissible and not joyful. sent16: if the annual is permissible and joyful it is Dostoevskian. sent17: if the myosin is a kind of a hoatzin the annual is a kind of a hoatzin. sent18: the annual is a DMZ. sent19: if the annual is sternal and it is Dostoevskian then it does not uphold selectwoman. sent20: the cad is a DMZ if that the firearm is questionable hold. sent21: the fact that the doodlebug does criticize audience and is not a tinfoil is wrong if the cad is a DMZ. sent22: if the annual is joyful thing that is Korean then it is not angiomatous. ; $proof$ = 
sent6 -> int1: the annual is Dostoevskian if it is both permissible and not joyful.; int1 & sent15 -> int2: the annual is Dostoevskian.; sent10 -> int3: that the annual is a kind of a tinfoil is not wrong.; int2 & int3 -> int4: the annual is a tinfoil and it is Dostoevskian.; int4 & sent11 -> hypothesis; __PROVED__