the gatehouse is not starless.
sent1: if the terrorist does nurse or it does not persist precentorship or both the gatehouse is a kind of a metric. sent2: something is not a kind of a hymeneal if either it is not a cairn or it is compassionate or both. sent3: the terrorist does nurse and/or it does not persist precentorship. sent4: the terrorist is not a hymeneal. sent5: the terrorist is a metric or it does not nurse or both. sent6: the terrorist is not starless if the gatehouse is a metric but it is not starless. sent7: if something is siding then it is afraid. sent8: the gatehouse nurses. sent9: the terrorist does nurse and/or it does persist precentorship. sent10: if the fact that the temp is not a Stalin and/or it is not a cairn is incorrect then the fact that the proton is not a cairn is true. sent11: the terrorist is not non-high-tension and not reliable. sent12: if something that palsies is not a kind of a dip it is a padding. sent13: the terrorist is not a Charleston. sent14: the coil does not nurse. sent15: the gatehouse is metric if the terrorist does not persist precentorship. sent16: the gatehouse is not a hymeneal if it is a kind of a metric and it is starless. sent17: if something is not starless then it is uncooperative or it is not a syringe or both. sent18: something does palsy but it is not a dip if it is afraid. sent19: if something is a padding then the fact that it either is not a Stalin or is not a cairn or both is incorrect. sent20: if the proton is not a hymeneal the gatehouse is both metric and not starless. sent21: the fact that the roe is a kind of non-siding thing that is not a agrapha is false. sent22: the gatehouse is a kind of a halite. sent23: if the terrorist is not starless then the menu is not starless. sent24: the gatehouse is a kind of a hymeneal.
sent1 & sent3 -> int1: the gatehouse is metric.; void -> assump1: Let's assume that the gatehouse is starless.; int1 & assump1 -> int2: the gatehouse is a kind of metric thing that is starless.; int2 & sent16 -> int3: the gatehouse is not a hymeneal.; int3 & sent24 -> int4: this is contradiction.; [assump1] & int4 -> hypothesis;
the menu is uncooperative and/or does not syringe.
sent17 -> int5: the menu is uncooperative and/or it is not a syringe if it is not starless.; sent2 -> int6: the proton is not hymeneal if it is either not a cairn or compassionate or both.; sent19 -> int7: if the temp is a kind of a padding then the fact that it is not a Stalin or not a cairn or both does not hold.; sent12 -> int8: the temp pads if it is a kind of a palsy and it is not a dip.; sent18 -> int9: if the temp is afraid it does palsy and does not dip.; sent7 -> int10: if the temp is a siding it is afraid.; sent21 -> int11: there exists something such that that it is not a siding and it is not a agrapha is not right.;
$hypothesis$ = the gatehouse is not starless. ; $context$ = sent1: if the terrorist does nurse or it does not persist precentorship or both the gatehouse is a kind of a metric. sent2: something is not a kind of a hymeneal if either it is not a cairn or it is compassionate or both. sent3: the terrorist does nurse and/or it does not persist precentorship. sent4: the terrorist is not a hymeneal. sent5: the terrorist is a metric or it does not nurse or both. sent6: the terrorist is not starless if the gatehouse is a metric but it is not starless. sent7: if something is siding then it is afraid. sent8: the gatehouse nurses. sent9: the terrorist does nurse and/or it does persist precentorship. sent10: if the fact that the temp is not a Stalin and/or it is not a cairn is incorrect then the fact that the proton is not a cairn is true. sent11: the terrorist is not non-high-tension and not reliable. sent12: if something that palsies is not a kind of a dip it is a padding. sent13: the terrorist is not a Charleston. sent14: the coil does not nurse. sent15: the gatehouse is metric if the terrorist does not persist precentorship. sent16: the gatehouse is not a hymeneal if it is a kind of a metric and it is starless. sent17: if something is not starless then it is uncooperative or it is not a syringe or both. sent18: something does palsy but it is not a dip if it is afraid. sent19: if something is a padding then the fact that it either is not a Stalin or is not a cairn or both is incorrect. sent20: if the proton is not a hymeneal the gatehouse is both metric and not starless. sent21: the fact that the roe is a kind of non-siding thing that is not a agrapha is false. sent22: the gatehouse is a kind of a halite. sent23: if the terrorist is not starless then the menu is not starless. sent24: the gatehouse is a kind of a hymeneal. ; $proof$ = 
sent1 & sent3 -> int1: the gatehouse is metric.; void -> assump1: Let's assume that the gatehouse is starless.; int1 & assump1 -> int2: the gatehouse is a kind of metric thing that is starless.; int2 & sent16 -> int3: the gatehouse is not a hymeneal.; int3 & sent24 -> int4: this is contradiction.; [assump1] & int4 -> hypothesis; __PROVED__