the fisherman is mortal.
sent1: everything does trisect Philippians. sent2: the blanket does soldier orphrey. sent3: something is clayey if that it does not negotiate Tobit and it is not clayey does not hold. sent4: the fact that something is not a Ptilonorhynchidae and not clayey if it is dorsal hold. sent5: if the Philippians is aphanitic that the margay does not negotiate Tobit and is clayey does not hold. sent6: that something does not negotiate Tobit but it is aphanitic is wrong if it is a kind of a AS. sent7: the fisherman is mortal if it is dorsal. sent8: if the Philippians is not a Ptilonorhynchidae and it is not clayey then the margay is not a Ptilonorhynchidae. sent9: there is something such that it is a Ptilonorhynchidae. sent10: the fact that the fisherman is immortal is not incorrect if the trichloride is immortal. sent11: something is clayey. sent12: the margay is aphanitic if the fact that it does not negotiate Tobit and it is not aphanitic is not correct. sent13: the trichloride does soldier orphrey. sent14: the fisherman quivers Dipodidae. sent15: if something trisects Philippians it does not negotiate Cornwall. sent16: that the trichloride soldiers orphrey and it is a kind of a pikeblenny if the margay is not a kind of a Ptilonorhynchidae is not false. sent17: if something is a kind of a pikeblenny then it is a Ptilonorhynchidae. sent18: if the trichloride is immortal and does not quiver Dipodidae the fisherman is not immortal. sent19: if the fact that the fisherman does soldier orphrey is correct the trichloride is mortal. sent20: the fact that the margay does not negotiate Tobit and is clayey is wrong. sent21: the fisherman is dorsal if there is something such that it is a kind of a Ptilonorhynchidae that is clayey. sent22: the conqueror does soldier trichloride and it trisects stainability. sent23: if the Philippians is aphanitic that the margay does not negotiate Tobit and is not clayey is not correct. sent24: the trichloride does quiver Dipodidae and does soldier orphrey. sent25: if the trichloride quivers Dipodidae then the margay is a kind of a pikeblenny. sent26: if that something does not negotiate Cornwall hold then the fact that it is a kind of a AS that is a Baldwin is right. sent27: the Philippians is aphanitic.
sent24 -> int1: the trichloride quivers Dipodidae.; int1 & sent25 -> int2: the margay is a pikeblenny.; sent17 -> int3: if the fact that the margay is a kind of a pikeblenny is correct then it is a Ptilonorhynchidae.; int2 & int3 -> int4: the margay is a Ptilonorhynchidae.; sent3 -> int5: if the fact that the margay does not negotiate Tobit and is not clayey is not correct it is clayey.; sent23 & sent27 -> int6: that the margay does not negotiate Tobit and is not clayey is not correct.; int5 & int6 -> int7: the margay is clayey.; int4 & int7 -> int8: the margay is a Ptilonorhynchidae and clayey.; int8 -> int9: there exists something such that it is a Ptilonorhynchidae and it is clayey.; int9 & sent21 -> int10: the fisherman is dorsal.; int10 & sent7 -> hypothesis;
the fisherman is not mortal.
sent4 -> int11: the fact that the Philippians is not a Ptilonorhynchidae and it is not clayey is true if it is dorsal.; sent15 -> int12: the buttress does not negotiate Cornwall if it does trisect Philippians.; sent1 -> int13: the buttress does trisect Philippians.; int12 & int13 -> int14: the buttress does not negotiate Cornwall.; int14 -> int15: everything does not negotiate Cornwall.; int15 -> int16: the fiduciary does not negotiate Cornwall.; sent26 -> int17: if the fiduciary does not negotiate Cornwall then it is a AS and it is a Baldwin.; int16 & int17 -> int18: the fiduciary is a AS and a Baldwin.; int18 -> int19: the fiduciary is a AS.; sent6 -> int20: if the fiduciary is a AS the fact that it does not negotiate Tobit and is aphanitic is not correct.; int19 & int20 -> int21: the fact that that the fiduciary does not negotiate Tobit but it is aphanitic does not hold hold.;
$hypothesis$ = the fisherman is mortal. ; $context$ = sent1: everything does trisect Philippians. sent2: the blanket does soldier orphrey. sent3: something is clayey if that it does not negotiate Tobit and it is not clayey does not hold. sent4: the fact that something is not a Ptilonorhynchidae and not clayey if it is dorsal hold. sent5: if the Philippians is aphanitic that the margay does not negotiate Tobit and is clayey does not hold. sent6: that something does not negotiate Tobit but it is aphanitic is wrong if it is a kind of a AS. sent7: the fisherman is mortal if it is dorsal. sent8: if the Philippians is not a Ptilonorhynchidae and it is not clayey then the margay is not a Ptilonorhynchidae. sent9: there is something such that it is a Ptilonorhynchidae. sent10: the fact that the fisherman is immortal is not incorrect if the trichloride is immortal. sent11: something is clayey. sent12: the margay is aphanitic if the fact that it does not negotiate Tobit and it is not aphanitic is not correct. sent13: the trichloride does soldier orphrey. sent14: the fisherman quivers Dipodidae. sent15: if something trisects Philippians it does not negotiate Cornwall. sent16: that the trichloride soldiers orphrey and it is a kind of a pikeblenny if the margay is not a kind of a Ptilonorhynchidae is not false. sent17: if something is a kind of a pikeblenny then it is a Ptilonorhynchidae. sent18: if the trichloride is immortal and does not quiver Dipodidae the fisherman is not immortal. sent19: if the fact that the fisherman does soldier orphrey is correct the trichloride is mortal. sent20: the fact that the margay does not negotiate Tobit and is clayey is wrong. sent21: the fisherman is dorsal if there is something such that it is a kind of a Ptilonorhynchidae that is clayey. sent22: the conqueror does soldier trichloride and it trisects stainability. sent23: if the Philippians is aphanitic that the margay does not negotiate Tobit and is not clayey is not correct. sent24: the trichloride does quiver Dipodidae and does soldier orphrey. sent25: if the trichloride quivers Dipodidae then the margay is a kind of a pikeblenny. sent26: if that something does not negotiate Cornwall hold then the fact that it is a kind of a AS that is a Baldwin is right. sent27: the Philippians is aphanitic. ; $proof$ = 
sent24 -> int1: the trichloride quivers Dipodidae.; int1 & sent25 -> int2: the margay is a pikeblenny.; sent17 -> int3: if the fact that the margay is a kind of a pikeblenny is correct then it is a Ptilonorhynchidae.; int2 & int3 -> int4: the margay is a Ptilonorhynchidae.; sent3 -> int5: if the fact that the margay does not negotiate Tobit and is not clayey is not correct it is clayey.; sent23 & sent27 -> int6: that the margay does not negotiate Tobit and is not clayey is not correct.; int5 & int6 -> int7: the margay is clayey.; int4 & int7 -> int8: the margay is a Ptilonorhynchidae and clayey.; int8 -> int9: there exists something such that it is a Ptilonorhynchidae and it is clayey.; int9 & sent21 -> int10: the fisherman is dorsal.; int10 & sent7 -> hypothesis; __PROVED__