The bear does not eat the cat. The bear needs the tiger. The cat visits the bear. The cat visits the tiger. The cow eats the cat. The cow is red. The cow needs the cat. The cow does not need the tiger. The cow visits the bear. The cow visits the tiger. The tiger does not eat the cow. The tiger visits the cow. If the bear visits the tiger and the tiger needs the cow then the cow is green. If the cow is not red then the cow does not eat the cat. If someone is young and they eat the bear then the bear needs the tiger. If someone needs the tiger then they do not eat the cat. If someone eats the cow and they do not need the bear then the cow is not nice. If someone is big and they visit the cat then they need the cat.
The bear does not eat the cat.
("bear" "eats" "cat" "-")
The bear needs the tiger.
("bear" "needs" "tiger" "+")
The cat visits the bear.
("cat" "visits" "bear" "+")
The cat visits the tiger.
("cat" "visits" "tiger" "+")
The cow eats the cat.
("cow" "eats" "cat" "+")
The cow is red.
("cow" "is" "red" "+")
The cow needs the cat.
("cow" "needs" "cat" "+")
The cow does not need the tiger.
("cow" "needs" "tiger" "-")
The cow visits the bear.
("cow" "visits" "bear" "+")
The cow visits the tiger.
("cow" "visits" "tiger" "+")
The tiger does not eat the cow.
("tiger" "eats" "cow" "-")
The tiger visits the cow.
("tiger" "visits" "cow" "+")
If the bear visits the tiger and the tiger needs the cow then the cow is green.
((("bear" "visits" "tiger" "+") ("tiger" "needs" "cow" "+")) -> ("cow" "is" "green" "+"))
If the cow is not red then the cow does not eat the cat.
((("cow" "is" "red" "~")) -> ("cow" "eats" "cat" "-"))
If someone is young and they eat the bear then the bear needs the tiger.
((("someone" "is" "young" "+") ("someone" "eats" "bear" "+")) -> ("bear" "needs" "tiger" "+"))
If someone needs the tiger then they do not eat the cat.
((("someone" "needs" "tiger" "+")) -> ("someone" "eats" "cat" "-"))
If someone eats the cow and they do not need the bear then the cow is not nice.
((("someone" "eats" "cow" "+") ("someone" "needs" "bear" "~")) -> ("cow" "is" "nice" "-"))
If someone is big and they visit the cat then they need the cat.
((("someone" "is" "big" "+") ("someone" "visits" "cat" "+")) -> ("someone" "needs" "cat" "+"))
The cat visits the bear.
True
1
proof
[(triple3)]
("cat" "visits" "bear" "+")
triple3
The cow is not red.
False
1
inv-proof
[(triple6)]
("cow" "is" "red" "-")
triple6
The cow is not green.
Unknown
inv-rconc
[@1: The cow is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "is" "green" "-")
The cow is young.
Unknown
random
[@0: The cow is young.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "young" "+")
@0: The bear does not eat the cat.[(triple1 OR ((triple2) -> rule4))] The bear needs the tiger.[(triple2)] The cat visits the bear.[(triple3)] The cat visits the tiger.[(triple4)] The cow does not need the tiger.[(triple8)] The cow eats the cat.[(triple5)] The cow is red.[(triple6)] The cow needs the cat.[(triple7)] The cow visits the bear.[(triple9)] The cow visits the tiger.[(triple10)] The tiger does not eat the cow.[(triple11)] The tiger visits the cow.[(triple12)]
The bear does not eat the cat.
("bear" "eats" "cat" "-")
triple1
((triple2) -> (rule4 % int1))
The bear does not eat the cat.
("bear" "eats" "cat" "-")
int1
The bear needs the tiger.
("bear" "needs" "tiger" "+")
triple2
The cat visits the bear.
("cat" "visits" "bear" "+")
triple3
The cat visits the tiger.
("cat" "visits" "tiger" "+")
triple4
The cow does not need the tiger.
("cow" "needs" "tiger" "-")
triple8
The cow eats the cat.
("cow" "eats" "cat" "+")
triple5
The cow is red.
("cow" "is" "red" "+")
triple6
The cow needs the cat.
("cow" "needs" "cat" "+")
triple7
The cow visits the bear.
("cow" "visits" "bear" "+")
triple9
The cow visits the tiger.
("cow" "visits" "tiger" "+")
triple10
The tiger does not eat the cow.
("tiger" "eats" "cow" "-")
triple11
The tiger visits the cow.
("tiger" "visits" "cow" "+")
triple12