The bear eats the cow. The cow is kind. The cow is rough. If something eats the bear then the bear visits the cow. All young things are cold.
The bear eats the cow.
("bear" "eats" "cow" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is rough.
("cow" "is" "rough" "+")
If something eats the bear then the bear visits the cow.
((("something" "eats" "bear" "+")) -> ("bear" "visits" "cow" "+"))
All young things are cold.
((("something" "is" "young" "+")) -> ("something" "is" "cold" "+"))
The cow is rough.
True
1
proof
[(triple3)]
("cow" "is" "rough" "+")
triple3
The cow is not kind.
False
1
inv-proof
[(triple2)]
("cow" "is" "kind" "-")
triple2
The cow is not cold.
Unknown
inv-rconc
[@1: The cow is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "is" "cold" "-")
The cow eats the cow.
Unknown
random
[@0: The cow eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "cow" "+")
@0: The bear eats the cow.[(triple1)] The cow is kind.[(triple2)] The cow is rough.[(triple3)]
The bear eats the cow.
("bear" "eats" "cow" "+")
triple1
The cow is kind.
("cow" "is" "kind" "+")
triple2
The cow is rough.
("cow" "is" "rough" "+")
triple3