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