the bunkmate is not a kind of a altostratus.
sent1: the workbook is not a kind of an acrylic. sent2: if the cockscomb is a altostratus then the bunkmate is a altostratus. sent3: if that the mummy is not a Thryothorus but it is a prosecution is incorrect the hornpout is not Australasian. sent4: the scilla is not choleraic and it does not drowse. sent5: if the fact that the cockscomb is not a Thryothorus is true either the bunkmate is not a kind of a Thryothorus or it is a kind of a urtication or both. sent6: the fact that the mummy is not choleraic hold. sent7: if the mummy is not a prosecution the cockscomb is a kind of a altostratus and it is a Thryothorus. sent8: something that is not a Thryothorus is not distinguishable and is not a counterplot. sent9: if the hornpout is not a altostratus the mummy is a prosecution but not a urtication. sent10: something is not arthromeric if that it is a rat and does name Nicaragua is not correct. sent11: something is not a altostratus if it is not Australasian and/or is a kind of a urtication. sent12: that the fact that the hornpout is not a kind of a urtication but it is Australasian is not false is wrong if the fact that something is not arthromeric is correct. sent13: the bunkmate is not a enucleation and does not torment ogre. sent14: if there exists something such that that it does not name Nicaragua and it is arthromeric does not hold the hornpout is not a kind of a altostratus. sent15: if the bunkmate is not Australasian then it does not drowse. sent16: the fact that something is a Thryothorus and is not Australasian is not right if that it is a prosecution is not incorrect. sent17: that something is a rat that names Nicaragua does not hold if it is not an acrylic. sent18: the alienator is not a book and/or is Australasian. sent19: if the mummy is not a prosecution the hornpout is not Australasian. sent20: the fact that the bunkmate is not choleraic and is a altostratus is wrong. sent21: if the hornpout is non-Australasian then either the bunkmate is not non-Australasian or it is a urtication or both. sent22: that the fact that the mummy is not a kind of a Thryothorus and is a prosecution is not right is right if the cockscomb is a Thryothorus. sent23: there exists something such that the fact that it does not name Nicaragua and it is arthromeric does not hold.
sent4 -> int1: there is something such that it is not choleraic and it does not drowse.; sent11 -> int2: if either the bunkmate is not Australasian or it is a kind of a urtication or both that it is not a altostratus is correct.;
the bunkmate is a altostratus.
sent10 -> int3: if the fact that the workbook is a rat and it does name Nicaragua is wrong it is not arthromeric.; sent17 -> int4: that the fact that the workbook rats and names Nicaragua is incorrect if the workbook is not an acrylic is not wrong.; int4 & sent1 -> int5: the fact that the workbook is a rat and it does name Nicaragua is not correct.; int3 & int5 -> int6: that the workbook is non-arthromeric is not false.; int6 -> int7: there exists something such that that it is not arthromeric hold.; int7 & sent12 -> int8: that the hornpout is not a urtication and is Australasian is false.; int8 -> int9: there exists something such that the fact that it is not a urtication but Australasian is not true.;
$hypothesis$ = the bunkmate is not a kind of a altostratus. ; $context$ = sent1: the workbook is not a kind of an acrylic. sent2: if the cockscomb is a altostratus then the bunkmate is a altostratus. sent3: if that the mummy is not a Thryothorus but it is a prosecution is incorrect the hornpout is not Australasian. sent4: the scilla is not choleraic and it does not drowse. sent5: if the fact that the cockscomb is not a Thryothorus is true either the bunkmate is not a kind of a Thryothorus or it is a kind of a urtication or both. sent6: the fact that the mummy is not choleraic hold. sent7: if the mummy is not a prosecution the cockscomb is a kind of a altostratus and it is a Thryothorus. sent8: something that is not a Thryothorus is not distinguishable and is not a counterplot. sent9: if the hornpout is not a altostratus the mummy is a prosecution but not a urtication. sent10: something is not arthromeric if that it is a rat and does name Nicaragua is not correct. sent11: something is not a altostratus if it is not Australasian and/or is a kind of a urtication. sent12: that the fact that the hornpout is not a kind of a urtication but it is Australasian is not false is wrong if the fact that something is not arthromeric is correct. sent13: the bunkmate is not a enucleation and does not torment ogre. sent14: if there exists something such that that it does not name Nicaragua and it is arthromeric does not hold the hornpout is not a kind of a altostratus. sent15: if the bunkmate is not Australasian then it does not drowse. sent16: the fact that something is a Thryothorus and is not Australasian is not right if that it is a prosecution is not incorrect. sent17: that something is a rat that names Nicaragua does not hold if it is not an acrylic. sent18: the alienator is not a book and/or is Australasian. sent19: if the mummy is not a prosecution the hornpout is not Australasian. sent20: the fact that the bunkmate is not choleraic and is a altostratus is wrong. sent21: if the hornpout is non-Australasian then either the bunkmate is not non-Australasian or it is a urtication or both. sent22: that the fact that the mummy is not a kind of a Thryothorus and is a prosecution is not right is right if the cockscomb is a Thryothorus. sent23: there exists something such that the fact that it does not name Nicaragua and it is arthromeric does not hold. ; $proof$ = 
sent4 -> int1: there is something such that it is not choleraic and it does not drowse.; sent11 -> int2: if either the bunkmate is not Australasian or it is a kind of a urtication or both that it is not a altostratus is correct.; __UNKNOWN__