the GB does not stagger and it is not lunar.
sent1: if there exists something such that the fact that it is not a synonymy and it is a pneumococcus is false the lobsterman is not a pneumococcus. sent2: the borage does not stagger. sent3: if the GB is carnal then the fact that the icicle does not supple Timgad and/or is a sass is false. sent4: that the ischium is both not a synonymy and a pneumococcus is false if it swims SAS. sent5: if the fact that either something does not supple Timgad or it sasses or both does not hold then it is neonatal. sent6: the earthstar does not pair lapidary if that the lobsterman does pair lapidary and does not swim jaguar is not correct. sent7: that the fact that the Tahitian is not carnal and it is not neonatal is not false is wrong if the earthstar does not pair lapidary. sent8: the fact that the icicle is not a pneumococcus but it is neonatal is incorrect. sent9: the icicle is not a sass. sent10: the GB is not lunar. sent11: something does not stagger if that it does not pair lapidary is not wrong. sent12: the icicle is not a sass if the GB is carnal. sent13: the ischium swims SAS. sent14: something is Augustan if that it is not testicular or a Babyrousa or both is wrong. sent15: that something is non-carnal and/or it is not non-psychiatric is wrong if it is neonatal. sent16: if the fact that the icicle is not a pneumococcus but it is not non-neonatal is wrong then it is non-neonatal. sent17: that something does pair lapidary and does not swim jaguar does not hold if it is not a pneumococcus.
void -> assump1: Let's assume that the GB is carnal.; sent3 & assump1 -> int1: the fact that the icicle does not supple Timgad or it is a sass or both is not true.; sent5 -> int2: if that the icicle does not supple Timgad or it is a kind of a sass or both does not hold it is neonatal.; int1 & int2 -> int3: the icicle is neonatal.; sent16 & sent8 -> int4: the icicle is not neonatal.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the GB is not carnal.; sent11 -> int7: the fact that the GB does not stagger hold if it does not pair lapidary.;
the fact that the GB does not stagger and it is not lunar is wrong.
sent17 -> int8: if the lobsterman is not a pneumococcus then that that it does pair lapidary and it does not swim jaguar is not incorrect is not correct.; sent4 & sent13 -> int9: that the ischium is not a synonymy but it is a pneumococcus is not correct.; int9 -> int10: there is something such that the fact that it is not a kind of a synonymy and is a pneumococcus is not true.; int10 & sent1 -> int11: the lobsterman is not a pneumococcus.; int8 & int11 -> int12: the fact that the lobsterman pairs lapidary but it does not swim jaguar does not hold.; sent6 & int12 -> int13: the earthstar does not pair lapidary.; sent7 & int13 -> int14: that the Tahitian is not carnal and it is not neonatal is false.; int14 -> int15: there is something such that that it is not carnal and not neonatal does not hold.;
$hypothesis$ = the GB does not stagger and it is not lunar. ; $context$ = sent1: if there exists something such that the fact that it is not a synonymy and it is a pneumococcus is false the lobsterman is not a pneumococcus. sent2: the borage does not stagger. sent3: if the GB is carnal then the fact that the icicle does not supple Timgad and/or is a sass is false. sent4: that the ischium is both not a synonymy and a pneumococcus is false if it swims SAS. sent5: if the fact that either something does not supple Timgad or it sasses or both does not hold then it is neonatal. sent6: the earthstar does not pair lapidary if that the lobsterman does pair lapidary and does not swim jaguar is not correct. sent7: that the fact that the Tahitian is not carnal and it is not neonatal is not false is wrong if the earthstar does not pair lapidary. sent8: the fact that the icicle is not a pneumococcus but it is neonatal is incorrect. sent9: the icicle is not a sass. sent10: the GB is not lunar. sent11: something does not stagger if that it does not pair lapidary is not wrong. sent12: the icicle is not a sass if the GB is carnal. sent13: the ischium swims SAS. sent14: something is Augustan if that it is not testicular or a Babyrousa or both is wrong. sent15: that something is non-carnal and/or it is not non-psychiatric is wrong if it is neonatal. sent16: if the fact that the icicle is not a pneumococcus but it is not non-neonatal is wrong then it is non-neonatal. sent17: that something does pair lapidary and does not swim jaguar does not hold if it is not a pneumococcus. ; $proof$ = 
void -> assump1: Let's assume that the GB is carnal.; sent3 & assump1 -> int1: the fact that the icicle does not supple Timgad or it is a sass or both is not true.; sent5 -> int2: if that the icicle does not supple Timgad or it is a kind of a sass or both does not hold it is neonatal.; int1 & int2 -> int3: the icicle is neonatal.; sent16 & sent8 -> int4: the icicle is not neonatal.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the GB is not carnal.; sent11 -> int7: the fact that the GB does not stagger hold if it does not pair lapidary.; __UNKNOWN__