The bear does not chase the cow. The bear eats the cow. The bear is big. The bear is green. The bear visits the cow. The cow chases the bear. The cow eats the bear. The cow is big. The cow is cold. The cow is not green. The cow is not round. The cow visits the bear. If someone visits the bear and the bear does not eat the cow then the cow eats the bear. If someone is young then they eat the bear.
The bear does not chase the cow.
("bear" "chases" "cow" "-")
The bear eats the cow.
("bear" "eats" "cow" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is green.
("bear" "is" "green" "+")
The bear visits the cow.
("bear" "visits" "cow" "+")
The cow chases the bear.
("cow" "chases" "bear" "+")
The cow eats the bear.
("cow" "eats" "bear" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow is not green.
("cow" "is" "green" "-")
The cow is not round.
("cow" "is" "round" "-")
The cow visits the bear.
("cow" "visits" "bear" "+")
If someone visits the bear and the bear does not eat the cow then the cow eats the bear.
((("someone" "visits" "bear" "+") ("bear" "eats" "cow" "~")) -> ("cow" "eats" "bear" "+"))
If someone is young then they eat the bear.
((("someone" "is" "young" "+")) -> ("someone" "eats" "bear" "+"))
The cow is cold.
True
1
proof
[(triple9)]
("cow" "is" "cold" "+")
triple9
The cow is not big.
False
1
inv-proof
[(triple8)]
("cow" "is" "big" "-")
triple8
The bear does not eat the bear.
Unknown
inv-rconc
[@1: The bear eats the bear.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "eats" "bear" "-")
The bear visits the bear.
Unknown
random
[@0: The bear visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bear" "+")
@0: The bear does not chase the cow.[(triple1)] The bear eats the cow.[(triple2)] The bear is big.[(triple3)] The bear is green.[(triple4)] The bear visits the cow.[(triple5)] The cow chases the bear.[(triple6)] The cow eats the bear.[(triple7)] The cow is big.[(triple8)] The cow is cold.[(triple9)] The cow is not green.[(triple10)] The cow is not round.[(triple11)] The cow visits the bear.[(triple12)]
The bear does not chase the cow.
("bear" "chases" "cow" "-")
triple1
The bear eats the cow.
("bear" "eats" "cow" "+")
triple2
The bear is big.
("bear" "is" "big" "+")
triple3
The bear is green.
("bear" "is" "green" "+")
triple4
The bear visits the cow.
("bear" "visits" "cow" "+")
triple5
The cow chases the bear.
("cow" "chases" "bear" "+")
triple6
The cow eats the bear.
("cow" "eats" "bear" "+")
triple7
The cow is big.
("cow" "is" "big" "+")
triple8
The cow is cold.
("cow" "is" "cold" "+")
triple9
The cow is not green.
("cow" "is" "green" "-")
triple10
The cow is not round.
("cow" "is" "round" "-")
triple11
The cow visits the bear.
("cow" "visits" "bear" "+")
triple12