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