The bear does not eat the cow. The bear is not big. The bear is blue. The bear is not rough. The bear is young. The bear does not need the cow. The bear does not visit the cow. The cow eats the bear. The cow is not big. The cow is blue. The cow is not kind. The cow is not rough. The cow is young. The cow does not need the bear. The cow visits the bear. If someone needs the cow then they are blue. If someone needs the cow and they are not rough then the cow eats the bear. If someone is rough and kind then they need the cow.
The bear does not eat the cow.
("bear" "eats" "cow" "-")
The bear is not big.
("bear" "is" "big" "-")
The bear is blue.
("bear" "is" "blue" "+")
The bear is not rough.
("bear" "is" "rough" "-")
The bear is young.
("bear" "is" "young" "+")
The bear does not need the cow.
("bear" "needs" "cow" "-")
The bear does not visit the cow.
("bear" "visits" "cow" "-")
The cow eats the bear.
("cow" "eats" "bear" "+")
The cow is not big.
("cow" "is" "big" "-")
The cow is blue.
("cow" "is" "blue" "+")
The cow is not kind.
("cow" "is" "kind" "-")
The cow is not rough.
("cow" "is" "rough" "-")
The cow is young.
("cow" "is" "young" "+")
The cow does not need the bear.
("cow" "needs" "bear" "-")
The cow visits the bear.
("cow" "visits" "bear" "+")
If someone needs the cow then they are blue.
((("someone" "needs" "cow" "+")) -> ("someone" "is" "blue" "+"))
If someone needs the cow and they are not rough then the cow eats the bear.
((("someone" "needs" "cow" "+") ("someone" "is" "rough" "~")) -> ("cow" "eats" "bear" "+"))
If someone is rough and kind then they need the cow.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+")) -> ("someone" "needs" "cow" "+"))
The cow eats the bear.
True
1
proof
[(triple8)]
("cow" "eats" "bear" "+")
triple8
The cow is not blue.
False
1
inv-proof
[(triple10)]
("cow" "is" "blue" "-")
triple10
The cow does not need the cow.
Unknown
inv-rconc
[@1: The cow needs the cow.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cow" "needs" "cow" "-")
The bear eats the bear.
Unknown
random
[@0: The bear eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bear" "+")
@0: The bear does not eat the cow.[(triple1)] The bear does not need the cow.[(triple6)] The bear does not visit the cow.[(triple7)] The bear is blue.[(triple3)] The bear is not big.[(triple2)] The bear is not rough.[(triple4)] The bear is young.[(triple5)] The cow does not need the bear.[(triple14)] The cow eats the bear.[(triple8)] The cow is blue.[(triple10)] The cow is not big.[(triple9)] The cow is not kind.[(triple11)] The cow is not rough.[(triple12)] The cow is young.[(triple13)] The cow visits the bear.[(triple15)]
The bear does not eat the cow.
("bear" "eats" "cow" "-")
triple1
The bear does not need the cow.
("bear" "needs" "cow" "-")
triple6
The bear does not visit the cow.
("bear" "visits" "cow" "-")
triple7
The bear is blue.
("bear" "is" "blue" "+")
triple3
The bear is not big.
("bear" "is" "big" "-")
triple2
The bear is not rough.
("bear" "is" "rough" "-")
triple4
The bear is young.
("bear" "is" "young" "+")
triple5
The cow does not need the bear.
("cow" "needs" "bear" "-")
triple14
The cow eats the bear.
("cow" "eats" "bear" "+")
triple8
The cow is blue.
("cow" "is" "blue" "+")
triple10
The cow is not big.
("cow" "is" "big" "-")
triple9
The cow is not kind.
("cow" "is" "kind" "-")
triple11
The cow is not rough.
("cow" "is" "rough" "-")
triple12
The cow is young.
("cow" "is" "young" "+")
triple13
The cow visits the bear.
("cow" "visits" "bear" "+")
triple15