the bough cranks fulsomeness and is not a kind of a retention.
sent1: the arbor is enteric and it cranks fulsomeness if it does not fool burgundy. sent2: the arbor is a static if something that is not a retention hunts. sent3: the tollgate cranks cowage. sent4: the truncheon is seminiferous. sent5: the truncheon is not a Georgian and it is not correlational. sent6: the truncheon is not correlational. sent7: something cranks chevre if it does not fool burgundy and it does not crank cowage. sent8: the arbor does not fool burgundy if the truncheon is not correlational and/or is Georgian. sent9: something is Georgian if it does not superannuate and is not a retention. sent10: the bough cranks fulsomeness and it does fool burgundy. sent11: if the bough is not a hunt then it does not crank cowage. sent12: if something that does not superannuate does crank cowage then it is enteric. sent13: the truncheon unites. sent14: something is not a retention and is a hunt if it cranks chevre. sent15: the fact that the endosteum is not a retention does not hold. sent16: if the bough is not a kind of a hunt then it does not superannuate and does not crank cowage. sent17: the fact that the gannet is not enteric but it does hunt is false if it does crank chevre. sent18: if that the truncheon is a kind of non-Georgian thing that is not correlational is not incorrect then it cranks chevre. sent19: the bough does not hunt. sent20: if something does not superannuate and it does not crank cowage it is enteric.
sent16 & sent19 -> int1: the bough does not superannuate and does not crank cowage.; sent20 -> int2: if the bough does not superannuate and it does not crank cowage it is enteric.; int1 & int2 -> int3: the bough is not non-enteric.; void -> assump1: Let's assume that the bough is a retention.; int3 & assump1 -> int4: the fact that the bough is enteric and it is a kind of a retention is correct.; sent18 & sent5 -> int5: the truncheon cranks chevre.; sent10 -> int6: the bough cranks fulsomeness.;
the arbor is static and enteric.
sent14 -> int7: if the bough does crank chevre then it is not a retention and it is a hunt.;
$hypothesis$ = the bough cranks fulsomeness and is not a kind of a retention. ; $context$ = sent1: the arbor is enteric and it cranks fulsomeness if it does not fool burgundy. sent2: the arbor is a static if something that is not a retention hunts. sent3: the tollgate cranks cowage. sent4: the truncheon is seminiferous. sent5: the truncheon is not a Georgian and it is not correlational. sent6: the truncheon is not correlational. sent7: something cranks chevre if it does not fool burgundy and it does not crank cowage. sent8: the arbor does not fool burgundy if the truncheon is not correlational and/or is Georgian. sent9: something is Georgian if it does not superannuate and is not a retention. sent10: the bough cranks fulsomeness and it does fool burgundy. sent11: if the bough is not a hunt then it does not crank cowage. sent12: if something that does not superannuate does crank cowage then it is enteric. sent13: the truncheon unites. sent14: something is not a retention and is a hunt if it cranks chevre. sent15: the fact that the endosteum is not a retention does not hold. sent16: if the bough is not a kind of a hunt then it does not superannuate and does not crank cowage. sent17: the fact that the gannet is not enteric but it does hunt is false if it does crank chevre. sent18: if that the truncheon is a kind of non-Georgian thing that is not correlational is not incorrect then it cranks chevre. sent19: the bough does not hunt. sent20: if something does not superannuate and it does not crank cowage it is enteric. ; $proof$ = 
sent16 & sent19 -> int1: the bough does not superannuate and does not crank cowage.; sent20 -> int2: if the bough does not superannuate and it does not crank cowage it is enteric.; int1 & int2 -> int3: the bough is not non-enteric.; void -> assump1: Let's assume that the bough is a retention.; int3 & assump1 -> int4: the fact that the bough is enteric and it is a kind of a retention is correct.; sent18 & sent5 -> int5: the truncheon cranks chevre.; sent10 -> int6: the bough cranks fulsomeness.; __UNKNOWN__