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