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