2021-01-14 08:07:24 +01:00
|
|
|
all x. ((boxer2 x) implies (dog x))
|
|
|
|
|
all x. ((boxer1 x) implies (person x))
|
|
|
|
|
all x. (not ((dog x) and (person x)))
|
|
|
|
|
all x. (not ((kitchen x) and (garden x)))
|
|
|
|
|
all x. ((kitchen x) implies (location x))
|
2020-12-25 21:00:04 +01:00
|
|
|
all x. ((garden x) implies (location x))
|
