The bald eagle is blue. The cow eats the bald eagle. The rabbit sees the bald eagle. If the cow likes the rabbit and the rabbit sees the bald eagle then the rabbit is young. If the rabbit eats the bald eagle and the bald eagle is blue then the bald eagle eats the rabbit.
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
If the cow likes the rabbit and the rabbit sees the bald eagle then the rabbit is young.
((("cow" "likes" "rabbit" "+") ("rabbit" "sees" "bald eagle" "+")) -> ("rabbit" "is" "young" "+"))
If the rabbit eats the bald eagle and the bald eagle is blue then the bald eagle eats the rabbit.
((("rabbit" "eats" "bald eagle" "+") ("bald eagle" "is" "blue" "+")) -> ("bald eagle" "eats" "rabbit" "+"))
The bald eagle is blue.
True
1
proof
[(triple1)]
("bald eagle" "is" "blue" "+")
triple1
The cow does not eat the bald eagle.
False
1
inv-proof
[(triple2)]
("cow" "eats" "bald eagle" "-")
triple2
The rabbit is not young.
Unknown
inv-rconc
[@1: The rabbit is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "is" "young" "-")
The bald eagle is nice.
Unknown
random
[@0: The bald eagle is nice.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "nice" "+")
@0: The bald eagle is blue.[(triple1)] The cow eats the bald eagle.[(triple2)] The rabbit sees the bald eagle.[(triple3)]
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple1
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
triple2
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
triple3