the baron is not an ankle.
sent1: if the stopover is sexagesimal the baron is not a kind of an ankle. sent2: the baron is a kind of a Nigerian. sent3: the ladder does not appropriate tag. sent4: The tag does not appropriate ladder. sent5: the fact that the stopover is unprintable is not false. sent6: the fact that the stopover is a mascarpone is not false if the Pan is not sexagesimal. sent7: if the stopover is not a kind of a Nigerian it is not non-sexagesimal. sent8: if the Pan is not a mascarpone the ladder appropriates tag. sent9: if something is not a mascarpone it is Nigerian and it is not unprintable.
void -> assump1: Let's assume that the stopover is a Nigerian.; sent5 & assump1 -> int1: the stopover is a kind of unprintable thing that is a kind of a Nigerian.;
the baron is an ankle.
sent9 -> int2: the stopover is a Nigerian and is not unprintable if it is not a mascarpone.;
$hypothesis$ = the baron is not an ankle. ; $context$ = sent1: if the stopover is sexagesimal the baron is not a kind of an ankle. sent2: the baron is a kind of a Nigerian. sent3: the ladder does not appropriate tag. sent4: The tag does not appropriate ladder. sent5: the fact that the stopover is unprintable is not false. sent6: the fact that the stopover is a mascarpone is not false if the Pan is not sexagesimal. sent7: if the stopover is not a kind of a Nigerian it is not non-sexagesimal. sent8: if the Pan is not a mascarpone the ladder appropriates tag. sent9: if something is not a mascarpone it is Nigerian and it is not unprintable. ; $proof$ = 
void -> assump1: Let's assume that the stopover is a Nigerian.; sent5 & assump1 -> int1: the stopover is a kind of unprintable thing that is a kind of a Nigerian.; __UNKNOWN__