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