the lark is both not interlobular and not a foal.
sent1: that the lark is a Latimeridae that is a undercharge does not hold if there exists something such that it does not sample semifinal. sent2: there exists something such that the fact that it samples Rana and it is intertribal is not right. sent3: if the parachutist is not a kind of a baiting then that that it does not sample Rana and it is intertribal hold is false. sent4: something that is not a kind of a Latimeridae does not foal. sent5: if that the stomacher is a kind of a baiting but it is not a Latimeridae is incorrect the parachutist is not a Latimeridae. sent6: if the fact that something is a Latimeridae and it undercharges is incorrect it does not foal. sent7: if there is something such that that it does not sample Rana and is intertribal is wrong then the stomacher does not sample semifinal. sent8: that the parachutist does bait is not right.
sent3 & sent8 -> int1: that the parachutist does not sample Rana but it is intertribal is wrong.; int1 -> int2: there exists something such that that it does not sample Rana and is intertribal is wrong.; int2 & sent7 -> int3: the stomacher does not sample semifinal.; int3 -> int4: there exists something such that it does not sample semifinal.; int4 & sent1 -> int5: that the lark is a Latimeridae and does undercharge is not right.; sent6 -> int6: if that the lark is a Latimeridae and it is a kind of a undercharge is not true it is not a foal.; int5 & int6 -> int7: the lark is not a foal.;
the parachutist is not a Latimeridae.
$hypothesis$ = the lark is both not interlobular and not a foal. ; $context$ = sent1: that the lark is a Latimeridae that is a undercharge does not hold if there exists something such that it does not sample semifinal. sent2: there exists something such that the fact that it samples Rana and it is intertribal is not right. sent3: if the parachutist is not a kind of a baiting then that that it does not sample Rana and it is intertribal hold is false. sent4: something that is not a kind of a Latimeridae does not foal. sent5: if that the stomacher is a kind of a baiting but it is not a Latimeridae is incorrect the parachutist is not a Latimeridae. sent6: if the fact that something is a Latimeridae and it undercharges is incorrect it does not foal. sent7: if there is something such that that it does not sample Rana and is intertribal is wrong then the stomacher does not sample semifinal. sent8: that the parachutist does bait is not right. ; $proof$ = 
sent3 & sent8 -> int1: that the parachutist does not sample Rana but it is intertribal is wrong.; int1 -> int2: there exists something such that that it does not sample Rana and is intertribal is wrong.; int2 & sent7 -> int3: the stomacher does not sample semifinal.; int3 -> int4: there exists something such that it does not sample semifinal.; int4 & sent1 -> int5: that the lark is a Latimeridae and does undercharge is not right.; sent6 -> int6: if that the lark is a Latimeridae and it is a kind of a undercharge is not true it is not a foal.; int5 & int6 -> int7: the lark is not a foal.; __UNKNOWN__