the blink is not vascular but it is a bob.
sent1: the blink is not a Nigerian and it is not a croissant. sent2: if the SI is nonparametric it is a kind of a Mohican. sent3: the SI is nonparametric. sent4: if the blink is not a Nigerian and it is not a croissant then the fact that it is not a loach is not false. sent5: if something is not a kind of a loach then it is a kind of a bob. sent6: the sphenion is a kind of non-neocortical thing that does not bob. sent7: the Jihadist is not Nigerian but a Bulnesia if the blink is vascular. sent8: something is not vascular but it bobs if it is not a loach. sent9: the SI is not a Danish and is a interlanguage. sent10: the blink is not Nigerian and does mingle. sent11: something is both not a loach and not a bob if it is pronominal.
sent4 & sent1 -> int1: the blink is not a loach.; sent8 -> int2: the blink is both not vascular and a bob if that it is not a kind of a loach is right.; int1 & int2 -> hypothesis;
the Jihadist is not a Nigerian and is a Bulnesia.
sent11 -> int3: if the coattail is a kind of a pronominal then it is not a loach and is not a bob.; sent9 -> int4: the SI is a interlanguage.; sent2 & sent3 -> int5: the SI is a Mohican.; int4 & int5 -> int6: the SI is both a interlanguage and a Mohican.; int6 -> int7: there is something such that it is a kind of a interlanguage that is a Mohican.;
$hypothesis$ = the blink is not vascular but it is a bob. ; $context$ = sent1: the blink is not a Nigerian and it is not a croissant. sent2: if the SI is nonparametric it is a kind of a Mohican. sent3: the SI is nonparametric. sent4: if the blink is not a Nigerian and it is not a croissant then the fact that it is not a loach is not false. sent5: if something is not a kind of a loach then it is a kind of a bob. sent6: the sphenion is a kind of non-neocortical thing that does not bob. sent7: the Jihadist is not Nigerian but a Bulnesia if the blink is vascular. sent8: something is not vascular but it bobs if it is not a loach. sent9: the SI is not a Danish and is a interlanguage. sent10: the blink is not Nigerian and does mingle. sent11: something is both not a loach and not a bob if it is pronominal. ; $proof$ = 
sent4 & sent1 -> int1: the blink is not a loach.; sent8 -> int2: the blink is both not vascular and a bob if that it is not a kind of a loach is right.; int1 & int2 -> hypothesis; __PROVED__