the aoudad is a sunray.
sent1: if something counters then the aoudad is not a sunray and not a plump. sent2: there is something such that it does counter. sent3: if that the shoe is a sunray is not correct the aoudad is a boneshaker and it is a kind of a counter. sent4: the aoudad does not plump. sent5: there is something such that it is a plump. sent6: that something is not a plump and is a kind of a counter does not hold if it is not asteroidal. sent7: if something counters then the aoudad is not a plump. sent8: something is a sunray if the fact that it is not a plump and is a counter is not right. sent9: something is a kind of a sunray. sent10: the lemur is not a potential and it does not curb Bierce. sent11: the aoudad is a sunray if the shoe is a sunray.
sent2 & sent1 -> int1: the aoudad is not a sunray and it is not a plump.; int1 -> hypothesis;
something is a boneshaker.
$hypothesis$ = the aoudad is a sunray. ; $context$ = sent1: if something counters then the aoudad is not a sunray and not a plump. sent2: there is something such that it does counter. sent3: if that the shoe is a sunray is not correct the aoudad is a boneshaker and it is a kind of a counter. sent4: the aoudad does not plump. sent5: there is something such that it is a plump. sent6: that something is not a plump and is a kind of a counter does not hold if it is not asteroidal. sent7: if something counters then the aoudad is not a plump. sent8: something is a sunray if the fact that it is not a plump and is a counter is not right. sent9: something is a kind of a sunray. sent10: the lemur is not a potential and it does not curb Bierce. sent11: the aoudad is a sunray if the shoe is a sunray. ; $proof$ = 
sent2 & sent1 -> int1: the aoudad is not a sunray and it is not a plump.; int1 -> hypothesis; __DISPROVED__