the abattoir is not unorthodox.
sent1: if there are non-bicipital things then the fact that the rumble does not geyser abattoir and is not anodic is not true. sent2: there exists something such that it is not bicipital. sent3: the brickyard is acetylenic if there is something such that the fact that it does not geyser abattoir and it is not anodic is incorrect. sent4: the abattoir does not geyser augend but it is a xylem if the brickyard is acetylenic. sent5: that something that does not geyser augend and is a kind of a xylem is not unorthodox is not wrong.
sent2 & sent1 -> int1: that the rumble does not geyser abattoir and it is not anodic does not hold.; int1 -> int2: there exists something such that that it does not geyser abattoir and it is not anodic does not hold.; int2 & sent3 -> int3: the brickyard is acetylenic.; int3 & sent4 -> int4: the abattoir does not geyser augend and is a xylem.; sent5 -> int5: that the abattoir is not unorthodox hold if it does not geyser augend and is a kind of a xylem.; int4 & int5 -> hypothesis;
$hypothesis$ = the abattoir is not unorthodox. ; $context$ = sent1: if there are non-bicipital things then the fact that the rumble does not geyser abattoir and is not anodic is not true. sent2: there exists something such that it is not bicipital. sent3: the brickyard is acetylenic if there is something such that the fact that it does not geyser abattoir and it is not anodic is incorrect. sent4: the abattoir does not geyser augend but it is a xylem if the brickyard is acetylenic. sent5: that something that does not geyser augend and is a kind of a xylem is not unorthodox is not wrong. ; $proof$ = 
sent2 & sent1 -> int1: that the rumble does not geyser abattoir and it is not anodic does not hold.; int1 -> int2: there exists something such that that it does not geyser abattoir and it is not anodic does not hold.; int2 & sent3 -> int3: the brickyard is acetylenic.; int3 & sent4 -> int4: the abattoir does not geyser augend and is a xylem.; sent5 -> int5: that the abattoir is not unorthodox hold if it does not geyser augend and is a kind of a xylem.; int4 & int5 -> hypothesis; __PROVED__