The bald eagle chases the cow. The bald eagle is blue. The bald eagle is red. The bear chases the rabbit. The bear eats the bald eagle. The bear is young. The bear likes the rabbit. The cow is young. The cow likes the bear. The rabbit eats the bear. If something is young and it eats the bald eagle then the bald eagle is nice. If the bear is nice and the bear chases the cow then the cow is nice. If the cow is blue then the cow is young. If something eats the rabbit and it chases the rabbit then it eats the cow. If something is nice and red then it chases the bear. If the cow eats the rabbit then the cow likes the rabbit. If the rabbit is blue then the rabbit is nice. If something is nice then it chases the cow.
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
The bear is young.
("bear" "is" "young" "+")
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
The cow is young.
("cow" "is" "young" "+")
The cow likes the bear.
("cow" "likes" "bear" "+")
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
If something is young and it eats the bald eagle then the bald eagle is nice.
((("something" "is" "young" "+") ("something" "eats" "bald eagle" "+")) -> ("bald eagle" "is" "nice" "+"))
If the bear is nice and the bear chases the cow then the cow is nice.
((("bear" "is" "nice" "+") ("bear" "chases" "cow" "+")) -> ("cow" "is" "nice" "+"))
If the cow is blue then the cow is young.
((("cow" "is" "blue" "+")) -> ("cow" "is" "young" "+"))
If something eats the rabbit and it chases the rabbit then it eats the cow.
((("something" "eats" "rabbit" "+") ("something" "chases" "rabbit" "+")) -> ("something" "eats" "cow" "+"))
If something is nice and red then it chases the bear.
((("something" "is" "nice" "+") ("something" "is" "red" "+")) -> ("something" "chases" "bear" "+"))
If the cow eats the rabbit then the cow likes the rabbit.
((("cow" "eats" "rabbit" "+")) -> ("cow" "likes" "rabbit" "+"))
If the rabbit is blue then the rabbit is nice.
((("rabbit" "is" "blue" "+")) -> ("rabbit" "is" "nice" "+"))
If something is nice then it chases the cow.
((("something" "is" "nice" "+")) -> ("something" "chases" "cow" "+"))
The bald eagle chases the cow.
True
1
proof
[(triple1 OR ((((triple6 triple5) -> rule1)) -> rule8))]
("bald eagle" "chases" "cow" "+")
triple1
((((triple6 triple5) -> (rule1 % int2))) -> (rule8 % int1))
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int2
The bald eagle is not blue.
False
1
inv-proof
[(triple2)]
("bald eagle" "is" "blue" "-")
triple2
The bald eagle is nice.
True
3
proof
[(((triple6 triple5) -> rule1))]
("bald eagle" "is" "nice" "+")
((triple6 triple5) -> (rule1 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle is not nice.
False
3
inv-proof
[(((triple6 triple5) -> rule1))]
("bald eagle" "is" "nice" "-")
((triple6 triple5) -> (rule1 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle chases the bear.
True
5
proof
[(((((triple6 triple5) -> rule1) triple3) -> rule5))]
("bald eagle" "chases" "bear" "+")
((((triple6 triple5) -> (rule1 % int2)) triple3) -> (rule5 % int1))
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int2
The bald eagle does not chase the bear.
False
5
inv-proof
[(((((triple6 triple5) -> rule1) triple3) -> rule5))]
("bald eagle" "chases" "bear" "-")
((((triple6 triple5) -> (rule1 % int2)) triple3) -> (rule5 % int1))
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int2
The bear does not chase the cow.
Unknown
inv-rconc
[@1: The bear chases the cow.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("bear" "chases" "cow" "-")
The cow eats the cow.
Unknown
rconc
[@1: The cow eats the cow.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cow" "eats" "cow" "+")
The rabbit does not chase the bear.
Unknown
inv-rconc
[@1: The rabbit chases the bear.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("rabbit" "chases" "bear" "-")
The rabbit is young.
Unknown
random
[@0: The rabbit is young.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "young" "+")
The rabbit does not eat the bald eagle.
Unknown
inv-random
[@0: The rabbit eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "bald eagle" "-")
The rabbit likes the bear.
Unknown
random
[@0: The rabbit likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "bear" "+")
@0: The bald eagle chases the cow.[(triple1 OR ((((triple6 triple5) -> rule1)) -> rule8))] The bald eagle is blue.[(triple2)] The bald eagle is red.[(triple3)] The bear chases the rabbit.[(triple4)] The bear eats the bald eagle.[(triple5)] The bear is young.[(triple6)] The bear likes the rabbit.[(triple7)] The cow is young.[(triple8)] The cow likes the bear.[(triple9)] The rabbit eats the bear.[(triple10)] @1: The bald eagle is nice.[(((triple6 triple5) -> rule1))] @2: The bald eagle chases the bear.[(((((triple6 triple5) -> rule1) triple3) -> rule5))]
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
triple1
((((triple6 triple5) -> (rule1 % int2))) -> (rule8 % int1))
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple2
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple3
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
triple4
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
triple5
The bear is young.
("bear" "is" "young" "+")
triple6
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
triple7
The cow is young.
("cow" "is" "young" "+")
triple8
The cow likes the bear.
("cow" "likes" "bear" "+")
triple9
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
triple10
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
((triple6 triple5) -> (rule1 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
((((triple6 triple5) -> (rule1 % int2)) triple3) -> (rule5 % int1))
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int2