the acinus is non-gastroduodenal.
sent1: the acinus is not gastroduodenal if the Raja is a geneticism and/or it is algorithmic. sent2: if the Raja either is a geneticism or is gastroduodenal or both then the acinus is not algorithmic. sent3: the Raja is a kind of a geneticism. sent4: the Raja is not gastroduodenal if the acinus is a geneticism and/or it is algorithmic.
sent3 -> int1: the Raja is a geneticism and/or algorithmic.; sent1 & int1 -> hypothesis;
$hypothesis$ = the acinus is non-gastroduodenal. ; $context$ = sent1: the acinus is not gastroduodenal if the Raja is a geneticism and/or it is algorithmic. sent2: if the Raja either is a geneticism or is gastroduodenal or both then the acinus is not algorithmic. sent3: the Raja is a kind of a geneticism. sent4: the Raja is not gastroduodenal if the acinus is a geneticism and/or it is algorithmic. ; $proof$ = 
sent3 -> int1: the Raja is a geneticism and/or algorithmic.; sent1 & int1 -> hypothesis; __PROVED__