the Jonah is a hyssop and/or it collars Stromateidae.
sent1: the keratohyalin is a Derain. sent2: the search does not expire mayoress. sent3: if that the Jonah is not scriptural is not false then the lamplighter is a Vaccinium but it does not bench. sent4: something that expires JRA broadsides crassness. sent5: the fact that the pelter does collar ceremoniousness is true if it does not bench. sent6: the Jonah is not scriptural if the fact that the bey is not a hyssop but it expires mayoress does not hold. sent7: if the swallow is a cuirass then it does not collar Stromateidae. sent8: something is scriptural if it is a Derain. sent9: the fact that the Jonah is an arsenal hold. sent10: something does not expire mayoress if it is scriptural. sent11: the Jonah is a kind of a bench and it is a Derain. sent12: if that something does not expire mayoress is not incorrect then it is a hyssop. sent13: if something is not non-Ugandan then it is not neolithic.
sent11 -> int1: the Jonah is a Derain.; sent8 -> int2: the Jonah is scriptural if it is a kind of a Derain.; int1 & int2 -> int3: the Jonah is scriptural.; sent10 -> int4: if the Jonah is scriptural it does not expire mayoress.; int3 & int4 -> int5: the Jonah does not expire mayoress.; sent12 -> int6: if the Jonah does not expire mayoress then the fact that it is a hyssop is right.; int5 & int6 -> int7: the Jonah is a hyssop.; int7 -> hypothesis;
the fact that the Jonah is a kind of a hyssop and/or it collars Stromateidae is false.
sent2 -> int8: something does not expire mayoress.;
$hypothesis$ = the Jonah is a hyssop and/or it collars Stromateidae. ; $context$ = sent1: the keratohyalin is a Derain. sent2: the search does not expire mayoress. sent3: if that the Jonah is not scriptural is not false then the lamplighter is a Vaccinium but it does not bench. sent4: something that expires JRA broadsides crassness. sent5: the fact that the pelter does collar ceremoniousness is true if it does not bench. sent6: the Jonah is not scriptural if the fact that the bey is not a hyssop but it expires mayoress does not hold. sent7: if the swallow is a cuirass then it does not collar Stromateidae. sent8: something is scriptural if it is a Derain. sent9: the fact that the Jonah is an arsenal hold. sent10: something does not expire mayoress if it is scriptural. sent11: the Jonah is a kind of a bench and it is a Derain. sent12: if that something does not expire mayoress is not incorrect then it is a hyssop. sent13: if something is not non-Ugandan then it is not neolithic. ; $proof$ = 
sent11 -> int1: the Jonah is a Derain.; sent8 -> int2: the Jonah is scriptural if it is a kind of a Derain.; int1 & int2 -> int3: the Jonah is scriptural.; sent10 -> int4: if the Jonah is scriptural it does not expire mayoress.; int3 & int4 -> int5: the Jonah does not expire mayoress.; sent12 -> int6: if the Jonah does not expire mayoress then the fact that it is a hyssop is right.; int5 & int6 -> int7: the Jonah is a hyssop.; int7 -> hypothesis; __PROVED__