The dog needs the lion. The lion is red. The lion needs the squirrel. The rabbit eats the dog. The rabbit eats the squirrel. The rabbit is green. The rabbit is red. The rabbit needs the lion. The squirrel eats the lion. The squirrel is green. The squirrel likes the lion. The squirrel likes the rabbit. If someone likes the squirrel then the squirrel is young.
The dog needs the lion.
("dog" "needs" "lion" "+")
The lion is red.
("lion" "is" "red" "+")
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
If someone likes the squirrel then the squirrel is young.
((("someone" "likes" "squirrel" "+")) -> ("squirrel" "is" "young" "+"))
The lion is red.
True
1
proof
[(triple2)]
("lion" "is" "red" "+")
triple2
The squirrel does not eat the lion.
False
1
inv-proof
[(triple9)]
("squirrel" "eats" "lion" "-")
triple9
The squirrel is not young.
Unknown
inv-rconc
[@1: The squirrel is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "is" "young" "-")
The dog eats the lion.
Unknown
random
[@0: The dog eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "lion" "+")
@0: The dog needs the lion.[(triple1)] The lion is red.[(triple2)] The lion needs the squirrel.[(triple3)] The rabbit eats the dog.[(triple4)] The rabbit eats the squirrel.[(triple5)] The rabbit is green.[(triple6)] The rabbit is red.[(triple7)] The rabbit needs the lion.[(triple8)] The squirrel eats the lion.[(triple9)] The squirrel is green.[(triple10)] The squirrel likes the lion.[(triple11)] The squirrel likes the rabbit.[(triple12)]
The dog needs the lion.
("dog" "needs" "lion" "+")
triple1
The lion is red.
("lion" "is" "red" "+")
triple2
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
triple3
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
triple4
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
triple5
The rabbit is green.
("rabbit" "is" "green" "+")
triple6
The rabbit is red.
("rabbit" "is" "red" "+")
triple7
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
triple8
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
triple9
The squirrel is green.
("squirrel" "is" "green" "+")
triple10
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
triple11
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
triple12