the relic does not recover.
sent1: something is not refractive. sent2: if the bagatelle lists then the fact that the relic does not lists but it is an adverbial does not hold. sent3: the bagatelle is quadratic. sent4: if something that does not pleat is not a panel then it prevails. sent5: if the bagatelle is a kind of an adverbial that the relic lists is right. sent6: the bagatelle is not a kind of a pleat if there exists something such that it is not refractive. sent7: if the bagatelle is non-sporadic thing that moves Praunus it is an adverbial. sent8: something that prevails is unnatural. sent9: the relic does recover if the fact that it is not a listing but an adverbial does not hold. sent10: something does not recover if the fact that it is not a quadratic is not incorrect. sent11: if something is harmonious then it is a kind of a listing. sent12: the bagatelle is non-sporadic thing that does move Praunus if it is unnatural. sent13: the bagatelle is a kind of quadratic thing that is harmonious.
sent13 -> int1: the fact that the bagatelle is harmonious is not wrong.; sent11 -> int2: if the bagatelle is harmonious then it does list.; int1 & int2 -> int3: the bagatelle does list.; int3 & sent2 -> int4: the fact that the relic is not a listing but it is a kind of an adverbial does not hold.; int4 & sent9 -> hypothesis;
the relic does not recover.
sent8 -> int5: if the bagatelle prevails it is unnatural.; sent4 -> int6: the bagatelle prevails if it is not a pleat and not a panel.; sent1 & sent6 -> int7: the bagatelle does not pleat.; sent10 -> int8: if the fact that the relic is non-quadratic is true it does not recover.;
$hypothesis$ = the relic does not recover. ; $context$ = sent1: something is not refractive. sent2: if the bagatelle lists then the fact that the relic does not lists but it is an adverbial does not hold. sent3: the bagatelle is quadratic. sent4: if something that does not pleat is not a panel then it prevails. sent5: if the bagatelle is a kind of an adverbial that the relic lists is right. sent6: the bagatelle is not a kind of a pleat if there exists something such that it is not refractive. sent7: if the bagatelle is non-sporadic thing that moves Praunus it is an adverbial. sent8: something that prevails is unnatural. sent9: the relic does recover if the fact that it is not a listing but an adverbial does not hold. sent10: something does not recover if the fact that it is not a quadratic is not incorrect. sent11: if something is harmonious then it is a kind of a listing. sent12: the bagatelle is non-sporadic thing that does move Praunus if it is unnatural. sent13: the bagatelle is a kind of quadratic thing that is harmonious. ; $proof$ = 
sent13 -> int1: the fact that the bagatelle is harmonious is not wrong.; sent11 -> int2: if the bagatelle is harmonious then it does list.; int1 & int2 -> int3: the bagatelle does list.; int3 & sent2 -> int4: the fact that the relic is not a listing but it is a kind of an adverbial does not hold.; int4 & sent9 -> hypothesis; __DISPROVED__