the microfossil does not trundle ginkgo and is not Democratic.
sent1: if the microfossil is a kind of a sparrow then it is not non-Democratic. sent2: if the cords is a sparrow it is a rush. sent3: if the wrack is Democratic the microfossil does not trundle ginkgo and it is not Democratic. sent4: the wrack is not a kind of a sparrow if the fact that it is a kind of a sparrow and it is a barycenter is not right. sent5: the jazzman is not Mozartian. sent6: the microfossil does not trundle ginkgo and it is not Mozartian if the cords is Mozartian. sent7: the cords is Mozartian. sent8: the microfossil is non-non-metric. sent9: the microfossil is not Democratic if the wrack trundles ginkgo. sent10: the fact that the wrack is a sparrow is true if the cords is Mozartian. sent11: the microfossil is argentous. sent12: the cords does not trundle puck and it does not deposit cords. sent13: the microfossil does not trundle ginkgo and it is not Mozartian. sent14: the fact that the fact that the wrack is a kind of a sparrow and is a barycenter is not false is wrong if it does not guard. sent15: the microfossil does not trundle ginkgo if the wrack is Democratic. sent16: if something is Mozartian then that it does not trundle ginkgo and it is not Democratic is not correct. sent17: the wrack is not Mozartian and not Democratic if the cords is Democratic. sent18: something is Democratic if it is a sparrow. sent19: if the microfossil is Democratic that the wrack does not trundle ginkgo is not false. sent20: the microfossil does not trundle ginkgo. sent21: the marguerite is Democratic.
sent10 & sent7 -> int1: that the wrack is a kind of a sparrow is not false.; sent18 -> int2: if the wrack is a kind of a sparrow it is Democratic.; int1 & int2 -> int3: the wrack is Democratic.; int3 & sent3 -> hypothesis;
that the microfossil does not trundle ginkgo and is not Democratic is not right.
sent16 -> int4: the fact that the microfossil does not trundle ginkgo and is not Democratic is not right if it is Mozartian.;
$hypothesis$ = the microfossil does not trundle ginkgo and is not Democratic. ; $context$ = sent1: if the microfossil is a kind of a sparrow then it is not non-Democratic. sent2: if the cords is a sparrow it is a rush. sent3: if the wrack is Democratic the microfossil does not trundle ginkgo and it is not Democratic. sent4: the wrack is not a kind of a sparrow if the fact that it is a kind of a sparrow and it is a barycenter is not right. sent5: the jazzman is not Mozartian. sent6: the microfossil does not trundle ginkgo and it is not Mozartian if the cords is Mozartian. sent7: the cords is Mozartian. sent8: the microfossil is non-non-metric. sent9: the microfossil is not Democratic if the wrack trundles ginkgo. sent10: the fact that the wrack is a sparrow is true if the cords is Mozartian. sent11: the microfossil is argentous. sent12: the cords does not trundle puck and it does not deposit cords. sent13: the microfossil does not trundle ginkgo and it is not Mozartian. sent14: the fact that the fact that the wrack is a kind of a sparrow and is a barycenter is not false is wrong if it does not guard. sent15: the microfossil does not trundle ginkgo if the wrack is Democratic. sent16: if something is Mozartian then that it does not trundle ginkgo and it is not Democratic is not correct. sent17: the wrack is not Mozartian and not Democratic if the cords is Democratic. sent18: something is Democratic if it is a sparrow. sent19: if the microfossil is Democratic that the wrack does not trundle ginkgo is not false. sent20: the microfossil does not trundle ginkgo. sent21: the marguerite is Democratic. ; $proof$ = 
sent10 & sent7 -> int1: that the wrack is a kind of a sparrow is not false.; sent18 -> int2: if the wrack is a kind of a sparrow it is Democratic.; int1 & int2 -> int3: the wrack is Democratic.; int3 & sent3 -> hypothesis; __PROVED__