the safebreaker is not lymphatic and is imperceptible.
sent1: there exists something such that it is not a kind of a marine. sent2: the fact that the safebreaker is vasomotor is correct. sent3: the fact that the metopion is not a kind of a theme is not incorrect if it is a pool and it does inspire. sent4: the metopion is a kind of a pool and it inspires. sent5: the safebreaker is Tudor. sent6: if the salwar is not a kind of a Tudor the fact that it is not dipolar and it pools is wrong. sent7: something is non-vasomotor if it does not inspire and cools. sent8: the metopion is imperceptible. sent9: the metopion is a kind of a pool. sent10: if that the salwar is not dipolar but it pools is not correct then it does not pools. sent11: the metopion themes if the safebreaker is lymphatic. sent12: if there exists something such that it is not a marine the salwar is not a kind of a Tudor. sent13: the safebreaker is vasomotor but it does not cool if it is Tudor. sent14: if a vasomotor thing is not a cooling then it is imperceptible. sent15: the safebreaker is a theme. sent16: if the fact that the safebreaker is a Tudor hold then it is vasomotor. sent17: the safebreaker is not a theme and is not imperceptible if the metopion is not vasomotor. sent18: if that the cynic is non-vasomotor hold then the metopion is lymphatic and it themes.
void -> assump1: Let's assume that the safebreaker is lymphatic.; sent11 & assump1 -> int1: the metopion does theme.; sent3 & sent4 -> int2: the metopion is not a kind of a theme.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the safebreaker is not lymphatic.; sent14 -> int5: the safebreaker is imperceptible if it is vasomotor and it is not a cooling.; sent13 & sent5 -> int6: the safebreaker is vasomotor but it does not cool.; int5 & int6 -> int7: the safebreaker is imperceptible.; int4 & int7 -> hypothesis;
the Green does not inspire and is a stalactite.
$hypothesis$ = the safebreaker is not lymphatic and is imperceptible. ; $context$ = sent1: there exists something such that it is not a kind of a marine. sent2: the fact that the safebreaker is vasomotor is correct. sent3: the fact that the metopion is not a kind of a theme is not incorrect if it is a pool and it does inspire. sent4: the metopion is a kind of a pool and it inspires. sent5: the safebreaker is Tudor. sent6: if the salwar is not a kind of a Tudor the fact that it is not dipolar and it pools is wrong. sent7: something is non-vasomotor if it does not inspire and cools. sent8: the metopion is imperceptible. sent9: the metopion is a kind of a pool. sent10: if that the salwar is not dipolar but it pools is not correct then it does not pools. sent11: the metopion themes if the safebreaker is lymphatic. sent12: if there exists something such that it is not a marine the salwar is not a kind of a Tudor. sent13: the safebreaker is vasomotor but it does not cool if it is Tudor. sent14: if a vasomotor thing is not a cooling then it is imperceptible. sent15: the safebreaker is a theme. sent16: if the fact that the safebreaker is a Tudor hold then it is vasomotor. sent17: the safebreaker is not a theme and is not imperceptible if the metopion is not vasomotor. sent18: if that the cynic is non-vasomotor hold then the metopion is lymphatic and it themes. ; $proof$ = 
void -> assump1: Let's assume that the safebreaker is lymphatic.; sent11 & assump1 -> int1: the metopion does theme.; sent3 & sent4 -> int2: the metopion is not a kind of a theme.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the safebreaker is not lymphatic.; sent14 -> int5: the safebreaker is imperceptible if it is vasomotor and it is not a cooling.; sent13 & sent5 -> int6: the safebreaker is vasomotor but it does not cool.; int5 & int6 -> int7: the safebreaker is imperceptible.; int4 & int7 -> hypothesis; __PROVED__