the tyrocidine singles SEC and is a gripe.
sent1: there is something such that it does swap hurdle. sent2: the tyrocidine singles SEC if there is something such that that it is billiard thing that is croupy does not hold. sent3: if the gannet does not swap assignor then the fact that it is a kind of billiard thing that is croupy is not right. sent4: the tyrocidine does bead and is a bulbed. sent5: the poseur is not a kind of a gripe if that the gannet does swap hurdle and it is a launch is true. sent6: there is something such that it does gripe. sent7: that the fact that the gannet is not croupy and does not swap hurdle is false hold if it swaps assignor. sent8: if the tyrocidine beads then it gripes. sent9: if there is something such that it does swap hurdle either the poseur is not a launch or it does swap put-put or both. sent10: if the poseur does not launch or it does swap put-put or both the gannet does not swap assignor.
sent1 & sent9 -> int1: the poseur does not launch and/or it does swap put-put.; int1 & sent10 -> int2: the gannet does not swap assignor.; int2 & sent3 -> int3: that the gannet is a kind of billiard thing that is croupy is incorrect.; int3 -> int4: there exists something such that that it is billiard and croupy does not hold.; int4 & sent2 -> int5: the tyrocidine singles SEC.; sent4 -> int6: the fact that the tyrocidine is a beads is true.; sent8 & int6 -> int7: the tyrocidine is a gripe.; int5 & int7 -> hypothesis;
that the tyrocidine singles SEC and it gripes is not correct.
$hypothesis$ = the tyrocidine singles SEC and is a gripe. ; $context$ = sent1: there is something such that it does swap hurdle. sent2: the tyrocidine singles SEC if there is something such that that it is billiard thing that is croupy does not hold. sent3: if the gannet does not swap assignor then the fact that it is a kind of billiard thing that is croupy is not right. sent4: the tyrocidine does bead and is a bulbed. sent5: the poseur is not a kind of a gripe if that the gannet does swap hurdle and it is a launch is true. sent6: there is something such that it does gripe. sent7: that the fact that the gannet is not croupy and does not swap hurdle is false hold if it swaps assignor. sent8: if the tyrocidine beads then it gripes. sent9: if there is something such that it does swap hurdle either the poseur is not a launch or it does swap put-put or both. sent10: if the poseur does not launch or it does swap put-put or both the gannet does not swap assignor. ; $proof$ = 
sent1 & sent9 -> int1: the poseur does not launch and/or it does swap put-put.; int1 & sent10 -> int2: the gannet does not swap assignor.; int2 & sent3 -> int3: that the gannet is a kind of billiard thing that is croupy is incorrect.; int3 -> int4: there exists something such that that it is billiard and croupy does not hold.; int4 & sent2 -> int5: the tyrocidine singles SEC.; sent4 -> int6: the fact that the tyrocidine is a beads is true.; sent8 & int6 -> int7: the tyrocidine is a gripe.; int5 & int7 -> hypothesis; __PROVED__