Customers who prefer TV series more and will not watch TV series in cinemas. #8
Description
number 107 of all propositions 'Customers who prefer TV series more and will not watch TV series in cinemas.' is mislabeled. Should be 'Customers who prefer TV series more will not watch TV series in cinemas.' if premises-FOL is
∀x (PreferTVSeries(x) → ¬WatchTVInCinema(x))