the starboard is not a kind of a rustication and does not outstare homonymy.
sent1: that the aardvark is not a kind of a jointed but it does underlie does not hold. sent2: if the fact that something is not a tare and does befuddle does not hold then it is not a jointed. sent3: the midst does not underlie. sent4: the leucothoe is a kind of a Hippobosca and/or does not outstare prepuberty. sent5: if something does not befuddle it is not a kind of a jointed. sent6: if the fact that the wire is not a rustication hold the starboard is not a kind of a rustication and it does not outstare homonymy. sent7: the leucothoe is not a Hippobosca if the aardvark is not jointed. sent8: if the wire is not a rustication the starboard is not a rustication. sent9: if either the leucothoe is not a Hippobosca or it does not outstare prepuberty or both the fact that the wire is not a rustication is not incorrect. sent10: the aardvark does not outstare prepuberty. sent11: that the aardvark does not joint is not incorrect if it does not befuddle. sent12: the starboard is not a rustication. sent13: the leucothoe is not a Hippobosca and/or it outstares prepuberty.
sent2 -> int1: the aardvark does not joint if the fact that it is not a tare and does befuddle is not correct.;
$hypothesis$ = the starboard is not a kind of a rustication and does not outstare homonymy. ; $context$ = sent1: that the aardvark is not a kind of a jointed but it does underlie does not hold. sent2: if the fact that something is not a tare and does befuddle does not hold then it is not a jointed. sent3: the midst does not underlie. sent4: the leucothoe is a kind of a Hippobosca and/or does not outstare prepuberty. sent5: if something does not befuddle it is not a kind of a jointed. sent6: if the fact that the wire is not a rustication hold the starboard is not a kind of a rustication and it does not outstare homonymy. sent7: the leucothoe is not a Hippobosca if the aardvark is not jointed. sent8: if the wire is not a rustication the starboard is not a rustication. sent9: if either the leucothoe is not a Hippobosca or it does not outstare prepuberty or both the fact that the wire is not a rustication is not incorrect. sent10: the aardvark does not outstare prepuberty. sent11: that the aardvark does not joint is not incorrect if it does not befuddle. sent12: the starboard is not a rustication. sent13: the leucothoe is not a Hippobosca and/or it outstares prepuberty. ; $proof$ = 
sent2 -> int1: the aardvark does not joint if the fact that it is not a tare and does befuddle is not correct.; __UNKNOWN__