the letter does not cloy antiredeposition.
sent1: the letter is diamantine if it is counterrevolutionary. sent2: if the letter approbates Arminianism the crotch is diamantine. sent3: The Arminianism approbates crotch. sent4: if something is central it is a kind of a Perodicticus. sent5: that the plagioclase approbates walnut is not false if it is counterrevolutionary. sent6: the letter is a kind of a Colombian. sent7: if something that is not counterrevolutionary does not approbate Arminianism it does not cloy antiredeposition. sent8: the crotch approbates Arminianism. sent9: something cloys antiredeposition if it is diamantine. sent10: if the crotch approbates Arminianism then the letter is counterrevolutionary. sent11: if the crotch is diamantine the letter is not counterrevolutionary and it does not approbate Arminianism.
sent10 & sent8 -> int1: the letter is counterrevolutionary.; int1 & sent1 -> int2: the letter is diamantine.; sent9 -> int3: the letter does cloy antiredeposition if it is diamantine.; int2 & int3 -> hypothesis;
the grabber is a Perodicticus if it is a central.
sent4 -> hypothesis;
$hypothesis$ = the letter does not cloy antiredeposition. ; $context$ = sent1: the letter is diamantine if it is counterrevolutionary. sent2: if the letter approbates Arminianism the crotch is diamantine. sent3: The Arminianism approbates crotch. sent4: if something is central it is a kind of a Perodicticus. sent5: that the plagioclase approbates walnut is not false if it is counterrevolutionary. sent6: the letter is a kind of a Colombian. sent7: if something that is not counterrevolutionary does not approbate Arminianism it does not cloy antiredeposition. sent8: the crotch approbates Arminianism. sent9: something cloys antiredeposition if it is diamantine. sent10: if the crotch approbates Arminianism then the letter is counterrevolutionary. sent11: if the crotch is diamantine the letter is not counterrevolutionary and it does not approbate Arminianism. ; $proof$ = 
sent10 & sent8 -> int1: the letter is counterrevolutionary.; int1 & sent1 -> int2: the letter is diamantine.; sent9 -> int3: the letter does cloy antiredeposition if it is diamantine.; int2 & int3 -> hypothesis; __DISPROVED__