the arquebus does rotate efficiency but it does not rotate roan.
sent1: the arquebus is not a kind of a pettiness. sent2: that the conquistador does not gear Bergen and is a kind of a anticholinergic is not right. sent3: the fact that the conquistador does not rotate efficiency and is not a anticholinergic is not true. sent4: the conquistador is not a anticholinergic. sent5: if something is not a stickpin then it rotates efficiency and does not rotate roan. sent6: that the conquistador is not a kind of a pettiness and does not rotate roan is not true if the fact that the arquebus does rotate efficiency hold. sent7: that the arquebus does not rotate efficiency and it does not gear Bergen is incorrect. sent8: if the arquebus is a kind of a stickpin the fact that the conquistador does not gear Bergen and is a anticholinergic is wrong. sent9: the grandfather is not anticholinergic. sent10: that the conquistador is a kind of a stickpin but it does not rotate efficiency is not right if the arquebus is a pettiness. sent11: the fact that the conquistador is a kind of a pettiness that does not gear Bergen is false if the arquebus is a anticholinergic. sent12: the conquistador does not gear Bergen and it is not anticholinergic if it is not a pettiness. sent13: if the fingernail is not a kind of a pettiness the conquistador does rotate roan and is a kind of a stickpin. sent14: the conquistador does gear Bergen but it is not a anticholinergic if it is not a stickpin. sent15: if the arquebus is not a stickpin it does not rotate roan. sent16: the fact that the arquebus is not cryogenics hold. sent17: the conquistador is not a pettiness. sent18: that the conquistador does not gear Bergen and is non-anticholinergic does not hold if the arquebus is a stickpin. sent19: if the arquebus is a pettiness then that the conquistador does not rotate roan and is not a stickpin is wrong. sent20: the fact that the oilman is not a pettiness hold.
void -> assump1: Let's assume that the arquebus is a stickpin.; sent18 & assump1 -> int1: the fact that the conquistador does not gear Bergen and it is not anticholinergic is not true.; sent12 & sent17 -> int2: the conquistador does not gear Bergen and it is not anticholinergic.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the arquebus is not a stickpin.; sent5 -> int5: if the fact that the arquebus is not a stickpin is not wrong then it rotates efficiency and it does not rotate roan.; int4 & int5 -> hypothesis;
the fact that the arquebus does rotate efficiency but it does not rotate roan is incorrect.
$hypothesis$ = the arquebus does rotate efficiency but it does not rotate roan. ; $context$ = sent1: the arquebus is not a kind of a pettiness. sent2: that the conquistador does not gear Bergen and is a kind of a anticholinergic is not right. sent3: the fact that the conquistador does not rotate efficiency and is not a anticholinergic is not true. sent4: the conquistador is not a anticholinergic. sent5: if something is not a stickpin then it rotates efficiency and does not rotate roan. sent6: that the conquistador is not a kind of a pettiness and does not rotate roan is not true if the fact that the arquebus does rotate efficiency hold. sent7: that the arquebus does not rotate efficiency and it does not gear Bergen is incorrect. sent8: if the arquebus is a kind of a stickpin the fact that the conquistador does not gear Bergen and is a anticholinergic is wrong. sent9: the grandfather is not anticholinergic. sent10: that the conquistador is a kind of a stickpin but it does not rotate efficiency is not right if the arquebus is a pettiness. sent11: the fact that the conquistador is a kind of a pettiness that does not gear Bergen is false if the arquebus is a anticholinergic. sent12: the conquistador does not gear Bergen and it is not anticholinergic if it is not a pettiness. sent13: if the fingernail is not a kind of a pettiness the conquistador does rotate roan and is a kind of a stickpin. sent14: the conquistador does gear Bergen but it is not a anticholinergic if it is not a stickpin. sent15: if the arquebus is not a stickpin it does not rotate roan. sent16: the fact that the arquebus is not cryogenics hold. sent17: the conquistador is not a pettiness. sent18: that the conquistador does not gear Bergen and is non-anticholinergic does not hold if the arquebus is a stickpin. sent19: if the arquebus is a pettiness then that the conquistador does not rotate roan and is not a stickpin is wrong. sent20: the fact that the oilman is not a pettiness hold. ; $proof$ = 
void -> assump1: Let's assume that the arquebus is a stickpin.; sent18 & assump1 -> int1: the fact that the conquistador does not gear Bergen and it is not anticholinergic is not true.; sent12 & sent17 -> int2: the conquistador does not gear Bergen and it is not anticholinergic.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the arquebus is not a stickpin.; sent5 -> int5: if the fact that the arquebus is not a stickpin is not wrong then it rotates efficiency and it does not rotate roan.; int4 & int5 -> hypothesis; __PROVED__