something is recombinant and it does corset scenery.
sent1: the scenery is a recombinant if that either it is a gyro or it is intrauterine or both does not hold. sent2: that something does browse maleness is true. sent3: something is a gyro if it browses maleness. sent4: something is recombinant if that it is not a gyro or is intrauterine or both does not hold. sent5: if that either something does not browse Motherwell or it is a kind of a trainload or both is not right then it does stand. sent6: if the fact that something is not caducean and/or toys is not true then it is a Austria. sent7: there is something such that it does not browse maleness. sent8: the scenery is a gyro. sent9: the scenery does browse maleness. sent10: the scenery does send. sent11: That the scenery corsets centrum hold. sent12: if there is something such that that it does not browse maleness is true the scenery is a kind of a gyro. sent13: there exists something such that it is a recombinant. sent14: there is something such that it corsets scenery. sent15: if that something either is a gyro or is intrauterine or both is not right then it is recombinant. sent16: if there exists something such that it does not browse maleness then the fact that either the scenery is not a kind of a gyro or it is intrauterine or both is incorrect. sent17: the scenery corsets scenery if the centrum does corsets scenery.
sent7 & sent16 -> int1: the fact that either the scenery is not a gyro or it is intrauterine or both is false.; sent4 -> int2: if that either the scenery is not a gyro or it is intrauterine or both is false then it is a recombinant.; int1 & int2 -> int3: the scenery is recombinant.;
the agnathan is a gyro.
sent3 -> int4: the agnathan is a gyro if it browses maleness.;
$hypothesis$ = something is recombinant and it does corset scenery. ; $context$ = sent1: the scenery is a recombinant if that either it is a gyro or it is intrauterine or both does not hold. sent2: that something does browse maleness is true. sent3: something is a gyro if it browses maleness. sent4: something is recombinant if that it is not a gyro or is intrauterine or both does not hold. sent5: if that either something does not browse Motherwell or it is a kind of a trainload or both is not right then it does stand. sent6: if the fact that something is not caducean and/or toys is not true then it is a Austria. sent7: there is something such that it does not browse maleness. sent8: the scenery is a gyro. sent9: the scenery does browse maleness. sent10: the scenery does send. sent11: That the scenery corsets centrum hold. sent12: if there is something such that that it does not browse maleness is true the scenery is a kind of a gyro. sent13: there exists something such that it is a recombinant. sent14: there is something such that it corsets scenery. sent15: if that something either is a gyro or is intrauterine or both is not right then it is recombinant. sent16: if there exists something such that it does not browse maleness then the fact that either the scenery is not a kind of a gyro or it is intrauterine or both is incorrect. sent17: the scenery corsets scenery if the centrum does corsets scenery. ; $proof$ = 
sent7 & sent16 -> int1: the fact that either the scenery is not a gyro or it is intrauterine or both is false.; sent4 -> int2: if that either the scenery is not a gyro or it is intrauterine or both is false then it is a recombinant.; int1 & int2 -> int3: the scenery is recombinant.; __UNKNOWN__