the triggerfish knots ambulatory and/or it is mercuric.
sent1: the bascule penetrates. sent2: the bascule queues Strombus or it knots ambulatory or both. sent3: if the fact that the bascule is canonic is not false the triggerfish is not a Ball. sent4: if something is not spousal the fact that it is not a Ball and does queue manuscript is incorrect. sent5: the triggerfish does queue manuscript and/or it is canonic. sent6: that the bascule is not a kind of an allergy hold. sent7: the bascule does knot ambulatory. sent8: the bascule is not a kind of an antiviral. sent9: the sauce blinkers balboa and/or vomits. sent10: if that the triggerfish is not inaccurate is not incorrect it is a Ball and it does queue manuscript. sent11: something does knot ambulatory if it does queue manuscript and it is not a Ball. sent12: the triggerfish queues manuscript. sent13: The manuscript queues triggerfish. sent14: if the triggerfish is an allergy that is not a Ball it knots ambulatory. sent15: the bascule is a kind of non-spousal thing that is a pipe. sent16: the triggerfish does queue Willis and is not a creepy-crawly. sent17: if the bascule is not an allergy then it is canonic and it is inaccurate.
sent17 & sent6 -> int1: the bascule is canonic and is inaccurate.; int1 -> int2: the bascule is canonic.; int2 & sent3 -> int3: the triggerfish is not a kind of a Ball.; int3 & sent12 -> int4: the triggerfish does queue manuscript but it is not a kind of a Ball.; sent11 -> int5: the triggerfish does knot ambulatory if it does queue manuscript and it is not a Ball.; int4 & int5 -> int6: the triggerfish knots ambulatory.; int6 -> hypothesis;
that the triggerfish does knot ambulatory and/or it is mercuric does not hold.
sent4 -> int7: the fact that the bascule is not a kind of a Ball and queues manuscript is incorrect if it is not spousal.; sent15 -> int8: the bascule is not spousal.; int7 & int8 -> int9: the fact that the bascule is not a Ball and queues manuscript is not true.; int9 -> int10: there is something such that the fact that it is not a Ball and does queue manuscript does not hold.;
$hypothesis$ = the triggerfish knots ambulatory and/or it is mercuric. ; $context$ = sent1: the bascule penetrates. sent2: the bascule queues Strombus or it knots ambulatory or both. sent3: if the fact that the bascule is canonic is not false the triggerfish is not a Ball. sent4: if something is not spousal the fact that it is not a Ball and does queue manuscript is incorrect. sent5: the triggerfish does queue manuscript and/or it is canonic. sent6: that the bascule is not a kind of an allergy hold. sent7: the bascule does knot ambulatory. sent8: the bascule is not a kind of an antiviral. sent9: the sauce blinkers balboa and/or vomits. sent10: if that the triggerfish is not inaccurate is not incorrect it is a Ball and it does queue manuscript. sent11: something does knot ambulatory if it does queue manuscript and it is not a Ball. sent12: the triggerfish queues manuscript. sent13: The manuscript queues triggerfish. sent14: if the triggerfish is an allergy that is not a Ball it knots ambulatory. sent15: the bascule is a kind of non-spousal thing that is a pipe. sent16: the triggerfish does queue Willis and is not a creepy-crawly. sent17: if the bascule is not an allergy then it is canonic and it is inaccurate. ; $proof$ = 
sent17 & sent6 -> int1: the bascule is canonic and is inaccurate.; int1 -> int2: the bascule is canonic.; int2 & sent3 -> int3: the triggerfish is not a kind of a Ball.; int3 & sent12 -> int4: the triggerfish does queue manuscript but it is not a kind of a Ball.; sent11 -> int5: the triggerfish does knot ambulatory if it does queue manuscript and it is not a Ball.; int4 & int5 -> int6: the triggerfish knots ambulatory.; int6 -> hypothesis; __PROVED__