the microfossil is a kind of a Augustinian and it is a carrycot.
sent1: if the winch is post-communist but not a canker then the clinch is not a Augustinian. sent2: the microfossil is viscometric if the winch is a kind of a carrycot. sent3: something that jobs Tarbell is viscometric and/or is not a kind of a backwater. sent4: the microfossil jobs Tarbell if it is keyless. sent5: the microfossil is keyless. sent6: if the microfossil is a Augustinian or is not post-communist or both then it does canker. sent7: if something is glomerular then it is unlikable and/or it is not a carrycot. sent8: the clinch is post-communist. sent9: if the microfossil is a backwater or it is not keyless or both then it is invisible. sent10: the microfossil is post-communist if the clinch is keyless. sent11: the cephaloglycin is keyless. sent12: the microfossil cankers or is not a Augustinian or both. sent13: either something is viscometric or it is a backwater or both if it does job Tarbell. sent14: the microfossil is a carrycot if it is viscometric or it is not a kind of a backwater or both. sent15: if the winch does oxidise then the cart is invisible. sent16: the clinch is post-communist a canker. sent17: the clinch is invisible. sent18: the clinch is post-communist if it does oxidise or it is not a kind of a Augustinian or both. sent19: if that the clinch is a canker is not false then the winch oxidises.
sent16 -> int1: the clinch is a kind of a canker.; int1 & sent19 -> int2: the winch oxidises.; int2 & sent15 -> int3: the cart is invisible.; sent3 -> int4: if that the microfossil does job Tarbell is true either it is viscometric or it is not a backwater or both.; sent4 & sent5 -> int5: that the microfossil jobs Tarbell hold.; int4 & int5 -> int6: the microfossil is viscometric and/or is not a kind of a backwater.; sent14 & int6 -> int7: the microfossil is a carrycot.;
the chamberlain is unlikable or it is not a kind of a carrycot or both if it is glomerular.
sent7 -> hypothesis;
$hypothesis$ = the microfossil is a kind of a Augustinian and it is a carrycot. ; $context$ = sent1: if the winch is post-communist but not a canker then the clinch is not a Augustinian. sent2: the microfossil is viscometric if the winch is a kind of a carrycot. sent3: something that jobs Tarbell is viscometric and/or is not a kind of a backwater. sent4: the microfossil jobs Tarbell if it is keyless. sent5: the microfossil is keyless. sent6: if the microfossil is a Augustinian or is not post-communist or both then it does canker. sent7: if something is glomerular then it is unlikable and/or it is not a carrycot. sent8: the clinch is post-communist. sent9: if the microfossil is a backwater or it is not keyless or both then it is invisible. sent10: the microfossil is post-communist if the clinch is keyless. sent11: the cephaloglycin is keyless. sent12: the microfossil cankers or is not a Augustinian or both. sent13: either something is viscometric or it is a backwater or both if it does job Tarbell. sent14: the microfossil is a carrycot if it is viscometric or it is not a kind of a backwater or both. sent15: if the winch does oxidise then the cart is invisible. sent16: the clinch is post-communist a canker. sent17: the clinch is invisible. sent18: the clinch is post-communist if it does oxidise or it is not a kind of a Augustinian or both. sent19: if that the clinch is a canker is not false then the winch oxidises. ; $proof$ = 
sent16 -> int1: the clinch is a kind of a canker.; int1 & sent19 -> int2: the winch oxidises.; int2 & sent15 -> int3: the cart is invisible.; sent3 -> int4: if that the microfossil does job Tarbell is true either it is viscometric or it is not a backwater or both.; sent4 & sent5 -> int5: that the microfossil jobs Tarbell hold.; int4 & int5 -> int6: the microfossil is viscometric and/or is not a kind of a backwater.; sent14 & int6 -> int7: the microfossil is a carrycot.; __UNKNOWN__