The cat likes the lion. The cow eats the lion. The cow likes the lion. The lion chases the cow. The lion chases the rabbit. The rabbit eats the lion. The rabbit is nice. If someone likes the cow and they chase the cow then the cow likes the cat. Big people are young. If someone chases the rabbit then they eat the cat.
The cat likes the lion.
("cat" "likes" "lion" "+")
The cow eats the lion.
("cow" "eats" "lion" "+")
The cow likes the lion.
("cow" "likes" "lion" "+")
The lion chases the cow.
("lion" "chases" "cow" "+")
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
If someone likes the cow and they chase the cow then the cow likes the cat.
((("someone" "likes" "cow" "+") ("someone" "chases" "cow" "+")) -> ("cow" "likes" "cat" "+"))
Big people are young.
((("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone chases the rabbit then they eat the cat.
((("someone" "chases" "rabbit" "+")) -> ("someone" "eats" "cat" "+"))
The lion chases the cow.
True
1
proof
[(triple4)]
("lion" "chases" "cow" "+")
triple4
The rabbit is not nice.
False
1
inv-proof
[(triple7)]
("rabbit" "is" "nice" "-")
triple7
The lion eats the cat.
True
2
proof
[(((triple5) -> rule3))]
("lion" "eats" "cat" "+")
((triple5) -> (rule3 % int1))
The lion eats the cat.
("lion" "eats" "cat" "+")
int1
The lion does not eat the cat.
False
2
inv-proof
[(((triple5) -> rule3))]
("lion" "eats" "cat" "-")
((triple5) -> (rule3 % int1))
The lion eats the cat.
("lion" "eats" "cat" "+")
int1
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 cow likes the cat.
Unknown
rconc
[@1: The cow likes the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "likes" "cat" "+")
The lion is not nice.
Unknown
inv-random
[@0: The lion is nice.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "nice" "-")
The lion likes the rabbit.
Unknown
random
[@0: The lion likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "rabbit" "+")
@0: The cat likes the lion.[(triple1)] The cow eats the lion.[(triple2)] The cow likes the lion.[(triple3)] The lion chases the cow.[(triple4)] The lion chases the rabbit.[(triple5)] The rabbit eats the lion.[(triple6)] The rabbit is nice.[(triple7)] @1: The lion eats the cat.[(((triple5) -> rule3))]
The cat likes the lion.
("cat" "likes" "lion" "+")
triple1
The cow eats the lion.
("cow" "eats" "lion" "+")
triple2
The cow likes the lion.
("cow" "likes" "lion" "+")
triple3
The lion chases the cow.
("lion" "chases" "cow" "+")
triple4
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
triple5
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
triple6
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple7
The lion eats the cat.
("lion" "eats" "cat" "+")
((triple5) -> (rule3 % int1))
The lion eats the cat.
("lion" "eats" "cat" "+")
int1