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