the fact that the lamp is a kind of a anionic but it does not cathect hide-and-seek if the corvette is a stupid does not hold.
sent1: the lamp is an assurance. sent2: the corvette does cathect hide-and-seek but it is not stupid if the lamp is inboard. sent3: the lamp is essential or not a surrender or both. sent4: there exists something such that it is a anionic. sent5: the corvette is inboard if the LH is an assurance. sent6: the corvette is a principality that is Sicilian. sent7: if something that is an assurance is a surrender the lamp is not inboard. sent8: if something that is inboard is stupid then the lamp does not cathect hide-and-seek. sent9: something is a kind of an assurance. sent10: the LH is an assurance. sent11: the lamp is anionic if it is essential and/or it is not a surrender.
sent5 & sent10 -> int1: the corvette is inboard.; void -> assump1: Let's assume that the corvette is a kind of a stupid.; int1 & assump1 -> int2: the corvette is inboard and it is a kind of a stupid.; int2 -> int3: there is something such that it is inboard and it is a stupid.; int3 & sent8 -> int4: the lamp does not cathect hide-and-seek.; sent11 & sent3 -> int5: the lamp is a anionic.; int4 & int5 -> int6: the lamp is a anionic but it does not cathect hide-and-seek.; [assump1] & int6 -> hypothesis;
$hypothesis$ = the fact that the lamp is a kind of a anionic but it does not cathect hide-and-seek if the corvette is a stupid does not hold. ; $context$ = sent1: the lamp is an assurance. sent2: the corvette does cathect hide-and-seek but it is not stupid if the lamp is inboard. sent3: the lamp is essential or not a surrender or both. sent4: there exists something such that it is a anionic. sent5: the corvette is inboard if the LH is an assurance. sent6: the corvette is a principality that is Sicilian. sent7: if something that is an assurance is a surrender the lamp is not inboard. sent8: if something that is inboard is stupid then the lamp does not cathect hide-and-seek. sent9: something is a kind of an assurance. sent10: the LH is an assurance. sent11: the lamp is anionic if it is essential and/or it is not a surrender. ; $proof$ = 
sent5 & sent10 -> int1: the corvette is inboard.; void -> assump1: Let's assume that the corvette is a kind of a stupid.; int1 & assump1 -> int2: the corvette is inboard and it is a kind of a stupid.; int2 -> int3: there is something such that it is inboard and it is a stupid.; int3 & sent8 -> int4: the lamp does not cathect hide-and-seek.; sent11 & sent3 -> int5: the lamp is a anionic.; int4 & int5 -> int6: the lamp is a anionic but it does not cathect hide-and-seek.; [assump1] & int6 -> hypothesis; __DISPROVED__