the treat is alkalotic.
sent1: if the fact that the cordgrass is a Trigonella and it sidetracks does not hold the plating is not a kind of a Trigonella. sent2: if something is not a Trigonella it is not a kind of a pseudoephedrine and it is a hewer. sent3: that the treat does not sidetrack and/or it is a Trigonella is wrong if the plating is not a pseudoephedrine. sent4: the plating is a kind of a hewer that is not a pseudoephedrine. sent5: if the fact that something does not sidetrack and/or it is a Trigonella is incorrect then it is alkalotic.
sent4 -> int1: the plating is not a pseudoephedrine.; int1 & sent3 -> int2: the fact that the treat does not sidetrack or it is a kind of a Trigonella or both is not right.; sent5 -> int3: if the fact that the treat does not sidetrack and/or it is a Trigonella is false then it is alkalotic.; int2 & int3 -> hypothesis;
the treat is not alkalotic.
sent2 -> int4: the plating is not a kind of a pseudoephedrine but it is a hewer if that it is not a kind of a Trigonella is not incorrect.;
$hypothesis$ = the treat is alkalotic. ; $context$ = sent1: if the fact that the cordgrass is a Trigonella and it sidetracks does not hold the plating is not a kind of a Trigonella. sent2: if something is not a Trigonella it is not a kind of a pseudoephedrine and it is a hewer. sent3: that the treat does not sidetrack and/or it is a Trigonella is wrong if the plating is not a pseudoephedrine. sent4: the plating is a kind of a hewer that is not a pseudoephedrine. sent5: if the fact that something does not sidetrack and/or it is a Trigonella is incorrect then it is alkalotic. ; $proof$ = 
sent4 -> int1: the plating is not a pseudoephedrine.; int1 & sent3 -> int2: the fact that the treat does not sidetrack or it is a kind of a Trigonella or both is not right.; sent5 -> int3: if the fact that the treat does not sidetrack and/or it is a Trigonella is false then it is alkalotic.; int2 & int3 -> hypothesis; __PROVED__