the sedge is not permissive and it does not dissociate cardiologist.
sent1: if that the ayapana does not dissociate Arendt is not incorrect the stage moves complement or it does dissociate Arendt or both. sent2: the gnu dissociates Arendt if there is something such that the fact that it is a kind of a hostel or it is not physicochemical or both is wrong. sent3: if there exists something such that the fact that it either is not a kind of a hostel or is not physicochemical or both is not true the gnu dissociates Arendt. sent4: the insectivore is a licked if the stage dissociates Arendt. sent5: the insectivore does lick if the stage moves complement. sent6: something is not permissive and does not dissociate cardiologist if it is not a fox. sent7: if the gnu is accordant the fact that it is not a fox but a licked is false. sent8: if the gnu is not a kind of a licked then either the sedge is a kind of a viverrine or it does move complement or both. sent9: the insectivore is accordant if there is something such that it is autosomal. sent10: if the fact that something is not a fox but a licked does not hold it is not a kind of a licked. sent11: there exists something such that the fact that it is not a hostel or it is not physicochemical or both is wrong. sent12: the fact that something is not permissive and does not dissociate cardiologist is wrong if it does not dissociate Arendt. sent13: if the gnu is autosomal then the fact that it is accordant is right. sent14: if there is something such that the fact that it is not autosomal and it is not accordant is incorrect then the insectivore is accordant. sent15: there is something such that the fact that it is not autosomal and is not accordant is wrong. sent16: the ayapana does not dissociate Arendt and it is not a viverrine if the gnu does dissociate Arendt. sent17: that the sedge does not dissociate cardiologist hold. sent18: the thunderer is not a heedlessness and does not aggregate carelessness.
sent11 & sent3 -> int1: the gnu dissociates Arendt.; int1 & sent16 -> int2: the ayapana does not dissociate Arendt and is not a viverrine.; int2 -> int3: the ayapana does not dissociate Arendt.; int3 & sent1 -> int4: the stage does move complement and/or it dissociates Arendt.; int4 & sent5 & sent4 -> int5: the insectivore licks.; sent15 & sent14 -> int6: the insectivore is accordant.; int5 & int6 -> int7: the insectivore does lick and it is accordant.; sent6 -> int8: the sedge is a kind of non-permissive thing that does not dissociate cardiologist if it is not a fox.;
the fact that the sedge is unpermissive and it does not dissociate cardiologist is false.
sent12 -> int9: the fact that the sedge is not permissive and does not dissociate cardiologist does not hold if it does not dissociate Arendt.; sent10 -> int10: if that the gnu is not a kind of a fox but it licks is false that it is not a kind of a licks hold.;
$hypothesis$ = the sedge is not permissive and it does not dissociate cardiologist. ; $context$ = sent1: if that the ayapana does not dissociate Arendt is not incorrect the stage moves complement or it does dissociate Arendt or both. sent2: the gnu dissociates Arendt if there is something such that the fact that it is a kind of a hostel or it is not physicochemical or both is wrong. sent3: if there exists something such that the fact that it either is not a kind of a hostel or is not physicochemical or both is not true the gnu dissociates Arendt. sent4: the insectivore is a licked if the stage dissociates Arendt. sent5: the insectivore does lick if the stage moves complement. sent6: something is not permissive and does not dissociate cardiologist if it is not a fox. sent7: if the gnu is accordant the fact that it is not a fox but a licked is false. sent8: if the gnu is not a kind of a licked then either the sedge is a kind of a viverrine or it does move complement or both. sent9: the insectivore is accordant if there is something such that it is autosomal. sent10: if the fact that something is not a fox but a licked does not hold it is not a kind of a licked. sent11: there exists something such that the fact that it is not a hostel or it is not physicochemical or both is wrong. sent12: the fact that something is not permissive and does not dissociate cardiologist is wrong if it does not dissociate Arendt. sent13: if the gnu is autosomal then the fact that it is accordant is right. sent14: if there is something such that the fact that it is not autosomal and it is not accordant is incorrect then the insectivore is accordant. sent15: there is something such that the fact that it is not autosomal and is not accordant is wrong. sent16: the ayapana does not dissociate Arendt and it is not a viverrine if the gnu does dissociate Arendt. sent17: that the sedge does not dissociate cardiologist hold. sent18: the thunderer is not a heedlessness and does not aggregate carelessness. ; $proof$ = 
sent11 & sent3 -> int1: the gnu dissociates Arendt.; int1 & sent16 -> int2: the ayapana does not dissociate Arendt and is not a viverrine.; int2 -> int3: the ayapana does not dissociate Arendt.; int3 & sent1 -> int4: the stage does move complement and/or it dissociates Arendt.; int4 & sent5 & sent4 -> int5: the insectivore licks.; sent15 & sent14 -> int6: the insectivore is accordant.; int5 & int6 -> int7: the insectivore does lick and it is accordant.; sent6 -> int8: the sedge is a kind of non-permissive thing that does not dissociate cardiologist if it is not a fox.; __UNKNOWN__