the dustcart is not an appetizer.
sent1: the dustcart is subjacent if the mouse does grip. sent2: the mouse is repeatable and/or a grip. sent3: the mouse is subjacent if the dredge is subjacent. sent4: the fact that the dustcart is apocalyptic but not unprintable is not true if it is not scholastic. sent5: if the dustcart is subjacent it is not scholastic. sent6: the dustcart is not a kind of a grip if the mouse is not subjacent or it is scholastic or both. sent7: if the dustcart is not repeatable that it is unprintable an appetizer is not true. sent8: the dustcart is not repeatable if the fact that it is an appetizer hold. sent9: that the mouse is an appetizer is not false. sent10: the mouse is apocalyptic. sent11: the dustcart is not non-subjacent if the mouse is repeatable. sent12: the chino is not repeatable. sent13: that the dustcart is apocalyptic and it is unprintable is false. sent14: if the fact that the dustcart is apocalyptic but it is not unprintable is not right then it is not an appetizer. sent15: that the mouse is a grip and is not repeatable is false if it is subjacent. sent16: if the dustcart is a unworthiness it is not a vertebrate. sent17: if the dustcart is not a kind of a grip then that it is unprintable and it is not an appetizer does not hold. sent18: if the dredge is not an appetizer then it is scholastic and/or it is apocalyptic. sent19: if the fact that the dustcart is scholastic is wrong then that it is both not non-apocalyptic and not printable is not correct. sent20: the dustcart is not a kind of an appetizer if the fact that it is unprintable is not false. sent21: the fact that the dustcart is both not unrepeatable and not non-subjacent is wrong if it is not unprintable. sent22: the mouse is not subjacent and/or is scholastic if the dredge is unprintable. sent23: the fact that the mouse is both repeatable and not non-scholastic is incorrect. sent24: if the dustcart does grip then it is printable.
sent2 & sent11 & sent1 -> int1: the dustcart is not non-subjacent.; int1 & sent5 -> int2: the dustcart is not scholastic.; int2 & sent4 -> int3: that the dustcart is apocalyptic but it is not unprintable is wrong.; int3 & sent14 -> hypothesis;
the dustcart is an appetizer.
$hypothesis$ = the dustcart is not an appetizer. ; $context$ = sent1: the dustcart is subjacent if the mouse does grip. sent2: the mouse is repeatable and/or a grip. sent3: the mouse is subjacent if the dredge is subjacent. sent4: the fact that the dustcart is apocalyptic but not unprintable is not true if it is not scholastic. sent5: if the dustcart is subjacent it is not scholastic. sent6: the dustcart is not a kind of a grip if the mouse is not subjacent or it is scholastic or both. sent7: if the dustcart is not repeatable that it is unprintable an appetizer is not true. sent8: the dustcart is not repeatable if the fact that it is an appetizer hold. sent9: that the mouse is an appetizer is not false. sent10: the mouse is apocalyptic. sent11: the dustcart is not non-subjacent if the mouse is repeatable. sent12: the chino is not repeatable. sent13: that the dustcart is apocalyptic and it is unprintable is false. sent14: if the fact that the dustcart is apocalyptic but it is not unprintable is not right then it is not an appetizer. sent15: that the mouse is a grip and is not repeatable is false if it is subjacent. sent16: if the dustcart is a unworthiness it is not a vertebrate. sent17: if the dustcart is not a kind of a grip then that it is unprintable and it is not an appetizer does not hold. sent18: if the dredge is not an appetizer then it is scholastic and/or it is apocalyptic. sent19: if the fact that the dustcart is scholastic is wrong then that it is both not non-apocalyptic and not printable is not correct. sent20: the dustcart is not a kind of an appetizer if the fact that it is unprintable is not false. sent21: the fact that the dustcart is both not unrepeatable and not non-subjacent is wrong if it is not unprintable. sent22: the mouse is not subjacent and/or is scholastic if the dredge is unprintable. sent23: the fact that the mouse is both repeatable and not non-scholastic is incorrect. sent24: if the dustcart does grip then it is printable. ; $proof$ = 
sent2 & sent11 & sent1 -> int1: the dustcart is not non-subjacent.; int1 & sent5 -> int2: the dustcart is not scholastic.; int2 & sent4 -> int3: that the dustcart is apocalyptic but it is not unprintable is wrong.; int3 & sent14 -> hypothesis; __PROVED__