The bald eagle likes the dog. The cow eats the dog. The dog likes the bald eagle. The lion chases the dog. If someone chases the cow then the cow likes the lion. If someone eats the dog then the dog eats the cow. If someone eats the cow then they chase the dog.
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
The cow eats the dog.
("cow" "eats" "dog" "+")
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
The lion chases the dog.
("lion" "chases" "dog" "+")
If someone chases the cow then the cow likes the lion.
((("someone" "chases" "cow" "+")) -> ("cow" "likes" "lion" "+"))
If someone eats the dog then the dog eats the cow.
((("someone" "eats" "dog" "+")) -> ("dog" "eats" "cow" "+"))
If someone eats the cow then they chase the dog.
((("someone" "eats" "cow" "+")) -> ("someone" "chases" "dog" "+"))
The cow eats the dog.
True
1
proof
[(triple2)]
("cow" "eats" "dog" "+")
triple2
The bald eagle does not like the dog.
False
1
inv-proof
[(triple1)]
("bald eagle" "likes" "dog" "-")
triple1
The dog eats the cow.
True
2
proof
[(((triple2) -> rule2))]
("dog" "eats" "cow" "+")
((triple2) -> (rule2 % int1))
The dog eats the cow.
("dog" "eats" "cow" "+")
int1
The dog does not eat the cow.
False
2
inv-proof
[(((triple2) -> rule2))]
("dog" "eats" "cow" "-")
((triple2) -> (rule2 % int1))
The dog eats the cow.
("dog" "eats" "cow" "+")
int1
The dog chases the dog.
True
3
proof
[(((((triple2) -> rule2)) -> rule3))]
("dog" "chases" "dog" "+")
((((triple2) -> (rule2 % int2))) -> (rule3 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog eats the cow.
("dog" "eats" "cow" "+")
int2
The dog does not chase the dog.
False
3
inv-proof
[(((((triple2) -> rule2)) -> rule3))]
("dog" "chases" "dog" "-")
((((triple2) -> (rule2 % int2))) -> (rule3 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog eats the cow.
("dog" "eats" "cow" "+")
int2
The cow does not like the lion.
Unknown
inv-rconc
[@1: The cow likes the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "likes" "lion" "-")
The cow chases the dog.
Unknown
rconc
[@1: The cow chases the dog.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cow" "chases" "dog" "+")
The bald eagle does not chase the dog.
Unknown
inv-rconc
[@1: The bald eagle chases the dog.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "chases" "dog" "-")
The cow eats the bald eagle.
Unknown
random
[@0: The cow eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "bald eagle" "+")
The lion does not chase the lion.
Unknown
inv-random
[@0: The lion chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "lion" "-")
The lion is green.
Unknown
random
[@0: The lion is green.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "green" "+")
@0: The bald eagle likes the dog.[(triple1)] The cow eats the dog.[(triple2)] The dog likes the bald eagle.[(triple3)] The lion chases the dog.[(triple4)] @1: The dog eats the cow.[(((triple2) -> rule2))] @2: The dog chases the dog.[(((((triple2) -> rule2)) -> rule3))]
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
triple1
The cow eats the dog.
("cow" "eats" "dog" "+")
triple2
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
triple3
The lion chases the dog.
("lion" "chases" "dog" "+")
triple4
The dog eats the cow.
("dog" "eats" "cow" "+")
((triple2) -> (rule2 % int1))
The dog eats the cow.
("dog" "eats" "cow" "+")
int1
The dog chases the dog.
("dog" "chases" "dog" "+")
((((triple2) -> (rule2 % int2))) -> (rule3 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog eats the cow.
("dog" "eats" "cow" "+")
int2