The bald eagle chases the cow. The cow does not chase the bald eagle. The cow is nice. The cow is red. The cow is rough. The cow likes the bald eagle. The cow sees the bald eagle. If someone chases the cow and the cow likes the bald eagle then they see the cow. If someone chases the cow then they see the cow. If someone chases the bald eagle and the bald eagle is rough then the bald eagle likes the cow. If the bald eagle is red then the bald eagle does not chase the cow. If someone chases the bald eagle then the bald eagle is green. If the cow does not chase the bald eagle and the bald eagle does not see the cow then the cow is not rough.
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
The cow does not chase the bald eagle.
("cow" "chases" "bald eagle" "-")
The cow is nice.
("cow" "is" "nice" "+")
The cow is red.
("cow" "is" "red" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
If someone chases the cow and the cow likes the bald eagle then they see the cow.
((("someone" "chases" "cow" "+") ("cow" "likes" "bald eagle" "+")) -> ("someone" "sees" "cow" "+"))
If someone chases the cow then they see the cow.
((("someone" "chases" "cow" "+")) -> ("someone" "sees" "cow" "+"))
If someone chases the bald eagle and the bald eagle is rough then the bald eagle likes the cow.
((("someone" "chases" "bald eagle" "+") ("bald eagle" "is" "rough" "+")) -> ("bald eagle" "likes" "cow" "+"))
If the bald eagle is red then the bald eagle does not chase the cow.
((("bald eagle" "is" "red" "+")) -> ("bald eagle" "chases" "cow" "-"))
If someone chases the bald eagle then the bald eagle is green.
((("someone" "chases" "bald eagle" "+")) -> ("bald eagle" "is" "green" "+"))
If the cow does not chase the bald eagle and the bald eagle does not see the cow then the cow is not rough.
((("cow" "chases" "bald eagle" "~") ("bald eagle" "sees" "cow" "~")) -> ("cow" "is" "rough" "-"))
The cow is red.
True
1
proof
[(triple4)]
("cow" "is" "red" "+")
triple4
The cow chases the bald eagle.
False
1
inv-proof
[(triple2)]
("cow" "chases" "bald eagle" "+")
triple2
The cow does not see the cow.
Unknown
inv-rconc
[@1: The cow sees the cow.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "sees" "cow" "-")
The cow is blue.
Unknown
random
[@0: The cow is blue.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "blue" "+")
@0: The bald eagle chases the cow.[(triple1)] The cow does not chase the bald eagle.[(triple2)] The cow is nice.[(triple3)] The cow is red.[(triple4)] The cow is rough.[(triple5)] The cow likes the bald eagle.[(triple6)] The cow sees the bald eagle.[(triple7)] @1: The bald eagle sees the cow.[(((triple1) -> rule2) OR ((triple1 triple6) -> rule1))]
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
triple1
The cow does not chase the bald eagle.
("cow" "chases" "bald eagle" "-")
triple2
The cow is nice.
("cow" "is" "nice" "+")
triple3
The cow is red.
("cow" "is" "red" "+")
triple4
The cow is rough.
("cow" "is" "rough" "+")
triple5
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
triple6
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
triple7
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
((triple1) -> (rule2 % int1))
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
int1
((triple1 triple6) -> (rule1 % int1))
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
int1