the arm is not a pant and does not bilk hyssop.
sent1: if there exists something such that it does not skid metasequoia the arm is not a pant and does not bilk hyssop. sent2: that the hyssop is depressant hold if it skids dichlorodiphenyltrichloroethane. sent3: the arm does not bilk hyssop if there exists something such that that it does not skid metasequoia is not wrong. sent4: the blind is limnological. sent5: if something is angiomatous the variable does skid metasequoia. sent6: if the hyssop is a kind of a collapse then the variable does slurp. sent7: that the reviewer is lentic and does bilk zinger is wrong. sent8: if the fact that something is not a kind of a shim and it does not skid dichlorodiphenyltrichloroethane is wrong then it is a shim. sent9: if the numbat is a kind of a canicule but it does not commission then the conger is a canicule. sent10: the hyssop is a collapse or is limnological or both if something is limnological. sent11: something does not skid metasequoia if it slurps or it is depressant or both. sent12: the numbat is a canicule but it is not a kind of a commission. sent13: if something is depressant then the fact that the fact that it is not a kind of a shim and it does not skid dichlorodiphenyltrichloroethane is not wrong does not hold. sent14: that if something is a shim then the fact that it is not a pant and it does not bilk hyssop does not hold hold. sent15: that the variable is a shim is not incorrect if there exists something such that the fact that it is not lentic and it bilks zinger is wrong. sent16: if the conger is a canicule then that it is angiomatous is not false. sent17: that the reviewer is a kind of non-lentic thing that bilks zinger is not right. sent18: if the reviewer does pant then the arm does bilk zinger. sent19: something is not a freak if the fact that it is a button and/or not non-mesolithic is not wrong.
sent17 -> int1: there exists something such that that it is not lentic and it does bilk zinger is not correct.; int1 & sent15 -> int2: the variable is a shim.; sent11 -> int3: if the hyssop slurps and/or it is depressant then it does not skid metasequoia.;
that the arm is not a pant and does not bilk hyssop is wrong.
sent14 -> int4: that the arm is not a kind of a pant and it does not bilk hyssop is not correct if it is a shim.; sent8 -> int5: the arm is a shim if the fact that it is not a shim and does not skid dichlorodiphenyltrichloroethane is not true.; sent13 -> int6: the fact that the arm is not a shim and does not skid dichlorodiphenyltrichloroethane is incorrect if it is depressant.; sent4 -> int7: there exists something such that it is limnological.; int7 & sent10 -> int8: the hyssop is a kind of a collapse or it is limnological or both.; sent9 & sent12 -> int9: that the conger is a kind of a canicule is not wrong.; sent16 & int9 -> int10: the conger is angiomatous.; int10 -> int11: there are angiomatous things.; int11 & sent5 -> int12: the variable skids metasequoia.;
$hypothesis$ = the arm is not a pant and does not bilk hyssop. ; $context$ = sent1: if there exists something such that it does not skid metasequoia the arm is not a pant and does not bilk hyssop. sent2: that the hyssop is depressant hold if it skids dichlorodiphenyltrichloroethane. sent3: the arm does not bilk hyssop if there exists something such that that it does not skid metasequoia is not wrong. sent4: the blind is limnological. sent5: if something is angiomatous the variable does skid metasequoia. sent6: if the hyssop is a kind of a collapse then the variable does slurp. sent7: that the reviewer is lentic and does bilk zinger is wrong. sent8: if the fact that something is not a kind of a shim and it does not skid dichlorodiphenyltrichloroethane is wrong then it is a shim. sent9: if the numbat is a kind of a canicule but it does not commission then the conger is a canicule. sent10: the hyssop is a collapse or is limnological or both if something is limnological. sent11: something does not skid metasequoia if it slurps or it is depressant or both. sent12: the numbat is a canicule but it is not a kind of a commission. sent13: if something is depressant then the fact that the fact that it is not a kind of a shim and it does not skid dichlorodiphenyltrichloroethane is not wrong does not hold. sent14: that if something is a shim then the fact that it is not a pant and it does not bilk hyssop does not hold hold. sent15: that the variable is a shim is not incorrect if there exists something such that the fact that it is not lentic and it bilks zinger is wrong. sent16: if the conger is a canicule then that it is angiomatous is not false. sent17: that the reviewer is a kind of non-lentic thing that bilks zinger is not right. sent18: if the reviewer does pant then the arm does bilk zinger. sent19: something is not a freak if the fact that it is a button and/or not non-mesolithic is not wrong. ; $proof$ = 
sent17 -> int1: there exists something such that that it is not lentic and it does bilk zinger is not correct.; int1 & sent15 -> int2: the variable is a shim.; sent11 -> int3: if the hyssop slurps and/or it is depressant then it does not skid metasequoia.; __UNKNOWN__