the wisteria is a kind of a wimp.
sent1: if the thorium is closed or it does not overbear Tantrism or both then it is not a kind of a Balaena. sent2: the thorium is not a kind of a Balaena if it does not overbear Tantrism. sent3: the microtome is a pyrophosphate. sent4: a pyrophosphate that does resent firefly does not close. sent5: something overbears Tantrism if it is not a Balaena and/or does not close. sent6: if the thorium is a wimp then the wisteria is not a wimp. sent7: the fact that the wisteria does not resent pant and it is not a Balaena is incorrect if the thorium is not a Balaena. sent8: if the wisteria is a kind of a Balaena then it overbears press. sent9: if the microtome does not close then the thorium close and/or it does overbear Tantrism. sent10: if that the no-show does overbear Tantrism is not incorrect the thorium is a wimp. sent11: That the firefly resents microtome hold. sent12: either the thorium closes or it overbears Tantrism or both. sent13: something overbears press if it is a Balaena. sent14: if something does overbear Manet and is closed then it is not a tungsten. sent15: the microtome does not resent pant if it is a pyrophosphate and/or does not overbear press. sent16: that the wisteria does not resent pant and is a Balaena does not hold if the thorium is not a Balaena. sent17: something that overbears press is a wimp. sent18: that the thorium does not resent pant and it does not overbear Tantrism is not correct. sent19: that the microtome resents firefly hold. sent20: that the wisteria does not resent pant but it is a kind of a Balaena is incorrect. sent21: if the fact that the microtome does not close is right the thorium is not close or does not overbear Tantrism or both. sent22: the wisteria does overbear Tantrism and/or it is not a Balaena.
sent4 -> int1: if the microtome is a pyrophosphate and it does resent firefly then it does not close.; sent3 & sent19 -> int2: the microtome is a pyrophosphate and it resents firefly.; int1 & int2 -> int3: the microtome does not close.; int3 & sent21 -> int4: the thorium is closed and/or it does not overbear Tantrism.; int4 & sent1 -> int5: the thorium is not a kind of a Balaena.; int5 & sent7 -> int6: the fact that the wisteria does not resent pant and is not a Balaena does not hold.; sent17 -> int7: the wisteria is a wimp if it does overbear press.;
the gluteus is not a tungsten if it overbears Manet and is closed.
sent14 -> hypothesis;
$hypothesis$ = the wisteria is a kind of a wimp. ; $context$ = sent1: if the thorium is closed or it does not overbear Tantrism or both then it is not a kind of a Balaena. sent2: the thorium is not a kind of a Balaena if it does not overbear Tantrism. sent3: the microtome is a pyrophosphate. sent4: a pyrophosphate that does resent firefly does not close. sent5: something overbears Tantrism if it is not a Balaena and/or does not close. sent6: if the thorium is a wimp then the wisteria is not a wimp. sent7: the fact that the wisteria does not resent pant and it is not a Balaena is incorrect if the thorium is not a Balaena. sent8: if the wisteria is a kind of a Balaena then it overbears press. sent9: if the microtome does not close then the thorium close and/or it does overbear Tantrism. sent10: if that the no-show does overbear Tantrism is not incorrect the thorium is a wimp. sent11: That the firefly resents microtome hold. sent12: either the thorium closes or it overbears Tantrism or both. sent13: something overbears press if it is a Balaena. sent14: if something does overbear Manet and is closed then it is not a tungsten. sent15: the microtome does not resent pant if it is a pyrophosphate and/or does not overbear press. sent16: that the wisteria does not resent pant and is a Balaena does not hold if the thorium is not a Balaena. sent17: something that overbears press is a wimp. sent18: that the thorium does not resent pant and it does not overbear Tantrism is not correct. sent19: that the microtome resents firefly hold. sent20: that the wisteria does not resent pant but it is a kind of a Balaena is incorrect. sent21: if the fact that the microtome does not close is right the thorium is not close or does not overbear Tantrism or both. sent22: the wisteria does overbear Tantrism and/or it is not a Balaena. ; $proof$ = 
sent4 -> int1: if the microtome is a pyrophosphate and it does resent firefly then it does not close.; sent3 & sent19 -> int2: the microtome is a pyrophosphate and it resents firefly.; int1 & int2 -> int3: the microtome does not close.; int3 & sent21 -> int4: the thorium is closed and/or it does not overbear Tantrism.; int4 & sent1 -> int5: the thorium is not a kind of a Balaena.; int5 & sent7 -> int6: the fact that the wisteria does not resent pant and is not a Balaena does not hold.; sent17 -> int7: the wisteria is a wimp if it does overbear press.; __UNKNOWN__