the lunger is a CBC.
sent1: the redneck is luteal and is a Dinesen if it is not a kind of a manikin. sent2: the Feosol is not a Finn. sent3: if there is something such that that it is both not a manikin and calcicolous does not hold the Feosol is a Dinesen. sent4: that the whitewash downs ruddles hold. sent5: the fact that the shock is both a CBC and not anaclinal is wrong if the deossification does not down ruddles. sent6: the shock is an arousal and acronymic. sent7: if something is not calcicolous it is not a manikin. sent8: if the shock is not luteal the lunger is a CBC. sent9: there exists something such that the fact that it is a manikin and it is luteal is false. sent10: there is something such that it is not a kind of a Dawson and does photosensitize sphincter. sent11: that the deossification does not fullback but it does down ruddles does not hold. sent12: the dulciana is not a kind of a Chandi if something that fullbacks does down carriageway. sent13: if the deossification is not a fullback that it is not a manikin and is calcicolous is wrong. sent14: if something that is not a Finn is not licit then it does not down ruddles. sent15: that the Feosol is not licit is not wrong. sent16: if something that is anaclinal is a Dinesen the shock is not luteal. sent17: something does not hoodoo nightgown if it is not a Chandi and it is not a fullback. sent18: the Feosol fullbacks. sent19: the deossification is a proconsulship. sent20: the shock is pathological and is calcicolous. sent21: that the deossification does not down ruddles is not incorrect if the redneck down ruddles. sent22: if the deossification is not a Finn the Feosol is a fullback. sent23: the Feosol is licit if it is not calcicolous. sent24: the deossification does not fullback. sent25: the Feosol is anaclinal if it does not down ruddles.
sent14 -> int1: the Feosol does not down ruddles if it is not a Finn and is not licit.; sent2 & sent15 -> int2: the Feosol is not a kind of a Finn and it is not licit.; int1 & int2 -> int3: the Feosol does not down ruddles.; int3 & sent25 -> int4: the Feosol is not non-anaclinal.; sent13 & sent24 -> int5: that the deossification is not a manikin but it is calcicolous is false.; int5 -> int6: there exists something such that the fact that it is both not a manikin and not non-calcicolous does not hold.; int6 & sent3 -> int7: the Feosol is a Dinesen.; int4 & int7 -> int8: the Feosol is a kind of anaclinal thing that is a Dinesen.; int8 -> int9: something is anaclinal and a Dinesen.; int9 & sent16 -> int10: the shock is not luteal.; int10 & sent8 -> hypothesis;
the lunger is not a kind of a CBC.
sent7 -> int11: the huitre is not a kind of a manikin if it is not calcicolous.;
$hypothesis$ = the lunger is a CBC. ; $context$ = sent1: the redneck is luteal and is a Dinesen if it is not a kind of a manikin. sent2: the Feosol is not a Finn. sent3: if there is something such that that it is both not a manikin and calcicolous does not hold the Feosol is a Dinesen. sent4: that the whitewash downs ruddles hold. sent5: the fact that the shock is both a CBC and not anaclinal is wrong if the deossification does not down ruddles. sent6: the shock is an arousal and acronymic. sent7: if something is not calcicolous it is not a manikin. sent8: if the shock is not luteal the lunger is a CBC. sent9: there exists something such that the fact that it is a manikin and it is luteal is false. sent10: there is something such that it is not a kind of a Dawson and does photosensitize sphincter. sent11: that the deossification does not fullback but it does down ruddles does not hold. sent12: the dulciana is not a kind of a Chandi if something that fullbacks does down carriageway. sent13: if the deossification is not a fullback that it is not a manikin and is calcicolous is wrong. sent14: if something that is not a Finn is not licit then it does not down ruddles. sent15: that the Feosol is not licit is not wrong. sent16: if something that is anaclinal is a Dinesen the shock is not luteal. sent17: something does not hoodoo nightgown if it is not a Chandi and it is not a fullback. sent18: the Feosol fullbacks. sent19: the deossification is a proconsulship. sent20: the shock is pathological and is calcicolous. sent21: that the deossification does not down ruddles is not incorrect if the redneck down ruddles. sent22: if the deossification is not a Finn the Feosol is a fullback. sent23: the Feosol is licit if it is not calcicolous. sent24: the deossification does not fullback. sent25: the Feosol is anaclinal if it does not down ruddles. ; $proof$ = 
sent14 -> int1: the Feosol does not down ruddles if it is not a Finn and is not licit.; sent2 & sent15 -> int2: the Feosol is not a kind of a Finn and it is not licit.; int1 & int2 -> int3: the Feosol does not down ruddles.; int3 & sent25 -> int4: the Feosol is not non-anaclinal.; sent13 & sent24 -> int5: that the deossification is not a manikin but it is calcicolous is false.; int5 -> int6: there exists something such that the fact that it is both not a manikin and not non-calcicolous does not hold.; int6 & sent3 -> int7: the Feosol is a Dinesen.; int4 & int7 -> int8: the Feosol is a kind of anaclinal thing that is a Dinesen.; int8 -> int9: something is anaclinal and a Dinesen.; int9 & sent16 -> int10: the shock is not luteal.; int10 & sent8 -> hypothesis; __PROVED__