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