the fact that not the analogy but the unlikableness happens does not hold.
sent1: that the preluding occurs and the anthropocentricness occurs triggers that the broad does not occur. sent2: that the preluding does not occur and the unlikableness does not occur is false if the anthropocentricness does not occur. sent3: the consternating pelycosaur and the pictorialness occurs. sent4: the cerebrospinalness does not occur. sent5: that the anthropocentricness does not occur is caused by that the devices does not occur and the broad does not occur. sent6: if the demagogicness does not occur the fact that not the consternating Delius but the joinery occurs does not hold. sent7: that not the analogy but the unlikableness occurs is not correct if the broad does not occur. sent8: that the trailing does not occur but the reissuing dessiatine happens is not true if the letting does not occur. sent9: that both the cerebrospinalness and the pictorial occurs is brought about by that the Atlantic does not occur. sent10: that the analogy occurs is prevented by that the pictorialness occurs or the consternating pelycosaur or both. sent11: the consternating pelycosaur prevents that the preluding does not occur. sent12: the devices occurs and/or the reissuing squall happens if the cerebrospinalness does not occur. sent13: if the devices occurs then the anthropocentricness occurs. sent14: the anthropocentricness happens if the reissuing squall happens.
sent3 -> int1: the consternating pelycosaur occurs.; int1 & sent11 -> int2: the prelude occurs.; sent12 & sent4 -> int3: either the devices or the reissuing squall or both occurs.; int3 & sent13 & sent14 -> int4: the anthropocentricness happens.; int2 & int4 -> int5: the preluding occurs and the anthropocentricness happens.; int5 & sent1 -> int6: the broad does not occur.; int6 & sent7 -> hypothesis;
not the analogy but the unlikableness occurs.
$hypothesis$ = the fact that not the analogy but the unlikableness happens does not hold. ; $context$ = sent1: that the preluding occurs and the anthropocentricness occurs triggers that the broad does not occur. sent2: that the preluding does not occur and the unlikableness does not occur is false if the anthropocentricness does not occur. sent3: the consternating pelycosaur and the pictorialness occurs. sent4: the cerebrospinalness does not occur. sent5: that the anthropocentricness does not occur is caused by that the devices does not occur and the broad does not occur. sent6: if the demagogicness does not occur the fact that not the consternating Delius but the joinery occurs does not hold. sent7: that not the analogy but the unlikableness occurs is not correct if the broad does not occur. sent8: that the trailing does not occur but the reissuing dessiatine happens is not true if the letting does not occur. sent9: that both the cerebrospinalness and the pictorial occurs is brought about by that the Atlantic does not occur. sent10: that the analogy occurs is prevented by that the pictorialness occurs or the consternating pelycosaur or both. sent11: the consternating pelycosaur prevents that the preluding does not occur. sent12: the devices occurs and/or the reissuing squall happens if the cerebrospinalness does not occur. sent13: if the devices occurs then the anthropocentricness occurs. sent14: the anthropocentricness happens if the reissuing squall happens. ; $proof$ = 
sent3 -> int1: the consternating pelycosaur occurs.; int1 & sent11 -> int2: the prelude occurs.; sent12 & sent4 -> int3: either the devices or the reissuing squall or both occurs.; int3 & sent13 & sent14 -> int4: the anthropocentricness happens.; int2 & int4 -> int5: the preluding occurs and the anthropocentricness happens.; int5 & sent1 -> int6: the broad does not occur.; int6 & sent7 -> hypothesis; __PROVED__