the Somalian is non-angiospermous.
sent1: the Somalian is not untrustworthy. sent2: the wicket-keeper is both not trustworthy and non-leeward. sent3: the Somalian is a kind of a leeward or it is not a kind of a yardman or both if the wicket-keeper is not a leeward. sent4: if the wicket-keeper is not a yardman the Somalian is a kind of a yardman and/or is not a leeward. sent5: if something is not catabolic either it is not non-leeward or it is not a yardman or both. sent6: if something is untrustworthy then it is angiospermous. sent7: if that something is a thrower and it is catabolic is incorrect it is not catabolic. sent8: if something is a kind of a Rockingham it is not a kind of a Ismaili. sent9: the Somalian is not angiospermous if it is a leeward. sent10: something that is leeward and/or not a yardman is not angiospermous.
sent2 -> int1: the wicket-keeper is not leeward.; int1 & sent3 -> int2: the Somalian is a leeward and/or it is not a yardman.; sent10 -> int3: the Somalian is not angiospermous if it is leeward or is not a yardman or both.; int2 & int3 -> hypothesis;
the Somalian is angiospermous.
sent6 -> int4: the Somalian is angiospermous if it is not trustworthy.; sent5 -> int5: if the wicket-keeper is not catabolic then it is a leeward or not a yardman or both.; sent7 -> int6: if that the wicket-keeper is a thrower and it is catabolic is incorrect it is not catabolic.;
$hypothesis$ = the Somalian is non-angiospermous. ; $context$ = sent1: the Somalian is not untrustworthy. sent2: the wicket-keeper is both not trustworthy and non-leeward. sent3: the Somalian is a kind of a leeward or it is not a kind of a yardman or both if the wicket-keeper is not a leeward. sent4: if the wicket-keeper is not a yardman the Somalian is a kind of a yardman and/or is not a leeward. sent5: if something is not catabolic either it is not non-leeward or it is not a yardman or both. sent6: if something is untrustworthy then it is angiospermous. sent7: if that something is a thrower and it is catabolic is incorrect it is not catabolic. sent8: if something is a kind of a Rockingham it is not a kind of a Ismaili. sent9: the Somalian is not angiospermous if it is a leeward. sent10: something that is leeward and/or not a yardman is not angiospermous. ; $proof$ = 
sent2 -> int1: the wicket-keeper is not leeward.; int1 & sent3 -> int2: the Somalian is a leeward and/or it is not a yardman.; sent10 -> int3: the Somalian is not angiospermous if it is leeward or is not a yardman or both.; int2 & int3 -> hypothesis; __PROVED__