Trying to map natural language statements to formal logic doesn't work well, unless you make a ton of assumptions as you have here...and then it still doesn't work well.