the Lug segregates Bowie.
sent1: the fact that something does not dado REIT and/or it is horned is false if it is regenerate. sent2: the sloganeer strengthens if there is something such that it is not a kind of a trash and is not expansionist. sent3: if the fact that something does not dado REIT and/or it is not hornless is wrong it does not segregate Bowie. sent4: the Lug does not segregate Bowie if the fact that it dadoes REIT and/or it is not hornless is not right. sent5: if something is not uncleared the fact that the sloganeer strengthens and does trash does not hold. sent6: there is something such that the fact that it is not uncleared is not false. sent7: the pike is not expansionist if that the sloganeer does strengthen and does trash is not true. sent8: the Lug does regenerate and it is expansionist if the pike is not expansionist.
sent6 & sent5 -> int1: that the sloganeer does strengthen and it is a trash is not true.; int1 & sent7 -> int2: the pike is not expansionist.; int2 & sent8 -> int3: the Lug is not unregenerate and it is expansionist.; int3 -> int4: the Lug is regenerate.; sent1 -> int5: the fact that the Lug does not dado REIT and/or is not hornless does not hold if it regenerates.; int4 & int5 -> int6: the fact that the Lug does not dado REIT and/or it is not hornless is not right.; sent3 -> int7: the Lug does not segregate Bowie if the fact that it does not dado REIT or is not hornless or both does not hold.; int6 & int7 -> hypothesis;
that the Lug does segregate Bowie hold.
$hypothesis$ = the Lug segregates Bowie. ; $context$ = sent1: the fact that something does not dado REIT and/or it is horned is false if it is regenerate. sent2: the sloganeer strengthens if there is something such that it is not a kind of a trash and is not expansionist. sent3: if the fact that something does not dado REIT and/or it is not hornless is wrong it does not segregate Bowie. sent4: the Lug does not segregate Bowie if the fact that it dadoes REIT and/or it is not hornless is not right. sent5: if something is not uncleared the fact that the sloganeer strengthens and does trash does not hold. sent6: there is something such that the fact that it is not uncleared is not false. sent7: the pike is not expansionist if that the sloganeer does strengthen and does trash is not true. sent8: the Lug does regenerate and it is expansionist if the pike is not expansionist. ; $proof$ = 
sent6 & sent5 -> int1: that the sloganeer does strengthen and it is a trash is not true.; int1 & sent7 -> int2: the pike is not expansionist.; int2 & sent8 -> int3: the Lug is not unregenerate and it is expansionist.; int3 -> int4: the Lug is regenerate.; sent1 -> int5: the fact that the Lug does not dado REIT and/or is not hornless does not hold if it regenerates.; int4 & int5 -> int6: the fact that the Lug does not dado REIT and/or it is not hornless is not right.; sent3 -> int7: the Lug does not segregate Bowie if the fact that it does not dado REIT or is not hornless or both does not hold.; int6 & int7 -> hypothesis; __DISPROVED__