the fact that the fact that the perihelion does not stud Pittsburgh and is a kind of a Hemigalus does not hold is not false.
sent1: the perihelion is not a Isurus. sent2: a Isurus that does overthrow is non-pupillary. sent3: the perihelion is not a Isurus but it overthrows if the fact that the diffuser is not a Isurus is not false. sent4: if something is not pupillary then that it does not stud Pittsburgh and it is a Hemigalus is false. sent5: the fact that the perihelion is not a Isurus is not incorrect if the diffuser is not a kind of a Isurus. sent6: if the declination is avifaunal and nests wrapped then the diffuser is not a Isurus. sent7: the declination is avifaunal. sent8: the perihelion is not pupillary if it is a kind of a Isurus that is an overthrow. sent9: The wrapped does nest declination. sent10: something is not pupillary if it is not a Isurus but an overthrow. sent11: something does not nest wrapped. sent12: the declination does nest wrapped. sent13: that something studs Pittsburgh and it is a Hemigalus does not hold if the fact that it is not pupillary is not incorrect. sent14: the fact that the perihelion studs Pittsburgh and it is a Hemigalus is not correct if it is not pupillary. sent15: the fact that the perihelion does stud Pittsburgh and it is a Hemigalus is false.
sent7 & sent12 -> int1: the declination is avifaunal and it does nest wrapped.; int1 & sent6 -> int2: the diffuser is not a Isurus.; int2 & sent3 -> int3: the perihelion is not a kind of a Isurus and does overthrow.; sent10 -> int4: the fact that the perihelion is non-pupillary hold if it is not a Isurus but an overthrow.; int3 & int4 -> int5: the perihelion is not pupillary.; sent4 -> int6: if the perihelion is not pupillary then that it does not stud Pittsburgh and it is a Hemigalus does not hold.; int5 & int6 -> hypothesis;
that the perihelion does not stud Pittsburgh and is a Hemigalus is not false.
$hypothesis$ = the fact that the fact that the perihelion does not stud Pittsburgh and is a kind of a Hemigalus does not hold is not false. ; $context$ = sent1: the perihelion is not a Isurus. sent2: a Isurus that does overthrow is non-pupillary. sent3: the perihelion is not a Isurus but it overthrows if the fact that the diffuser is not a Isurus is not false. sent4: if something is not pupillary then that it does not stud Pittsburgh and it is a Hemigalus is false. sent5: the fact that the perihelion is not a Isurus is not incorrect if the diffuser is not a kind of a Isurus. sent6: if the declination is avifaunal and nests wrapped then the diffuser is not a Isurus. sent7: the declination is avifaunal. sent8: the perihelion is not pupillary if it is a kind of a Isurus that is an overthrow. sent9: The wrapped does nest declination. sent10: something is not pupillary if it is not a Isurus but an overthrow. sent11: something does not nest wrapped. sent12: the declination does nest wrapped. sent13: that something studs Pittsburgh and it is a Hemigalus does not hold if the fact that it is not pupillary is not incorrect. sent14: the fact that the perihelion studs Pittsburgh and it is a Hemigalus is not correct if it is not pupillary. sent15: the fact that the perihelion does stud Pittsburgh and it is a Hemigalus is false. ; $proof$ = 
sent7 & sent12 -> int1: the declination is avifaunal and it does nest wrapped.; int1 & sent6 -> int2: the diffuser is not a Isurus.; int2 & sent3 -> int3: the perihelion is not a kind of a Isurus and does overthrow.; sent10 -> int4: the fact that the perihelion is non-pupillary hold if it is not a Isurus but an overthrow.; int3 & int4 -> int5: the perihelion is not pupillary.; sent4 -> int6: if the perihelion is not pupillary then that it does not stud Pittsburgh and it is a Hemigalus does not hold.; int5 & int6 -> hypothesis; __PROVED__