the flibbertigibbet is a petrolatum.
sent1: if the fact that the starfish qualifies flibbertigibbet but it does not injure is not true then the flibbertigibbet is not a kind of a petrolatum. sent2: something is not a petrolatum if the fact that it is a petrolatum and does injure is incorrect. sent3: something does not qualify flibbertigibbet if the fact that it is not intrasentential and it remains is true. sent4: if the starfish is parabolic thing that remains it is not a effector. sent5: if that the fact that the stomacher does not remain or crossbreeds Psocoptera or both is not right is not false then it is not a effector. sent6: the touraco does injure if the starfish does not qualify flibbertigibbet. sent7: the starfish is not a effector and does qualify flibbertigibbet if the touraco does not injure. sent8: the stomacher is not a effector. sent9: something is not aeromedical if the fact that either it is not parabolic or it injures or both does not hold. sent10: if the stomacher is not a kind of a effector the touraco is not intrasentential and does remain. sent11: if the touraco remains and it is parabolic it does not qualify flibbertigibbet. sent12: the soporific does crossbreed Psocoptera or it is not aeromedical or both if the starfish is not aeromedical. sent13: the flibbertigibbet is a kind of a petrolatum if the soporific is not aeromedical. sent14: the soporific is not a petrolatum. sent15: if the starfish is not aeromedical and is a petrolatum it does not injure. sent16: if that the soporific is parabolic hold the starfish qualifies flibbertigibbet. sent17: if the soporific crossbreeds Psocoptera the flibbertigibbet is a petrolatum. sent18: if the fact that the soporific does not crossbreed Psocoptera and it is non-aeromedical is incorrect it is parabolic. sent19: the touraco does not qualify flibbertigibbet if it does not injure and it is not non-aeromedical.
sent3 -> int1: the touraco does not qualify flibbertigibbet if it is non-intrasentential thing that remains.; sent10 & sent8 -> int2: the touraco is not intrasentential but it does remain.; int1 & int2 -> int3: the touraco does not qualify flibbertigibbet.; sent9 -> int4: if the fact that the starfish is not parabolic or it injures or both does not hold it is not aeromedical.;
the flibbertigibbet is not a petrolatum.
sent2 -> int5: if the fact that the flibbertigibbet is a petrolatum and injures is incorrect it is not a petrolatum.;
$hypothesis$ = the flibbertigibbet is a petrolatum. ; $context$ = sent1: if the fact that the starfish qualifies flibbertigibbet but it does not injure is not true then the flibbertigibbet is not a kind of a petrolatum. sent2: something is not a petrolatum if the fact that it is a petrolatum and does injure is incorrect. sent3: something does not qualify flibbertigibbet if the fact that it is not intrasentential and it remains is true. sent4: if the starfish is parabolic thing that remains it is not a effector. sent5: if that the fact that the stomacher does not remain or crossbreeds Psocoptera or both is not right is not false then it is not a effector. sent6: the touraco does injure if the starfish does not qualify flibbertigibbet. sent7: the starfish is not a effector and does qualify flibbertigibbet if the touraco does not injure. sent8: the stomacher is not a effector. sent9: something is not aeromedical if the fact that either it is not parabolic or it injures or both does not hold. sent10: if the stomacher is not a kind of a effector the touraco is not intrasentential and does remain. sent11: if the touraco remains and it is parabolic it does not qualify flibbertigibbet. sent12: the soporific does crossbreed Psocoptera or it is not aeromedical or both if the starfish is not aeromedical. sent13: the flibbertigibbet is a kind of a petrolatum if the soporific is not aeromedical. sent14: the soporific is not a petrolatum. sent15: if the starfish is not aeromedical and is a petrolatum it does not injure. sent16: if that the soporific is parabolic hold the starfish qualifies flibbertigibbet. sent17: if the soporific crossbreeds Psocoptera the flibbertigibbet is a petrolatum. sent18: if the fact that the soporific does not crossbreed Psocoptera and it is non-aeromedical is incorrect it is parabolic. sent19: the touraco does not qualify flibbertigibbet if it does not injure and it is not non-aeromedical. ; $proof$ = 
sent3 -> int1: the touraco does not qualify flibbertigibbet if it is non-intrasentential thing that remains.; sent10 & sent8 -> int2: the touraco is not intrasentential but it does remain.; int1 & int2 -> int3: the touraco does not qualify flibbertigibbet.; sent9 -> int4: if the fact that the starfish is not parabolic or it injures or both does not hold it is not aeromedical.; __UNKNOWN__