there is something such that if it does straighten Heyrovsky then it is not a hide and it does push andiron.
sent1: something is not a Siren and dusks if it is a Florentine. sent2: if something straightens Heyrovsky then it pushes andiron. sent3: if the plastique does push roselle it does push andiron. sent4: if something straightens Heyrovsky then it is a kind of a hide and it does push andiron. sent5: if something hides it does not straighten plastique and it is ropy. sent6: if that the andiron does straighten Heyrovsky is not wrong then it is a kind of a hide and it does push andiron. sent7: there exists something such that if it straightens Heyrovsky then it does push andiron. sent8: if something is main it is a kind of a fig-bird. sent9: if something straightens Heyrovsky then it is not a kind of a hide and it does push andiron. sent10: if the andiron straightens Heyrovsky then it does push andiron.
sent9 -> int1: if the andiron straightens Heyrovsky then it does not hide and does push andiron.; int1 -> hypothesis;
the plastique does not straighten plastique but it is ropy if it hides.
sent5 -> hypothesis;
$hypothesis$ = there is something such that if it does straighten Heyrovsky then it is not a hide and it does push andiron. ; $context$ = sent1: something is not a Siren and dusks if it is a Florentine. sent2: if something straightens Heyrovsky then it pushes andiron. sent3: if the plastique does push roselle it does push andiron. sent4: if something straightens Heyrovsky then it is a kind of a hide and it does push andiron. sent5: if something hides it does not straighten plastique and it is ropy. sent6: if that the andiron does straighten Heyrovsky is not wrong then it is a kind of a hide and it does push andiron. sent7: there exists something such that if it straightens Heyrovsky then it does push andiron. sent8: if something is main it is a kind of a fig-bird. sent9: if something straightens Heyrovsky then it is not a kind of a hide and it does push andiron. sent10: if the andiron straightens Heyrovsky then it does push andiron. ; $proof$ = 
sent9 -> int1: if the andiron straightens Heyrovsky then it does not hide and does push andiron.; int1 -> hypothesis; __PROVED__