the flyover is a sacrifice.
sent1: there is something such that it does not powwow floored and it is a speedskater. sent2: there exists nothing that prioritizes or is numeric or both. sent3: that something does not powwow floored and is a georgette does not hold if it is intransitive. sent4: the borage does powwow floored. sent5: if the borage is not a georgette the TRH does not dilate and is a speedskater. sent6: there exists something such that it is a smothered. sent7: the borage is not a georgette. sent8: if the fanion does not powwow floored the flyover sacrifices. sent9: the borage does not dilate. sent10: something is a georgette.
sent5 & sent7 -> int1: the TRH does not dilate and is a speedskater.; int1 -> int2: there exists something such that it does not dilate and it is a speedskater.;
the flyover is not a sacrifice.
sent3 -> int3: the fact that the borage does not powwow floored but it is a kind of a georgette is not right if it is not a transitive.; sent2 -> int4: the fact that the TRH does prioritize or it is numeric or both does not hold.; int4 -> int5: there is something such that that it does prioritize and/or it is numeric is not true.;
$hypothesis$ = the flyover is a sacrifice. ; $context$ = sent1: there is something such that it does not powwow floored and it is a speedskater. sent2: there exists nothing that prioritizes or is numeric or both. sent3: that something does not powwow floored and is a georgette does not hold if it is intransitive. sent4: the borage does powwow floored. sent5: if the borage is not a georgette the TRH does not dilate and is a speedskater. sent6: there exists something such that it is a smothered. sent7: the borage is not a georgette. sent8: if the fanion does not powwow floored the flyover sacrifices. sent9: the borage does not dilate. sent10: something is a georgette. ; $proof$ = 
sent5 & sent7 -> int1: the TRH does not dilate and is a speedskater.; int1 -> int2: there exists something such that it does not dilate and it is a speedskater.; __UNKNOWN__