The cat eats the lion. The cat is young. The cat likes the lion. The lion does not eat the cat. The lion does not like the cat. The rabbit eats the lion. The rabbit is big. The rabbit is young. The rabbit likes the cat. The rabbit needs the lion. If someone likes the lion then the lion is green. If someone likes the cat then the cat likes the rabbit. If someone is cold then they need the lion.
The cat eats the lion.
("cat" "eats" "lion" "+")
The cat is young.
("cat" "is" "young" "+")
The cat likes the lion.
("cat" "likes" "lion" "+")
The lion does not eat the cat.
("lion" "eats" "cat" "-")
The lion does not like the cat.
("lion" "likes" "cat" "-")
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
If someone likes the lion then the lion is green.
((("someone" "likes" "lion" "+")) -> ("lion" "is" "green" "+"))
If someone likes the cat then the cat likes the rabbit.
((("someone" "likes" "cat" "+")) -> ("cat" "likes" "rabbit" "+"))
If someone is cold then they need the lion.
((("someone" "is" "cold" "+")) -> ("someone" "needs" "lion" "+"))
The rabbit is young.
True
1
proof
[(triple8)]
("rabbit" "is" "young" "+")
triple8
The rabbit does not need the lion.
False
1
inv-proof
[(triple10)]
("rabbit" "needs" "lion" "-")
triple10
The cat does not need the lion.
Unknown
inv-rconc
[@1: The cat needs the lion.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cat" "needs" "lion" "-")
The cat eats the rabbit.
Unknown
random
[@0: The cat eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "rabbit" "+")
@0: The cat eats the lion.[(triple1)] The cat is young.[(triple2)] The cat likes the lion.[(triple3)] The lion does not eat the cat.[(triple4)] The lion does not like the cat.[(triple5)] The rabbit eats the lion.[(triple6)] The rabbit is big.[(triple7)] The rabbit is young.[(triple8)] The rabbit likes the cat.[(triple9)] The rabbit needs the lion.[(triple10)] @1: The cat likes the rabbit.[(((triple9) -> rule2))] The lion is green.[(((triple3) -> rule1))]
The cat eats the lion.
("cat" "eats" "lion" "+")
triple1
The cat is young.
("cat" "is" "young" "+")
triple2
The cat likes the lion.
("cat" "likes" "lion" "+")
triple3
The lion does not eat the cat.
("lion" "eats" "cat" "-")
triple4
The lion does not like the cat.
("lion" "likes" "cat" "-")
triple5
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
triple6
The rabbit is big.
("rabbit" "is" "big" "+")
triple7
The rabbit is young.
("rabbit" "is" "young" "+")
triple8
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
triple9
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
triple10
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
((triple9) -> (rule2 % int1))
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
int1
The lion is green.
("lion" "is" "green" "+")
((triple3) -> (rule1 % int1))
The lion is green.
("lion" "is" "green" "+")
int1