the vole is not a retrorocket.
sent1: the nitrocellulose is a retrorocket and it does lime dairying. sent2: the fact that the vole does not lime dairying but it is a rebate does not hold. sent3: the fact that the vole does term Microcentrum is right. sent4: if the vole does term Microcentrum then it does jab. sent5: The fact that the Microcentrum does term vole is right. sent6: the vole is unsupportive if that it is not a Chartist hold. sent7: the breeze is not unsupportive. sent8: if that something is a kind of non-explicit thing that is not a neurotransmitter is incorrect that it is a neurotransmitter is correct. sent9: the fact that the tarpan is not explicit and not a neurotransmitter is false. sent10: if something is a retrorocket then the tarpan is not a kind of a rebate but it is unsupportive. sent11: the vole is not a neurotransmitter if the tarpan is not a kind of a rebate and is unsupportive. sent12: if something is not a neurotransmitter then the crutch is not a jab. sent13: if that something does not lime dairying and does rebate is false it is not a rebate. sent14: something that is unsupportive thing that is not a rebate is a kind of a retrorocket. sent15: the tarpan is not a neurotransmitter if the vole is a Chartist and it is a jab.
sent4 & sent3 -> int1: the vole is a jab.; void -> assump1: Let's assume that the vole is a Chartist.; int1 & assump1 -> int2: the vole is a Chartist and it does jab.; int2 & sent15 -> int3: the tarpan is not a kind of a neurotransmitter.; sent8 -> int4: if that that the tarpan is not explicit and it is not a kind of a neurotransmitter does not hold is not wrong it is a neurotransmitter.; int4 & sent9 -> int5: the tarpan is a neurotransmitter.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the vole is not a Chartist.; int7 & sent6 -> int8: the vole is unsupportive.; sent13 -> int9: the vole is not a rebate if the fact that it does not lime dairying and it is a rebate is false.; int9 & sent2 -> int10: the vole is not a rebate.; int8 & int10 -> int11: the vole is unsupportive but it does not rebate.; sent14 -> int12: if the vole is unsupportive and is not a rebate it is a retrorocket.; int11 & int12 -> hypothesis;
the crutch is a Chartist.
sent1 -> int13: the nitrocellulose is a kind of a retrorocket.; int13 -> int14: something is a retrorocket.; int14 & sent10 -> int15: the tarpan does not rebate but it is unsupportive.; sent11 & int15 -> int16: the vole is not a neurotransmitter.; int16 -> int17: there is something such that it is not a kind of a neurotransmitter.; int17 & sent12 -> int18: the crutch does not jab.; int18 -> int19: either the crutch does term Microcentrum or it is not a kind of a jab or both.;
$hypothesis$ = the vole is not a retrorocket. ; $context$ = sent1: the nitrocellulose is a retrorocket and it does lime dairying. sent2: the fact that the vole does not lime dairying but it is a rebate does not hold. sent3: the fact that the vole does term Microcentrum is right. sent4: if the vole does term Microcentrum then it does jab. sent5: The fact that the Microcentrum does term vole is right. sent6: the vole is unsupportive if that it is not a Chartist hold. sent7: the breeze is not unsupportive. sent8: if that something is a kind of non-explicit thing that is not a neurotransmitter is incorrect that it is a neurotransmitter is correct. sent9: the fact that the tarpan is not explicit and not a neurotransmitter is false. sent10: if something is a retrorocket then the tarpan is not a kind of a rebate but it is unsupportive. sent11: the vole is not a neurotransmitter if the tarpan is not a kind of a rebate and is unsupportive. sent12: if something is not a neurotransmitter then the crutch is not a jab. sent13: if that something does not lime dairying and does rebate is false it is not a rebate. sent14: something that is unsupportive thing that is not a rebate is a kind of a retrorocket. sent15: the tarpan is not a neurotransmitter if the vole is a Chartist and it is a jab. ; $proof$ = 
sent4 & sent3 -> int1: the vole is a jab.; void -> assump1: Let's assume that the vole is a Chartist.; int1 & assump1 -> int2: the vole is a Chartist and it does jab.; int2 & sent15 -> int3: the tarpan is not a kind of a neurotransmitter.; sent8 -> int4: if that that the tarpan is not explicit and it is not a kind of a neurotransmitter does not hold is not wrong it is a neurotransmitter.; int4 & sent9 -> int5: the tarpan is a neurotransmitter.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the vole is not a Chartist.; int7 & sent6 -> int8: the vole is unsupportive.; sent13 -> int9: the vole is not a rebate if the fact that it does not lime dairying and it is a rebate is false.; int9 & sent2 -> int10: the vole is not a rebate.; int8 & int10 -> int11: the vole is unsupportive but it does not rebate.; sent14 -> int12: if the vole is unsupportive and is not a rebate it is a retrorocket.; int11 & int12 -> hypothesis; __DISPROVED__