the flatbed is non-nominal thing that is a kind of a Zoarcidae.
sent1: if the banquette is not a kind of a charioteer it is not an evangelism and is a checkerboard. sent2: something is not nominal but it is a kind of a Zoarcidae if it is not a kind of a charioteer. sent3: if the excelsior is not less then the fact that the flatbed is not a kind of a charioteer is true. sent4: if there is something such that it is a Panama and does not poach then the excelsior is not less. sent5: that something is a kind of a Panama but it does not poach is not wrong.
sent5 & sent4 -> int1: that the excelsior is not less is right.; int1 & sent3 -> int2: the flatbed is not a charioteer.; sent2 -> int3: the flatbed is not a kind of a nominal but it is a Zoarcidae if it is not a kind of a charioteer.; int2 & int3 -> hypothesis;
$hypothesis$ = the flatbed is non-nominal thing that is a kind of a Zoarcidae. ; $context$ = sent1: if the banquette is not a kind of a charioteer it is not an evangelism and is a checkerboard. sent2: something is not nominal but it is a kind of a Zoarcidae if it is not a kind of a charioteer. sent3: if the excelsior is not less then the fact that the flatbed is not a kind of a charioteer is true. sent4: if there is something such that it is a Panama and does not poach then the excelsior is not less. sent5: that something is a kind of a Panama but it does not poach is not wrong. ; $proof$ = 
sent5 & sent4 -> int1: that the excelsior is not less is right.; int1 & sent3 -> int2: the flatbed is not a charioteer.; sent2 -> int3: the flatbed is not a kind of a nominal but it is a Zoarcidae if it is not a kind of a charioteer.; int2 & int3 -> hypothesis; __PROVED__