the fact that the half-mast is a kind of patellar thing that does not unbutton chapter is incorrect.
sent1: the fact that the fact that the gargoyle does tusk protocol and it is a metalwork is wrong is correct if the Phoenician is not a carbonyl. sent2: the gargoyle is not a mixed-blood if that it is not a kind of a phytotherapy and it is seminal does not hold. sent3: the fact that that the half-mast is patellar but it does not unbutton chapter is correct is false if the saprolite is not patellar. sent4: something is not patellar if it is a mixed-blood. sent5: that the gargoyle is both not a phytotherapy and seminal is not true. sent6: that something is both cerous and a isogamy is not false. sent7: the Phoenician does eject but it is not a kind of a croak. sent8: the fact that the saprolite is not an afterthought but it is a kind of a mixed-blood is incorrect. sent9: that the saprolite is not a kind of an afterthought and is not a mixed-blood is false if the catboat is not a Sabaoth. sent10: if something is a metalwork the fact that it is a kind of non-carbonyl a Sabaoth is false. sent11: the fact that the half-mast is a metalwork is true if it does not tusk protocol and is not a Sabaoth. sent12: if there is something such that the fact that it does tusk protocol and it is a metalwork is false then the catboat is not a Sabaoth. sent13: if the fact that something is not an afterthought and is not a mixed-blood does not hold it is not patellar. sent14: the fact that the Phoenician is not carbonyl if the Phoenician does eject but it does not croak hold. sent15: if the Phoenician is not a kind of an afterthought that it is a carbonyl and it unbuttons chapter is not true. sent16: something is patellar if it is a metalwork.
sent14 & sent7 -> int1: the Phoenician is not a carbonyl.; int1 & sent1 -> int2: that the gargoyle does tusk protocol and it is a metalwork is false.; int2 -> int3: there exists something such that the fact that it does tusk protocol and it is a metalwork is wrong.; int3 & sent12 -> int4: the catboat is not a Sabaoth.; int4 & sent9 -> int5: the fact that the saprolite is not an afterthought and it is not a mixed-blood is false.; sent13 -> int6: the saprolite is not patellar if that it is not an afterthought and not a mixed-blood is not true.; int5 & int6 -> int7: the saprolite is not patellar.; int7 & sent3 -> hypothesis;
the saprolite is not a Sabaoth.
sent10 -> int8: if the Phoenician is a kind of a metalwork then the fact that the fact that it is not a carbonyl and it is a Sabaoth hold is incorrect.;
$hypothesis$ = the fact that the half-mast is a kind of patellar thing that does not unbutton chapter is incorrect. ; $context$ = sent1: the fact that the fact that the gargoyle does tusk protocol and it is a metalwork is wrong is correct if the Phoenician is not a carbonyl. sent2: the gargoyle is not a mixed-blood if that it is not a kind of a phytotherapy and it is seminal does not hold. sent3: the fact that that the half-mast is patellar but it does not unbutton chapter is correct is false if the saprolite is not patellar. sent4: something is not patellar if it is a mixed-blood. sent5: that the gargoyle is both not a phytotherapy and seminal is not true. sent6: that something is both cerous and a isogamy is not false. sent7: the Phoenician does eject but it is not a kind of a croak. sent8: the fact that the saprolite is not an afterthought but it is a kind of a mixed-blood is incorrect. sent9: that the saprolite is not a kind of an afterthought and is not a mixed-blood is false if the catboat is not a Sabaoth. sent10: if something is a metalwork the fact that it is a kind of non-carbonyl a Sabaoth is false. sent11: the fact that the half-mast is a metalwork is true if it does not tusk protocol and is not a Sabaoth. sent12: if there is something such that the fact that it does tusk protocol and it is a metalwork is false then the catboat is not a Sabaoth. sent13: if the fact that something is not an afterthought and is not a mixed-blood does not hold it is not patellar. sent14: the fact that the Phoenician is not carbonyl if the Phoenician does eject but it does not croak hold. sent15: if the Phoenician is not a kind of an afterthought that it is a carbonyl and it unbuttons chapter is not true. sent16: something is patellar if it is a metalwork. ; $proof$ = 
sent14 & sent7 -> int1: the Phoenician is not a carbonyl.; int1 & sent1 -> int2: that the gargoyle does tusk protocol and it is a metalwork is false.; int2 -> int3: there exists something such that the fact that it does tusk protocol and it is a metalwork is wrong.; int3 & sent12 -> int4: the catboat is not a Sabaoth.; int4 & sent9 -> int5: the fact that the saprolite is not an afterthought and it is not a mixed-blood is false.; sent13 -> int6: the saprolite is not patellar if that it is not an afterthought and not a mixed-blood is not true.; int5 & int6 -> int7: the saprolite is not patellar.; int7 & sent3 -> hypothesis; __PROVED__