The bald eagle likes the cow. The bear chases the cow. The cow eats the bear. If something chases the cow then the cow chases the bald eagle. If something chases the bald eagle then it is young. If something is kind and it chases the bald eagle then the bald eagle chases the bear. If something eats the cow then the cow is nice. If the bear likes the cow then the cow likes the bear. If something is young and it likes the bear then it is round.
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
The bear chases the cow.
("bear" "chases" "cow" "+")
The cow eats the bear.
("cow" "eats" "bear" "+")
If something chases the cow then the cow chases the bald eagle.
((("something" "chases" "cow" "+")) -> ("cow" "chases" "bald eagle" "+"))
If something chases the bald eagle then it is young.
((("something" "chases" "bald eagle" "+")) -> ("something" "is" "young" "+"))
If something is kind and it chases the bald eagle then the bald eagle chases the bear.
((("something" "is" "kind" "+") ("something" "chases" "bald eagle" "+")) -> ("bald eagle" "chases" "bear" "+"))
If something eats the cow then the cow is nice.
((("something" "eats" "cow" "+")) -> ("cow" "is" "nice" "+"))
If the bear likes the cow then the cow likes the bear.
((("bear" "likes" "cow" "+")) -> ("cow" "likes" "bear" "+"))
If something is young and it likes the bear then it is round.
((("something" "is" "young" "+") ("something" "likes" "bear" "+")) -> ("something" "is" "round" "+"))
The cow eats the bear.
True
1
proof
[(triple3)]
("cow" "eats" "bear" "+")
triple3
The cow does not eat the bear.
False
1
inv-proof
[(triple3)]
("cow" "eats" "bear" "-")
triple3
The cow chases the bald eagle.
True
2
proof
[(((triple2) -> rule1))]
("cow" "chases" "bald eagle" "+")
((triple2) -> (rule1 % int1))
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int1
The cow does not chase the bald eagle.
False
2
inv-proof
[(((triple2) -> rule1))]
("cow" "chases" "bald eagle" "-")
((triple2) -> (rule1 % int1))
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int1
The cow is young.
True
3
proof
[(((((triple2) -> rule1)) -> rule2))]
("cow" "is" "young" "+")
((((triple2) -> (rule1 % int2))) -> (rule2 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int2
The cow is not young.
False
3
inv-proof
[(((((triple2) -> rule1)) -> rule2))]
("cow" "is" "young" "-")
((((triple2) -> (rule1 % int2))) -> (rule2 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int2
The bald eagle is not round.
Unknown
inv-rconc
[@1: The bald eagle is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "is" "round" "-")
The bald eagle chases the bear.
Unknown
rconc
[@1: The bald eagle chases the bear.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "chases" "bear" "+")
The bear is not round.
Unknown
inv-rconc
[@1: The bear is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bear" "is" "round" "-")
The bald eagle likes the bald eagle.
Unknown
random
[@0: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bald eagle" "+")
The bear does not like the bald eagle.
Unknown
inv-random
[@0: The bear likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bald eagle" "-")
The bear chases the bald eagle.
Unknown
random
[@0: The bear chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bald eagle" "+")
@0: The bald eagle likes the cow.[(triple1)] The bear chases the cow.[(triple2)] The cow eats the bear.[(triple3)] @1: The cow chases the bald eagle.[(((triple2) -> rule1))] @2: The cow is young.[(((((triple2) -> rule1)) -> rule2))]
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
triple1
The bear chases the cow.
("bear" "chases" "cow" "+")
triple2
The cow eats the bear.
("cow" "eats" "bear" "+")
triple3
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
((triple2) -> (rule1 % int1))
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int1
The cow is young.
("cow" "is" "young" "+")
((((triple2) -> (rule1 % int2))) -> (rule2 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int2