The bald eagle chases the cat. The bald eagle likes the bear. The bear eats the cow. The bear is big. The bear does not like the bald eagle. The cat eats the bald eagle. The cat eats the cow. The cat is kind. The cat is rough. The cat does not like the cow. The cow does not chase the bear. The cow eats the bald eagle. The cow eats the cat. The cow is not round. The cow likes the bear. If someone eats the cow then they chase the bear. If the cat eats the bald eagle and the cat eats the bear then the bear is not big. If someone chases the bear then the bear eats the cat. If the bear eats the cat then the bear chases the bald eagle. If someone chases the bear and they like the bald eagle then the bear likes the cat. If someone is big then they eat the bald eagle. If someone likes the cat and they eat the bald eagle then the bald eagle is green. If someone chases the cat and they do not chase the bear then the cat does not like the bear.
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
The bear eats the cow.
("bear" "eats" "cow" "+")
The bear is big.
("bear" "is" "big" "+")
The bear does not like the bald eagle.
("bear" "likes" "bald eagle" "-")
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
The cat eats the cow.
("cat" "eats" "cow" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat does not like the cow.
("cat" "likes" "cow" "-")
The cow does not chase the bear.
("cow" "chases" "bear" "-")
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
The cow eats the cat.
("cow" "eats" "cat" "+")
The cow is not round.
("cow" "is" "round" "-")
The cow likes the bear.
("cow" "likes" "bear" "+")
If someone eats the cow then they chase the bear.
((("someone" "eats" "cow" "+")) -> ("someone" "chases" "bear" "+"))
If the cat eats the bald eagle and the cat eats the bear then the bear is not big.
((("cat" "eats" "bald eagle" "+") ("cat" "eats" "bear" "+")) -> ("bear" "is" "big" "-"))
If someone chases the bear then the bear eats the cat.
((("someone" "chases" "bear" "+")) -> ("bear" "eats" "cat" "+"))
If the bear eats the cat then the bear chases the bald eagle.
((("bear" "eats" "cat" "+")) -> ("bear" "chases" "bald eagle" "+"))
If someone chases the bear and they like the bald eagle then the bear likes the cat.
((("someone" "chases" "bear" "+") ("someone" "likes" "bald eagle" "+")) -> ("bear" "likes" "cat" "+"))
If someone is big then they eat the bald eagle.
((("someone" "is" "big" "+")) -> ("someone" "eats" "bald eagle" "+"))
If someone likes the cat and they eat the bald eagle then the bald eagle is green.
((("someone" "likes" "cat" "+") ("someone" "eats" "bald eagle" "+")) -> ("bald eagle" "is" "green" "+"))
If someone chases the cat and they do not chase the bear then the cat does not like the bear.
((("someone" "chases" "cat" "+") ("someone" "chases" "bear" "~")) -> ("cat" "likes" "bear" "-"))
The cat does not like the cow.
True
1
proof
[(triple10)]
("cat" "likes" "cow" "-")
triple10
The bald eagle does not chase the cat.
False
1
inv-proof
[(triple1)]
("bald eagle" "chases" "cat" "-")
triple1
The bear eats the bald eagle.
True
2
proof
[(((triple4) -> rule6))]
("bear" "eats" "bald eagle" "+")
((triple4) -> (rule6 % int1))
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
int1
The bear does not eat the bald eagle.
False
2
inv-proof
[(((triple4) -> rule6))]
("bear" "eats" "bald eagle" "-")
((triple4) -> (rule6 % int1))
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
int1
The bear eats the cat.
True
3
proof
[(((((triple3) -> rule1)) -> rule3) OR ((((triple7) -> rule1)) -> rule3))]
("bear" "eats" "cat" "+")
((((triple3) -> (rule1 % int2))) -> (rule3 % int1))
The bear eats the cat.
("bear" "eats" "cat" "+")
int1
The bear chases the bear.
("bear" "chases" "bear" "+")
int2
((((triple7) -> (rule1 % int2))) -> (rule3 % int1))
The bear eats the cat.
("bear" "eats" "cat" "+")
int1
The cat chases the bear.
("cat" "chases" "bear" "+")
int2
The bear does not eat the cat.
False
3
inv-proof
[(((((triple3) -> rule1)) -> rule3) OR ((((triple7) -> rule1)) -> rule3))]
("bear" "eats" "cat" "-")
((((triple3) -> (rule1 % int2))) -> (rule3 % int1))
The bear eats the cat.
("bear" "eats" "cat" "+")
int1
The bear chases the bear.
("bear" "chases" "bear" "+")
int2
((((triple7) -> (rule1 % int2))) -> (rule3 % int1))
The bear eats the cat.
("bear" "eats" "cat" "+")
int1
The cat chases the bear.
("cat" "chases" "bear" "+")
int2
The bald eagle does not eat the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "eats" "bald eagle" "-")
The bald eagle chases the bear.
Unknown
rconc
[@1: The bald eagle chases the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "chases" "bear" "+")
The bear does not like the cat.
Unknown
inv-rconc
[@1: The bear likes the cat.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bear" "likes" "cat" "-")
The cat is big.
Unknown
random
[@0: The cat is big.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "big" "+")
The cat is not round.
Unknown
inv-random
[@0: The cat is round.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "round" "-")
The cat eats the bear.
Unknown
random
[@0: The cat eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "bear" "+")
@0: The bald eagle chases the cat.[(triple1)] The bald eagle likes the bear.[(triple2)] The bear does not like the bald eagle.[(triple5)] The bear eats the cow.[(triple3)] The bear is big.[(triple4)] The cat does not like the cow.[(triple10)] The cat eats the bald eagle.[(triple6)] The cat eats the cow.[(triple7)] The cat is kind.[(triple8)] The cat is rough.[(triple9)] The cow does not chase the bear.[(triple11)] The cow eats the bald eagle.[(triple12)] The cow eats the cat.[(triple13)] The cow is not round.[(triple14)] The cow likes the bear.[(triple15)] @1: The bear chases the bear.[(((triple3) -> rule1))] The bear eats the bald eagle.[(((triple4) -> rule6))] The cat chases the bear.[(((triple7) -> rule1))] @2: The bear eats the cat.[(((((triple3) -> rule1)) -> rule3) OR ((((triple7) -> rule1)) -> rule3))] @3: The bear chases the bald eagle.[(((((((triple3) -> rule1)) -> rule3)) -> rule4) OR ((((((triple7) -> rule1)) -> rule3)) -> rule4))]
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
triple1
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
triple2
The bear does not like the bald eagle.
("bear" "likes" "bald eagle" "-")
triple5
The bear eats the cow.
("bear" "eats" "cow" "+")
triple3
The bear is big.
("bear" "is" "big" "+")
triple4
The cat does not like the cow.
("cat" "likes" "cow" "-")
triple10
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
triple6
The cat eats the cow.
("cat" "eats" "cow" "+")
triple7
The cat is kind.
("cat" "is" "kind" "+")
triple8
The cat is rough.
("cat" "is" "rough" "+")
triple9
The cow does not chase the bear.
("cow" "chases" "bear" "-")
triple11
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
triple12
The cow eats the cat.
("cow" "eats" "cat" "+")
triple13
The cow is not round.
("cow" "is" "round" "-")
triple14
The cow likes the bear.
("cow" "likes" "bear" "+")
triple15
The bear chases the bear.
("bear" "chases" "bear" "+")
((triple3) -> (rule1 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
((triple4) -> (rule6 % int1))
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
int1
The cat chases the bear.
("cat" "chases" "bear" "+")
((triple7) -> (rule1 % int1))
The cat chases the bear.
("cat" "chases" "bear" "+")
int1
The bear eats the cat.
("bear" "eats" "cat" "+")
((((triple3) -> (rule1 % int2))) -> (rule3 % int1))
The bear eats the cat.
("bear" "eats" "cat" "+")
int1
The bear chases the bear.
("bear" "chases" "bear" "+")
int2
((((triple7) -> (rule1 % int2))) -> (rule3 % int1))
The bear eats the cat.
("bear" "eats" "cat" "+")
int1
The cat chases the bear.
("cat" "chases" "bear" "+")
int2
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
((((((triple3) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
int1
The bear eats the cat.
("bear" "eats" "cat" "+")
int2
The bear chases the bear.
("bear" "chases" "bear" "+")
int3
((((((triple7) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
int1
The bear eats the cat.
("bear" "eats" "cat" "+")
int2
The cat chases the bear.
("cat" "chases" "bear" "+")
int3