the byway is not a kind of a polybutylene.
sent1: the byway endorses if the satinet is a squib. sent2: something is both not overhead and a fun if it is not a kind of a ossicle. sent3: if the fact that something is a squib and it does incriminate macromolecule is incorrect it is not a dower. sent4: the domain is a fun. sent5: the domain is a fun if the byway is not a dower. sent6: if something endorses but it is not a mutter then it is not a kind of a ossicle. sent7: if the byway is not a dower the domain is a kind of a fun that is not a kind of a ossicle. sent8: the satinet endorses if the skid does endorses. sent9: either the skid endorses or it is a kind of a mutter or both. sent10: something is a polybutylene if it is an overhead. sent11: that something is a kind of a squib and incriminates macromolecule does not hold if it is not an overhead. sent12: if the byway is not a kind of a squib then it is not a kind of a dower. sent13: if something is not a squib then it is not a kind of a dower. sent14: the satinet endorses if the skid is a kind of a mutter. sent15: the byway does endorse or is a polybutylene or both. sent16: if the satinet is non-overhead thing that is a fun the domain is not a polybutylene. sent17: if that something incriminates macromolecule and it is a fun is wrong it is not overhead. sent18: the satinet does not endorse if the domain is a fun that is not a ossicle.
sent11 -> int1: if the byway is not an overhead then that it is a squib and does incriminate macromolecule does not hold.; void -> assump1: Let's assume that the byway is not an overhead.; int1 & assump1 -> int2: that the fact that the byway is a squib and it incriminates macromolecule is false is true.; sent3 -> int3: if the fact that the byway is a kind of a squib and it incriminates macromolecule is not right then it is not a kind of a dower.; int2 & int3 -> int4: the byway is not a dower.; int4 & sent7 -> int5: the domain is a kind of a fun but it is not a ossicle.; int5 & sent18 -> int6: the satinet does not endorse.; sent9 & sent8 & sent14 -> int7: the satinet does endorse.; int6 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the byway is overhead.; sent10 -> int10: the byway is a polybutylene if that it is a kind of an overhead is correct.; int9 & int10 -> hypothesis;
the byway is not a polybutylene.
sent2 -> int11: the satinet is not overhead but it is a kind of a fun if it is not a kind of a ossicle.; sent6 -> int12: if the satinet does endorse but it is not a mutter then that it is not a kind of a ossicle is not incorrect.;
$hypothesis$ = the byway is not a kind of a polybutylene. ; $context$ = sent1: the byway endorses if the satinet is a squib. sent2: something is both not overhead and a fun if it is not a kind of a ossicle. sent3: if the fact that something is a squib and it does incriminate macromolecule is incorrect it is not a dower. sent4: the domain is a fun. sent5: the domain is a fun if the byway is not a dower. sent6: if something endorses but it is not a mutter then it is not a kind of a ossicle. sent7: if the byway is not a dower the domain is a kind of a fun that is not a kind of a ossicle. sent8: the satinet endorses if the skid does endorses. sent9: either the skid endorses or it is a kind of a mutter or both. sent10: something is a polybutylene if it is an overhead. sent11: that something is a kind of a squib and incriminates macromolecule does not hold if it is not an overhead. sent12: if the byway is not a kind of a squib then it is not a kind of a dower. sent13: if something is not a squib then it is not a kind of a dower. sent14: the satinet endorses if the skid is a kind of a mutter. sent15: the byway does endorse or is a polybutylene or both. sent16: if the satinet is non-overhead thing that is a fun the domain is not a polybutylene. sent17: if that something incriminates macromolecule and it is a fun is wrong it is not overhead. sent18: the satinet does not endorse if the domain is a fun that is not a ossicle. ; $proof$ = 
sent11 -> int1: if the byway is not an overhead then that it is a squib and does incriminate macromolecule does not hold.; void -> assump1: Let's assume that the byway is not an overhead.; int1 & assump1 -> int2: that the fact that the byway is a squib and it incriminates macromolecule is false is true.; sent3 -> int3: if the fact that the byway is a kind of a squib and it incriminates macromolecule is not right then it is not a kind of a dower.; int2 & int3 -> int4: the byway is not a dower.; int4 & sent7 -> int5: the domain is a kind of a fun but it is not a ossicle.; int5 & sent18 -> int6: the satinet does not endorse.; sent9 & sent8 & sent14 -> int7: the satinet does endorse.; int6 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the byway is overhead.; sent10 -> int10: the byway is a polybutylene if that it is a kind of an overhead is correct.; int9 & int10 -> hypothesis; __DISPROVED__