The cow eats the lion. The cow likes the rabbit. The lion eats the cow. The lion eats the rabbit. The lion sees the cow. The rabbit eats the lion. The rabbit eats the tiger. The rabbit is rough. The rabbit sees the cow. The tiger eats the rabbit. The tiger likes the cow. The tiger likes the rabbit. The tiger sees the cow. The tiger sees the lion. The tiger sees the rabbit. If something likes the lion and it does not like the cow then the cow does not eat the lion. If the cow likes the tiger then the cow does not eat the tiger. If something is young and not round then it sees the tiger.
The cow eats the lion.
("cow" "eats" "lion" "+")
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
The lion eats the cow.
("lion" "eats" "cow" "+")
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
The lion sees the cow.
("lion" "sees" "cow" "+")
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit sees the cow.
("rabbit" "sees" "cow" "+")
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
The tiger likes the cow.
("tiger" "likes" "cow" "+")
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
The tiger sees the cow.
("tiger" "sees" "cow" "+")
The tiger sees the lion.
("tiger" "sees" "lion" "+")
The tiger sees the rabbit.
("tiger" "sees" "rabbit" "+")
If something likes the lion and it does not like the cow then the cow does not eat the lion.
((("something" "likes" "lion" "+") ("something" "likes" "cow" "~")) -> ("cow" "eats" "lion" "-"))
If the cow likes the tiger then the cow does not eat the tiger.
((("cow" "likes" "tiger" "+")) -> ("cow" "eats" "tiger" "-"))
If something is young and not round then it sees the tiger.
((("something" "is" "young" "+") ("something" "is" "round" "~")) -> ("something" "sees" "tiger" "+"))
The tiger sees the rabbit.
True
1
proof
[(triple15)]
("tiger" "sees" "rabbit" "+")
triple15
The tiger does not like the cow.
False
1
inv-proof
[(triple11)]
("tiger" "likes" "cow" "-")
triple11
The lion does not see the tiger.
Unknown
inv-rconc
[@1: The lion sees the tiger.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("lion" "sees" "tiger" "-")
The rabbit likes the lion.
Unknown
random
[@0: The rabbit likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "lion" "+")
@0: The cow eats the lion.[(triple1)] The cow likes the rabbit.[(triple2)] The lion eats the cow.[(triple3)] The lion eats the rabbit.[(triple4)] The lion sees the cow.[(triple5)] The rabbit eats the lion.[(triple6)] The rabbit eats the tiger.[(triple7)] The rabbit is rough.[(triple8)] The rabbit sees the cow.[(triple9)] The tiger eats the rabbit.[(triple10)] The tiger likes the cow.[(triple11)] The tiger likes the rabbit.[(triple12)] The tiger sees the cow.[(triple13)] The tiger sees the lion.[(triple14)] The tiger sees the rabbit.[(triple15)]
The cow eats the lion.
("cow" "eats" "lion" "+")
triple1
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
triple2
The lion eats the cow.
("lion" "eats" "cow" "+")
triple3
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
triple4
The lion sees the cow.
("lion" "sees" "cow" "+")
triple5
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
triple6
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
triple7
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple8
The rabbit sees the cow.
("rabbit" "sees" "cow" "+")
triple9
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
triple10
The tiger likes the cow.
("tiger" "likes" "cow" "+")
triple11
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
triple12
The tiger sees the cow.
("tiger" "sees" "cow" "+")
triple13
The tiger sees the lion.
("tiger" "sees" "lion" "+")
triple14
The tiger sees the rabbit.
("tiger" "sees" "rabbit" "+")
triple15