if the linguine is a kind of a sights the crotonbug is not unfrozen and is not unacquisitive.
sent1: the crotonbug is not unfrozen. sent2: if the crotonbug is not a Passerina then that the powerhouse is a kind of a barbel and is not a kind of a Lemmon is not right. sent3: if the powerhouse is unfrozen then the crotonbug is both not unacquisitive and not a softwood. sent4: if the fact that something is a barbel but it is not a Lemmon is wrong then it is not telocentric. sent5: the crotonbug is non-unfrozen thing that is not unacquisitive if the powerhouse is a softwood. sent6: if the powerhouse is a kind of a softwood the crotonbug is not unfrozen. sent7: if the linguine does sight the crotonbug is not unfrozen but it is unacquisitive. sent8: the crotonbug is optical. sent9: that the crotonbug is unfrozen is not correct if the linguine is a sights. sent10: if something does sight then it is a softwood. sent11: the crotonbug is both not unfrozen and unacquisitive. sent12: the crotonbug is anisometropic. sent13: the powerhouse is not frozen if the crotonbug is a softwood. sent14: if the linguine is unfrozen then the mimosa is unfrozen. sent15: something is a sights if it is unfrozen. sent16: if the powerhouse is not telocentric the linguine is unfrozen but it is not unacquisitive. sent17: the crotonbug is frozen thing that is unacquisitive if the powerhouse is a softwood. sent18: the fact that the powerhouse is a softwood is true if the linguine is a kind of a sights.
void -> assump1: Let's assume that the linguine sights.; sent18 & assump1 -> int1: the powerhouse is a softwood.; sent5 & int1 -> int2: the crotonbug is frozen and acquisitive.; [assump1] & int2 -> hypothesis;
the mimosa is a softwood.
sent10 -> int3: if the mimosa is a sights it is a softwood.; sent15 -> int4: if the fact that the mimosa is unfrozen is right it is a sights.; sent4 -> int5: if the fact that the powerhouse is a barbel but it is not a Lemmon does not hold then it is not telocentric.;
$hypothesis$ = if the linguine is a kind of a sights the crotonbug is not unfrozen and is not unacquisitive. ; $context$ = sent1: the crotonbug is not unfrozen. sent2: if the crotonbug is not a Passerina then that the powerhouse is a kind of a barbel and is not a kind of a Lemmon is not right. sent3: if the powerhouse is unfrozen then the crotonbug is both not unacquisitive and not a softwood. sent4: if the fact that something is a barbel but it is not a Lemmon is wrong then it is not telocentric. sent5: the crotonbug is non-unfrozen thing that is not unacquisitive if the powerhouse is a softwood. sent6: if the powerhouse is a kind of a softwood the crotonbug is not unfrozen. sent7: if the linguine does sight the crotonbug is not unfrozen but it is unacquisitive. sent8: the crotonbug is optical. sent9: that the crotonbug is unfrozen is not correct if the linguine is a sights. sent10: if something does sight then it is a softwood. sent11: the crotonbug is both not unfrozen and unacquisitive. sent12: the crotonbug is anisometropic. sent13: the powerhouse is not frozen if the crotonbug is a softwood. sent14: if the linguine is unfrozen then the mimosa is unfrozen. sent15: something is a sights if it is unfrozen. sent16: if the powerhouse is not telocentric the linguine is unfrozen but it is not unacquisitive. sent17: the crotonbug is frozen thing that is unacquisitive if the powerhouse is a softwood. sent18: the fact that the powerhouse is a softwood is true if the linguine is a kind of a sights. ; $proof$ = 
void -> assump1: Let's assume that the linguine sights.; sent18 & assump1 -> int1: the powerhouse is a softwood.; sent5 & int1 -> int2: the crotonbug is frozen and acquisitive.; [assump1] & int2 -> hypothesis; __PROVED__