the myxosporidian is a retem.
sent1: the Blimp is a kind of a masking and is a space. sent2: the heterostracan spaces. sent3: the Blimp is not a retem and/or it is a space if the myxosporidian is not a masking. sent4: the myxosporidian does distinguish Gongora. sent5: the Blimp is a kind of a space. sent6: the Superior is a space. sent7: the Blimp is a retem. sent8: the Blimp does not mask and/or is not a space if the revolutionist exploits. sent9: the myxosporidian is a space if the Blimp is a kind of a retem. sent10: the Blimp is a retem if that the myxosporidian spaces is not wrong. sent11: the myxosporidian exploits if the revolutionist wires off-season. sent12: the myxosporidian is a kind of a watchtower. sent13: everything wires off-season and it is a wailer. sent14: if something exploits then either it is not a masking or it does not distinguish parsnip or both. sent15: that the myxosporidian spaces is correct. sent16: the myxosporidian is a kind of a retem if the Blimp does mask. sent17: if either something is not a kind of a masking or it does not distinguish parsnip or both then it does not masking. sent18: something that does not wire off-season exploits and distinguishes parsnip.
sent1 -> int1: the Blimp masks.; sent16 & int1 -> hypothesis;
the myxosporidian is not a retem.
sent18 -> int2: if the revolutionist does not wire off-season then the fact that it does exploit and does distinguish parsnip is right.;
$hypothesis$ = the myxosporidian is a retem. ; $context$ = sent1: the Blimp is a kind of a masking and is a space. sent2: the heterostracan spaces. sent3: the Blimp is not a retem and/or it is a space if the myxosporidian is not a masking. sent4: the myxosporidian does distinguish Gongora. sent5: the Blimp is a kind of a space. sent6: the Superior is a space. sent7: the Blimp is a retem. sent8: the Blimp does not mask and/or is not a space if the revolutionist exploits. sent9: the myxosporidian is a space if the Blimp is a kind of a retem. sent10: the Blimp is a retem if that the myxosporidian spaces is not wrong. sent11: the myxosporidian exploits if the revolutionist wires off-season. sent12: the myxosporidian is a kind of a watchtower. sent13: everything wires off-season and it is a wailer. sent14: if something exploits then either it is not a masking or it does not distinguish parsnip or both. sent15: that the myxosporidian spaces is correct. sent16: the myxosporidian is a kind of a retem if the Blimp does mask. sent17: if either something is not a kind of a masking or it does not distinguish parsnip or both then it does not masking. sent18: something that does not wire off-season exploits and distinguishes parsnip. ; $proof$ = 
sent1 -> int1: the Blimp masks.; sent16 & int1 -> hypothesis; __PROVED__