The cat eats the squirrel. The cat likes the rabbit. The lion eats the cat. The lion eats the squirrel. The lion is nice. The lion visits the cat. The rabbit is nice. The rabbit visits the lion. The squirrel likes the lion. The squirrel visits the lion. If someone visits the rabbit and the rabbit is kind then they are red.
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
The lion eats the cat.
("lion" "eats" "cat" "+")
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion visits the cat.
("lion" "visits" "cat" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
If someone visits the rabbit and the rabbit is kind then they are red.
((("someone" "visits" "rabbit" "+") ("rabbit" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
The lion visits the cat.
True
1
proof
[(triple6)]
("lion" "visits" "cat" "+")
triple6
The squirrel does not like the lion.
False
1
inv-proof
[(triple9)]
("squirrel" "likes" "lion" "-")
triple9
The squirrel is not red.
Unknown
inv-rconc
[@1: The squirrel is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "is" "red" "-")
The cat visits the squirrel.
Unknown
random
[@0: The cat visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "squirrel" "+")
@0: The cat eats the squirrel.[(triple1)] The cat likes the rabbit.[(triple2)] The lion eats the cat.[(triple3)] The lion eats the squirrel.[(triple4)] The lion is nice.[(triple5)] The lion visits the cat.[(triple6)] The rabbit is nice.[(triple7)] The rabbit visits the lion.[(triple8)] The squirrel likes the lion.[(triple9)] The squirrel visits the lion.[(triple10)]
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
triple1
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
triple2
The lion eats the cat.
("lion" "eats" "cat" "+")
triple3
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
triple4
The lion is nice.
("lion" "is" "nice" "+")
triple5
The lion visits the cat.
("lion" "visits" "cat" "+")
triple6
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple7
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
triple8
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
triple9
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
triple10