The bear eats the cow. The bear is cold. The cow is cold. If something is big then it needs the bear. If something chases the bear then the bear eats the cow.
The bear eats the cow.
("bear" "eats" "cow" "+")
The bear is cold.
("bear" "is" "cold" "+")
The cow is cold.
("cow" "is" "cold" "+")
If something is big then it needs the bear.
((("something" "is" "big" "+")) -> ("something" "needs" "bear" "+"))
If something chases the bear then the bear eats the cow.
((("something" "chases" "bear" "+")) -> ("bear" "eats" "cow" "+"))
The bear eats the cow.
True
1
proof
[(triple1)]
("bear" "eats" "cow" "+")
triple1
The bear does not eat the cow.
False
1
inv-proof
[(triple1)]
("bear" "eats" "cow" "-")
triple1
The bear does not need the bear.
Unknown
inv-rconc
[@1: The bear needs the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "needs" "bear" "-")
The bear chases the cow.
Unknown
random
[@0: The bear chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "cow" "+")
@0: The bear eats the cow.[(triple1)] The bear is cold.[(triple2)] The cow is cold.[(triple3)]
The bear eats the cow.
("bear" "eats" "cow" "+")
triple1
The bear is cold.
("bear" "is" "cold" "+")
triple2
The cow is cold.
("cow" "is" "cold" "+")
triple3