the parterre is a kind of a sluggishness that is not a kind of a supertanker.
sent1: the fact that the cupule is not an atheist and/or it does sibilate is false. sent2: if that the fact that the cupule is a kind of an atheist and/or sibilates is not false does not hold then the shark is ventilatory. sent3: something is non-ventilatory if it does not sibilate. sent4: the fact that the fact that the shark is a cytoskeleton and it is a halophyte is correct does not hold. sent5: if the fact that the shark is not ventilatory and/or is a Oujda does not hold then the parterre is a kind of a sluggishness. sent6: the parterre is not a halophyte. sent7: the fact that the shark is not a Lopholatilus and does not debrief shark hold. sent8: the parterre is not a kind of a halophyte and it does not debrief shark. sent9: if something is not a Oujda it is not a supertanker. sent10: that if the parterre is the halophyte and does not debrief shark then that the parterre is not a Oujda hold is true. sent11: if there is something such that the fact that it is both a cytoskeleton and a halophyte is not right then the cupule is not a kind of a halophyte. sent12: the parterre is not a Oujda if it is not a kind of a halophyte and does not debrief shark. sent13: the parterre is a sluggishness if the shark is ventilatory. sent14: that the shark is ventilatory is right if the fact that the cupule is not an atheist and/or it does sibilate is incorrect. sent15: the parterre does spoil Hephaestus and is not a weeper if it is not a sluggishness. sent16: if something is non-ventilatory then the fact that it is a kind of a sluggishness that is not a supertanker does not hold. sent17: the cupule is an atheist. sent18: the hypotensive does not amplify pentoxide and it does not debrief shark.
sent14 & sent1 -> int1: the shark is ventilatory.; int1 & sent13 -> int2: the parterre is a kind of a sluggishness.; sent9 -> int3: if the parterre is not a Oujda it is not a supertanker.; sent12 & sent8 -> int4: the parterre is not a kind of a Oujda.; int3 & int4 -> int5: the parterre is not a supertanker.; int2 & int5 -> hypothesis;
the parterre does spoil Hephaestus and is not a kind of a weeper.
$hypothesis$ = the parterre is a kind of a sluggishness that is not a kind of a supertanker. ; $context$ = sent1: the fact that the cupule is not an atheist and/or it does sibilate is false. sent2: if that the fact that the cupule is a kind of an atheist and/or sibilates is not false does not hold then the shark is ventilatory. sent3: something is non-ventilatory if it does not sibilate. sent4: the fact that the fact that the shark is a cytoskeleton and it is a halophyte is correct does not hold. sent5: if the fact that the shark is not ventilatory and/or is a Oujda does not hold then the parterre is a kind of a sluggishness. sent6: the parterre is not a halophyte. sent7: the fact that the shark is not a Lopholatilus and does not debrief shark hold. sent8: the parterre is not a kind of a halophyte and it does not debrief shark. sent9: if something is not a Oujda it is not a supertanker. sent10: that if the parterre is the halophyte and does not debrief shark then that the parterre is not a Oujda hold is true. sent11: if there is something such that the fact that it is both a cytoskeleton and a halophyte is not right then the cupule is not a kind of a halophyte. sent12: the parterre is not a Oujda if it is not a kind of a halophyte and does not debrief shark. sent13: the parterre is a sluggishness if the shark is ventilatory. sent14: that the shark is ventilatory is right if the fact that the cupule is not an atheist and/or it does sibilate is incorrect. sent15: the parterre does spoil Hephaestus and is not a weeper if it is not a sluggishness. sent16: if something is non-ventilatory then the fact that it is a kind of a sluggishness that is not a supertanker does not hold. sent17: the cupule is an atheist. sent18: the hypotensive does not amplify pentoxide and it does not debrief shark. ; $proof$ = 
sent14 & sent1 -> int1: the shark is ventilatory.; int1 & sent13 -> int2: the parterre is a kind of a sluggishness.; sent9 -> int3: if the parterre is not a Oujda it is not a supertanker.; sent12 & sent8 -> int4: the parterre is not a kind of a Oujda.; int3 & int4 -> int5: the parterre is not a supertanker.; int2 & int5 -> hypothesis; __PROVED__