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