the Victorian is a adumbration and it is weightless.
sent1: the fact that if the planetoid approaches translation the caimito is homeopathic is not wrong. sent2: the planetoid is a imprecation. sent3: if the fact that the Victorian is polyvalent and it does freeze-dry simnel does not hold then it is not a imprecation. sent4: if the Elinvar is weightless the Victorian does approach translation. sent5: if the fact that the Victorian is not a kind of a imprecation and/or it is not weightless is not true the pedal does freeze-dry simnel. sent6: the caimito freeze-dries simnel. sent7: the planetoid is not non-homeopathic if that the Elinvar does not approach translation and/or does not judder is false. sent8: the Victorian is a adumbration if the planetoid is homeopathic. sent9: if something is not a imprecation then that it is a adumbration and weightless is not correct. sent10: the planetoid is a mastocyte. sent11: the fact that the Elinvar judders is right if the caimito does approach translation. sent12: the pedal is a imprecation and it is polyvalent. sent13: the fact that the Victorian is weightless is not wrong. sent14: that the pedal is not polyvalent and/or it is not a adumbration is false. sent15: the Victorian is homeopathic. sent16: the Elinvar judders. sent17: the Elinvar is homeopathic if the planetoid does judder. sent18: the pedal is polyvalent. sent19: if the caimito does approach translation then the fact that the Elinvar either does not approach translation or does not judder or both is not right. sent20: if the pedal is a imprecation then it freeze-dries simnel. sent21: if the fact that the Elinvar does not approach translation and/or is not weighty is incorrect then the Victorian does judder. sent22: the planetoid is homeopathic if the fact that the fact that either the Elinvar does not approach translation or it judders or both hold is incorrect.
sent12 -> int1: the fact that the pedal is a imprecation is not false.; int1 & sent20 -> int2: the pedal freeze-dries simnel.;
the fact that the Victorian is a adumbration and it is weightless does not hold.
sent9 -> int3: if the Victorian is not a imprecation then the fact that it is a adumbration and it is weightless does not hold.;
$hypothesis$ = the Victorian is a adumbration and it is weightless. ; $context$ = sent1: the fact that if the planetoid approaches translation the caimito is homeopathic is not wrong. sent2: the planetoid is a imprecation. sent3: if the fact that the Victorian is polyvalent and it does freeze-dry simnel does not hold then it is not a imprecation. sent4: if the Elinvar is weightless the Victorian does approach translation. sent5: if the fact that the Victorian is not a kind of a imprecation and/or it is not weightless is not true the pedal does freeze-dry simnel. sent6: the caimito freeze-dries simnel. sent7: the planetoid is not non-homeopathic if that the Elinvar does not approach translation and/or does not judder is false. sent8: the Victorian is a adumbration if the planetoid is homeopathic. sent9: if something is not a imprecation then that it is a adumbration and weightless is not correct. sent10: the planetoid is a mastocyte. sent11: the fact that the Elinvar judders is right if the caimito does approach translation. sent12: the pedal is a imprecation and it is polyvalent. sent13: the fact that the Victorian is weightless is not wrong. sent14: that the pedal is not polyvalent and/or it is not a adumbration is false. sent15: the Victorian is homeopathic. sent16: the Elinvar judders. sent17: the Elinvar is homeopathic if the planetoid does judder. sent18: the pedal is polyvalent. sent19: if the caimito does approach translation then the fact that the Elinvar either does not approach translation or does not judder or both is not right. sent20: if the pedal is a imprecation then it freeze-dries simnel. sent21: if the fact that the Elinvar does not approach translation and/or is not weighty is incorrect then the Victorian does judder. sent22: the planetoid is homeopathic if the fact that the fact that either the Elinvar does not approach translation or it judders or both hold is incorrect. ; $proof$ = 
sent12 -> int1: the fact that the pedal is a imprecation is not false.; int1 & sent20 -> int2: the pedal freeze-dries simnel.; __UNKNOWN__