The bald eagle chases the cat. The bald eagle is nice. The bald eagle likes the cat. The bald eagle likes the cow. The bald eagle likes the rabbit. The cat eats the cow. The cat likes the cow. The cat likes the rabbit. The cow chases the bald eagle. The cow chases the cat. The cow eats the cat. The cow likes the cat. The rabbit chases the cow. The rabbit is kind. The rabbit is red. If something chases the cow and it eats the cat then the cat chases the rabbit. If something is red then it eats the rabbit. If something likes the cat then it chases the rabbit. If something is red then it eats the cat. If the rabbit likes the cow and the cow chases the rabbit then the rabbit eats the cow. If the bald eagle likes the cat and the cat is kind then the cat is nice.
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
The cat eats the cow.
("cat" "eats" "cow" "+")
The cat likes the cow.
("cat" "likes" "cow" "+")
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
The cow chases the cat.
("cow" "chases" "cat" "+")
The cow eats the cat.
("cow" "eats" "cat" "+")
The cow likes the cat.
("cow" "likes" "cat" "+")
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
If something chases the cow and it eats the cat then the cat chases the rabbit.
((("something" "chases" "cow" "+") ("something" "eats" "cat" "+")) -> ("cat" "chases" "rabbit" "+"))
If something is red then it eats the rabbit.
((("something" "is" "red" "+")) -> ("something" "eats" "rabbit" "+"))
If something likes the cat then it chases the rabbit.
((("something" "likes" "cat" "+")) -> ("something" "chases" "rabbit" "+"))
If something is red then it eats the cat.
((("something" "is" "red" "+")) -> ("something" "eats" "cat" "+"))
If the rabbit likes the cow and the cow chases the rabbit then the rabbit eats the cow.
((("rabbit" "likes" "cow" "+") ("cow" "chases" "rabbit" "+")) -> ("rabbit" "eats" "cow" "+"))
If the bald eagle likes the cat and the cat is kind then the cat is nice.
((("bald eagle" "likes" "cat" "+") ("cat" "is" "kind" "+")) -> ("cat" "is" "nice" "+"))
The cow chases the bald eagle.
True
1
proof
[(triple9)]
("cow" "chases" "bald eagle" "+")
triple9
The cat does not like the cow.
False
1
inv-proof
[(triple7)]
("cat" "likes" "cow" "-")
triple7
The bald eagle chases the rabbit.
True
2
proof
[(((triple3) -> rule3))]
("bald eagle" "chases" "rabbit" "+")
((triple3) -> (rule3 % int1))
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int1
The rabbit does not eat the rabbit.
False
2
inv-proof
[(((triple15) -> rule2))]
("rabbit" "eats" "rabbit" "-")
((triple15) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The cat chases the rabbit.
True
4
proof
[(((triple13 ((triple15) -> rule4)) -> rule1))]
("cat" "chases" "rabbit" "+")
((triple13 ((triple15) -> (rule4 % int2))) -> (rule1 % int1))
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
int1
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
int2
The cat does not chase the rabbit.
False
4
inv-proof
[(((triple13 ((triple15) -> rule4)) -> rule1))]
("cat" "chases" "rabbit" "-")
((triple13 ((triple15) -> (rule4 % int2))) -> (rule1 % int1))
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
int1
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
int2
The bald eagle does not eat the rabbit.
Unknown
inv-rconc
[@1: The bald eagle eats the rabbit.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "eats" "rabbit" "-")
The cat eats the rabbit.
Unknown
rconc
[@1: The cat eats the rabbit.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "eats" "rabbit" "+")
The cat does not eat the cat.
Unknown
inv-rconc
[@1: The cat eats the cat.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cat" "eats" "cat" "-")
The cat is kind.
Unknown
random
[@0: The cat is kind.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "kind" "+")
The rabbit does not chase the cat.
Unknown
inv-random
[@0: The rabbit chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "cat" "-")
The rabbit chases the bald eagle.
Unknown
random
[@0: The rabbit chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "bald eagle" "+")
@0: The bald eagle chases the cat.[(triple1)] The bald eagle is nice.[(triple2)] The bald eagle likes the cat.[(triple3)] The bald eagle likes the cow.[(triple4)] The bald eagle likes the rabbit.[(triple5)] The cat eats the cow.[(triple6)] The cat likes the cow.[(triple7)] The cat likes the rabbit.[(triple8)] The cow chases the bald eagle.[(triple9)] The cow chases the cat.[(triple10)] The cow eats the cat.[(triple11)] The cow likes the cat.[(triple12)] The rabbit chases the cow.[(triple13)] The rabbit is kind.[(triple14)] The rabbit is red.[(triple15)] @1: The bald eagle chases the rabbit.[(((triple3) -> rule3))] The cow chases the rabbit.[(((triple12) -> rule3))] The rabbit eats the cat.[(((triple15) -> rule4))] The rabbit eats the rabbit.[(((triple15) -> rule2))] @2: The cat chases the rabbit.[(((triple13 ((triple15) -> rule4)) -> rule1))]
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
triple1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple2
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
triple3
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
triple4
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
triple5
The cat eats the cow.
("cat" "eats" "cow" "+")
triple6
The cat likes the cow.
("cat" "likes" "cow" "+")
triple7
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
triple8
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
triple9
The cow chases the cat.
("cow" "chases" "cat" "+")
triple10
The cow eats the cat.
("cow" "eats" "cat" "+")
triple11
The cow likes the cat.
("cow" "likes" "cat" "+")
triple12
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
triple13
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple14
The rabbit is red.
("rabbit" "is" "red" "+")
triple15
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
((triple3) -> (rule3 % int1))
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int1
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
((triple12) -> (rule3 % int1))
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
int1
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
((triple15) -> (rule4 % int1))
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
int1
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
((triple15) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
((triple13 ((triple15) -> (rule4 % int2))) -> (rule1 % int1))
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
int1
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
int2