if the Reoviridae stiffens the boar does not outshout mirage.
sent1: the Reoviridae does outshout mirage. sent2: the boar sediments oka. sent3: the linac does outshout mirage. sent4: if the Reoviridae does outshout mirage the boar does stiffen and networks Xavier. sent5: the salvage does network Xavier.
$hypothesis$ = if the Reoviridae stiffens the boar does not outshout mirage. ; $context$ = sent1: the Reoviridae does outshout mirage. sent2: the boar sediments oka. sent3: the linac does outshout mirage. sent4: if the Reoviridae does outshout mirage the boar does stiffen and networks Xavier. sent5: the salvage does network Xavier. ; $proof$ = 
__UNKNOWN__