the barilla boasts.
sent1: the barilla is a kind of a biliousness if it is a Sporozoa. sent2: if the slammer does not clank cupbearer or does not jockey tinsel or both then the electric is a kind of a jingle. sent3: if something is a biliousness it is echoic. sent4: something does not jockey tinsel if it is a jingle. sent5: that the westerly is both not statutory and algebraic is not right if the b-meson is not a bar. sent6: if something is a kind of a biliousness it is a Sporozoa. sent7: the fact that if the electric is echoic the barilla is not a biliousness but it is a jingle is right. sent8: the b-meson is not a bar. sent9: if something is a kind of a Sporozoa then the fact that it does jingle hold. sent10: if the slammer clanks cupbearer the westerly is not statutory and is algebraic. sent11: the westerly is not statutory. sent12: the watchman is echoic thing that is a biliousness. sent13: something boasts if the fact that it is echoic is not false. sent14: something does bar and it does clank cupbearer if it does not jockey tinsel.
void -> assump1: Let's assume that the slammer clanks cupbearer.; sent10 & assump1 -> int1: the westerly is non-statutory thing that is algebraic.; sent5 & sent8 -> int2: that the westerly is not statutory but it is not non-algebraic is wrong.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the slammer does not clank cupbearer.; int4 -> int5: either the slammer does not clank cupbearer or it does not jockey tinsel or both.; int5 & sent2 -> int6: the electric does jingle.; sent3 -> int7: if the fact that the barilla is a biliousness hold then it is echoic.; sent13 -> int8: the barilla boasts if it is echoic.;
the watchman is a kind of a bar.
sent14 -> int9: the watchman is a bar and clanks cupbearer if it does not jockey tinsel.; sent4 -> int10: if the watchman is a jingle it does not jockey tinsel.; sent9 -> int11: if the watchman is a Sporozoa it is a jingle.; sent6 -> int12: the watchman is a Sporozoa if it is a kind of a biliousness.; sent12 -> int13: that the watchman is a biliousness hold.; int12 & int13 -> int14: the watchman is a Sporozoa.; int11 & int14 -> int15: the watchman jingles.; int10 & int15 -> int16: the watchman does not jockey tinsel.; int9 & int16 -> int17: the watchman is a bar that does clank cupbearer.; int17 -> hypothesis;
$hypothesis$ = the barilla boasts. ; $context$ = sent1: the barilla is a kind of a biliousness if it is a Sporozoa. sent2: if the slammer does not clank cupbearer or does not jockey tinsel or both then the electric is a kind of a jingle. sent3: if something is a biliousness it is echoic. sent4: something does not jockey tinsel if it is a jingle. sent5: that the westerly is both not statutory and algebraic is not right if the b-meson is not a bar. sent6: if something is a kind of a biliousness it is a Sporozoa. sent7: the fact that if the electric is echoic the barilla is not a biliousness but it is a jingle is right. sent8: the b-meson is not a bar. sent9: if something is a kind of a Sporozoa then the fact that it does jingle hold. sent10: if the slammer clanks cupbearer the westerly is not statutory and is algebraic. sent11: the westerly is not statutory. sent12: the watchman is echoic thing that is a biliousness. sent13: something boasts if the fact that it is echoic is not false. sent14: something does bar and it does clank cupbearer if it does not jockey tinsel. ; $proof$ = 
void -> assump1: Let's assume that the slammer clanks cupbearer.; sent10 & assump1 -> int1: the westerly is non-statutory thing that is algebraic.; sent5 & sent8 -> int2: that the westerly is not statutory but it is not non-algebraic is wrong.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the slammer does not clank cupbearer.; int4 -> int5: either the slammer does not clank cupbearer or it does not jockey tinsel or both.; int5 & sent2 -> int6: the electric does jingle.; sent3 -> int7: if the fact that the barilla is a biliousness hold then it is echoic.; sent13 -> int8: the barilla boasts if it is echoic.; __UNKNOWN__