the balsa is a petal and it is a wallah.
sent1: if the woof does bog assonance then the fact that the balsa infixes filename but it is not critical is incorrect. sent2: that the balsa does infix filename and is not critical is false. sent3: if something does retrain then it does shop cluck. sent4: the balsa does not bog assonance if the woof is unstuck thing that does not bog assonance. sent5: if something infixes filename it is a kind of a petal. sent6: the woof bogs assonance. sent7: the balsa is a wallah. sent8: something is a kind of a petal if the fact that it does not infix filename and it is not critical does not hold. sent9: the fact that something is a petal and it is a wallah does not hold if it does not bog assonance. sent10: something is not premature if that it does not retrain and it does shop cluck is not right. sent11: if the woof does bog assonance then the fact that the balsa does not infix filename and is not critical is not true. sent12: if the balsa does infix filename then it is a kind of a petal. sent13: that something is not premature and it is not unstuck is wrong if it shops cluck. sent14: the woof is unstuck and does not bog assonance if the fact that the gleba is not premature is true. sent15: The assonance bogs woof. sent16: that something does not retrain but it does shop cluck is false if it does not shop icehouse. sent17: the fact that the argonon infixes filename and is not a Cryptobranchus is not right.
sent8 -> int1: the balsa is a kind of a petal if the fact that it does not infix filename and it is not critical is incorrect.; sent11 & sent6 -> int2: the fact that the balsa does not infix filename and it is not critical does not hold.; int1 & int2 -> int3: the balsa is a kind of a petal.; int3 & sent7 -> hypothesis;
the fact that the balsa is a kind of a petal that is a wallah does not hold.
sent9 -> int4: if the balsa does not bog assonance then the fact that it is a petal and is a wallah is wrong.; sent13 -> int5: if the woof shops cluck then the fact that the fact that it is non-premature thing that is not unstuck is not incorrect is incorrect.; sent3 -> int6: the woof shops cluck if that it does retrain is not incorrect.;
$hypothesis$ = the balsa is a petal and it is a wallah. ; $context$ = sent1: if the woof does bog assonance then the fact that the balsa infixes filename but it is not critical is incorrect. sent2: that the balsa does infix filename and is not critical is false. sent3: if something does retrain then it does shop cluck. sent4: the balsa does not bog assonance if the woof is unstuck thing that does not bog assonance. sent5: if something infixes filename it is a kind of a petal. sent6: the woof bogs assonance. sent7: the balsa is a wallah. sent8: something is a kind of a petal if the fact that it does not infix filename and it is not critical does not hold. sent9: the fact that something is a petal and it is a wallah does not hold if it does not bog assonance. sent10: something is not premature if that it does not retrain and it does shop cluck is not right. sent11: if the woof does bog assonance then the fact that the balsa does not infix filename and is not critical is not true. sent12: if the balsa does infix filename then it is a kind of a petal. sent13: that something is not premature and it is not unstuck is wrong if it shops cluck. sent14: the woof is unstuck and does not bog assonance if the fact that the gleba is not premature is true. sent15: The assonance bogs woof. sent16: that something does not retrain but it does shop cluck is false if it does not shop icehouse. sent17: the fact that the argonon infixes filename and is not a Cryptobranchus is not right. ; $proof$ = 
sent8 -> int1: the balsa is a kind of a petal if the fact that it does not infix filename and it is not critical is incorrect.; sent11 & sent6 -> int2: the fact that the balsa does not infix filename and it is not critical does not hold.; int1 & int2 -> int3: the balsa is a kind of a petal.; int3 & sent7 -> hypothesis; __PROVED__