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