the fact that there is something such that if it does not jiggle Artamus and is an exchanger the fact that it is not offing hold is false.
sent1: if the pasteboard is not an exchanger and is synclinal it is not a carry. sent2: if the pasteboard does not digress but it jiggles solitaire it is not an exchanger. sent3: if a non-cercarial thing is a celibate it is not sympathetic. sent4: there exists something such that if it does not narrow Red and it is milch then it is not a kind of a sharpshooter. sent5: if something does not narrow gasfield and does misbelieve then it does not jiggle checkpoint. sent6: there exists something such that if it does not impersonate and does drag then it is not irreducible. sent7: the pasteboard is offing if it does not jiggle Artamus and it is a kind of an exchanger. sent8: there is something such that if it is not a larghetto but pineal then it does not jiggle subscriber. sent9: there is something such that if it is not Olympics and it stuffs oilfish it does not jiggle phenylalanine. sent10: there exists something such that if it jiggles Artamus and it is a kind of an exchanger it is not offing. sent11: if something that does not jiggle Artamus is an exchanger it is not offing. sent12: there is something such that if it does not pestle quarterstaff and it is top-down then it is not a platyrrhine. sent13: there is something such that if it does not jiggle Artamus and is a kind of an exchanger then it is offing. sent14: if something does not jiggle Artamus and is a kind of an exchanger then it is offing. sent15: if the pasteboard jiggles Artamus and it is an exchanger then it is not offing. sent16: something does not jiggle Artamus if it is both not a googolplex and a agaric. sent17: something is not offing if it jiggles Artamus and it is an exchanger.
sent11 -> int1: the pasteboard is not offing if it does not jiggle Artamus and is an exchanger.; int1 -> hypothesis;
the cockatoo does not jiggle Artamus if it is not a googolplex and it is a agaric.
sent16 -> hypothesis;
$hypothesis$ = the fact that there is something such that if it does not jiggle Artamus and is an exchanger the fact that it is not offing hold is false. ; $context$ = sent1: if the pasteboard is not an exchanger and is synclinal it is not a carry. sent2: if the pasteboard does not digress but it jiggles solitaire it is not an exchanger. sent3: if a non-cercarial thing is a celibate it is not sympathetic. sent4: there exists something such that if it does not narrow Red and it is milch then it is not a kind of a sharpshooter. sent5: if something does not narrow gasfield and does misbelieve then it does not jiggle checkpoint. sent6: there exists something such that if it does not impersonate and does drag then it is not irreducible. sent7: the pasteboard is offing if it does not jiggle Artamus and it is a kind of an exchanger. sent8: there is something such that if it is not a larghetto but pineal then it does not jiggle subscriber. sent9: there is something such that if it is not Olympics and it stuffs oilfish it does not jiggle phenylalanine. sent10: there exists something such that if it jiggles Artamus and it is a kind of an exchanger it is not offing. sent11: if something that does not jiggle Artamus is an exchanger it is not offing. sent12: there is something such that if it does not pestle quarterstaff and it is top-down then it is not a platyrrhine. sent13: there is something such that if it does not jiggle Artamus and is a kind of an exchanger then it is offing. sent14: if something does not jiggle Artamus and is a kind of an exchanger then it is offing. sent15: if the pasteboard jiggles Artamus and it is an exchanger then it is not offing. sent16: something does not jiggle Artamus if it is both not a googolplex and a agaric. sent17: something is not offing if it jiggles Artamus and it is an exchanger. ; $proof$ = 
sent11 -> int1: the pasteboard is not offing if it does not jiggle Artamus and is an exchanger.; int1 -> hypothesis; __DISPROVED__