The bald eagle chases the cow. The bald eagle is not round. The cow is nice. If someone eats the bald eagle then they do not chase the bald eagle. If someone is rough then they do not chase the bald eagle. If someone chases the cow and the cow does not see the bald eagle then the bald eagle eats the cow.
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
The bald eagle is not round.
("bald eagle" "is" "round" "-")
The cow is nice.
("cow" "is" "nice" "+")
If someone eats the bald eagle then they do not chase the bald eagle.
((("someone" "eats" "bald eagle" "+")) -> ("someone" "chases" "bald eagle" "-"))
If someone is rough then they do not chase the bald eagle.
((("someone" "is" "rough" "+")) -> ("someone" "chases" "bald eagle" "-"))
If someone chases the cow and the cow does not see the bald eagle then the bald eagle eats the cow.
((("someone" "chases" "cow" "+") ("cow" "sees" "bald eagle" "~")) -> ("bald eagle" "eats" "cow" "+"))
The bald eagle is not round.
True
1
proof
[(triple2)]
("bald eagle" "is" "round" "-")
triple2
The cow is not nice.
False
1
inv-proof
[(triple3)]
("cow" "is" "nice" "-")
triple3
The bald eagle does not eat the cow.
Unknown
inv-rconc
[@1: The bald eagle eats the cow.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "eats" "cow" "-")
The cow eats the cow.
Unknown
random
[@0: The cow eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "cow" "+")
@0: The bald eagle chases the cow.[(triple1)] The bald eagle is not round.[(triple2)] The cow is nice.[(triple3)]
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
triple1
The bald eagle is not round.
("bald eagle" "is" "round" "-")
triple2
The cow is nice.
("cow" "is" "nice" "+")
triple3