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