the pendulum does not misdirect.
sent1: if the college does not rekindle Hudson and is not a kind of a bilby the piperin is not a cornhusking. sent2: if the piperin does alibi intrusiveness and it is anthracitic the college is not a cornhusking. sent3: the piperin is a bilby. sent4: the piperin is a cornhusking. sent5: the fact that that something does not strain treasurer and it is not urogenital hold is wrong if it is a liter. sent6: if the crossbar is not a parfait the needleworker is a kind of a parfait and alibis intrusiveness. sent7: the pendulum is not a kind of a cornhusking if the piperin does not misdirect but it is anthracitic. sent8: if something is not a cornhusking then the fact that it is not a parfait and it misdirects is not correct. sent9: everything is a liter. sent10: if the fact that the college does not rekindle Hudson and is not a kind of a bilby is false then the crossbar is not a parfait. sent11: the fact that the pendulum is a parfait and is not anthracitic is not true. sent12: if the pendulum does not alibi intrusiveness then that the needleworker is anthracitic hold. sent13: the college is anthracitic if the pendulum rekindles Hudson. sent14: if the needleworker is a kind of a parfait the pendulum is anthracitic. sent15: the piperin is anthracitic if there is something such that the fact that it does not strain treasurer and it is not urogenital is not right. sent16: if the fact that the college does not alibi intrusiveness is correct then the needleworker rekindles Hudson. sent17: if the pendulum is anthracitic it misdirects. sent18: if the crossbar does alibi intrusiveness then the piperin alibi intrusiveness. sent19: the crossbar does alibi intrusiveness and does rekindle shortstop.
void -> assump1: Let's assume that the college does not rekindle Hudson and is not a kind of a bilby.; sent1 & assump1 -> int1: the piperin is not a cornhusking.; int1 & sent4 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the college does not rekindle Hudson and is not a bilby is incorrect.; int3 & sent10 -> int4: the fact that the crossbar is not a parfait is not wrong.; int4 & sent6 -> int5: the needleworker is a parfait that does alibi intrusiveness.; int5 -> int6: the needleworker is a kind of a parfait.; int6 & sent14 -> int7: the pendulum is anthracitic.; int7 & sent17 -> hypothesis;
the pendulum does not misdirect.
sent5 -> int8: if the sultan is a liter the fact that it does not strain treasurer and is not urogenital is not right.; sent9 -> int9: the sultan is a liter.; int8 & int9 -> int10: that the sultan does not strain treasurer and it is not urogenital does not hold.; int10 -> int11: there exists nothing such that it does not strain treasurer and is not urogenital.; int11 -> int12: the fact that the needleworker does not strain treasurer and it is not urogenital does not hold.; int12 -> int13: there exists something such that the fact that that it does not strain treasurer and is non-urogenital is right does not hold.; sent15 & int13 -> int14: the piperin is anthracitic.; sent19 -> int15: that the crossbar alibis intrusiveness is not incorrect.; sent18 & int15 -> int16: the piperin alibis intrusiveness.; int14 & int16 -> int17: the piperin alibis intrusiveness and it is anthracitic.; sent2 & int17 -> int18: the college is not a kind of a cornhusking.; sent8 -> int19: the fact that the college is not a kind of a parfait but it misdirects is not correct if it is not a cornhusking.; int18 & int19 -> int20: that the college is not a parfait and misdirects is wrong.; int20 -> int21: there exists something such that that it is not a parfait and does misdirect does not hold.;
$hypothesis$ = the pendulum does not misdirect. ; $context$ = sent1: if the college does not rekindle Hudson and is not a kind of a bilby the piperin is not a cornhusking. sent2: if the piperin does alibi intrusiveness and it is anthracitic the college is not a cornhusking. sent3: the piperin is a bilby. sent4: the piperin is a cornhusking. sent5: the fact that that something does not strain treasurer and it is not urogenital hold is wrong if it is a liter. sent6: if the crossbar is not a parfait the needleworker is a kind of a parfait and alibis intrusiveness. sent7: the pendulum is not a kind of a cornhusking if the piperin does not misdirect but it is anthracitic. sent8: if something is not a cornhusking then the fact that it is not a parfait and it misdirects is not correct. sent9: everything is a liter. sent10: if the fact that the college does not rekindle Hudson and is not a kind of a bilby is false then the crossbar is not a parfait. sent11: the fact that the pendulum is a parfait and is not anthracitic is not true. sent12: if the pendulum does not alibi intrusiveness then that the needleworker is anthracitic hold. sent13: the college is anthracitic if the pendulum rekindles Hudson. sent14: if the needleworker is a kind of a parfait the pendulum is anthracitic. sent15: the piperin is anthracitic if there is something such that the fact that it does not strain treasurer and it is not urogenital is not right. sent16: if the fact that the college does not alibi intrusiveness is correct then the needleworker rekindles Hudson. sent17: if the pendulum is anthracitic it misdirects. sent18: if the crossbar does alibi intrusiveness then the piperin alibi intrusiveness. sent19: the crossbar does alibi intrusiveness and does rekindle shortstop. ; $proof$ = 
void -> assump1: Let's assume that the college does not rekindle Hudson and is not a kind of a bilby.; sent1 & assump1 -> int1: the piperin is not a cornhusking.; int1 & sent4 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the college does not rekindle Hudson and is not a bilby is incorrect.; int3 & sent10 -> int4: the fact that the crossbar is not a parfait is not wrong.; int4 & sent6 -> int5: the needleworker is a parfait that does alibi intrusiveness.; int5 -> int6: the needleworker is a kind of a parfait.; int6 & sent14 -> int7: the pendulum is anthracitic.; int7 & sent17 -> hypothesis; __DISPROVED__