the manger is not a baffle.
sent1: there is something such that the fact that it does not shelter lesson and it is not a seaward is not true. sent2: the pogonion is not a kind of an acquiescence and/or it is a kind of a union. sent3: the manger shelters lesson if there exists something such that the fact that it does not shelters lesson and it is not a kind of a seaward is not true. sent4: the manger is affixal if the pogonion is not an acquiescence or is a union or both.
sent4 & sent2 -> int1: the manger is affixal.; sent1 & sent3 -> int2: the manger does shelter lesson.; int1 & int2 -> int3: the manger is a kind of affixal thing that does shelter lesson.;
$hypothesis$ = the manger is not a baffle. ; $context$ = sent1: there is something such that the fact that it does not shelter lesson and it is not a seaward is not true. sent2: the pogonion is not a kind of an acquiescence and/or it is a kind of a union. sent3: the manger shelters lesson if there exists something such that the fact that it does not shelters lesson and it is not a kind of a seaward is not true. sent4: the manger is affixal if the pogonion is not an acquiescence or is a union or both. ; $proof$ = 
sent4 & sent2 -> int1: the manger is affixal.; sent1 & sent3 -> int2: the manger does shelter lesson.; int1 & int2 -> int3: the manger is a kind of affixal thing that does shelter lesson.; __UNKNOWN__