The bald eagle chases the cow. The cow sees the bald eagle. Round things are red. If something visits the bald eagle and the bald eagle chases the cow then the cow sees the bald eagle. If something visits the bald eagle then it sees the cow.
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
Round things are red.
((("something" "is" "round" "+")) -> ("something" "is" "red" "+"))
If something visits the bald eagle and the bald eagle chases the cow then the cow sees the bald eagle.
((("something" "visits" "bald eagle" "+") ("bald eagle" "chases" "cow" "+")) -> ("cow" "sees" "bald eagle" "+"))
If something visits the bald eagle then it sees the cow.
((("something" "visits" "bald eagle" "+")) -> ("something" "sees" "cow" "+"))
The cow sees the bald eagle.
True
1
proof
[(triple2)]
("cow" "sees" "bald eagle" "+")
triple2
The cow does not see the bald eagle.
False
1
inv-proof
[(triple2)]
("cow" "sees" "bald eagle" "-")
triple2
The bald eagle is not red.
Unknown
inv-rconc
[@1: The bald eagle is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "red" "-")
The cow is big.
Unknown
random
[@0: The cow is big.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "big" "+")
@0: The bald eagle chases the cow.[(triple1)] The cow sees the bald eagle.[(triple2)]
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
triple1
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
triple2