The bear eats the tiger. The dog is not green. The tiger is red. If the dog is red then the dog eats the bear. If someone likes the dog and the dog is not cold then they are not kind.
The bear eats the tiger.
("bear" "eats" "tiger" "+")
The dog is not green.
("dog" "is" "green" "-")
The tiger is red.
("tiger" "is" "red" "+")
If the dog is red then the dog eats the bear.
((("dog" "is" "red" "+")) -> ("dog" "eats" "bear" "+"))
If someone likes the dog and the dog is not cold then they are not kind.
((("someone" "likes" "dog" "+") ("dog" "is" "cold" "~")) -> ("someone" "is" "kind" "-"))
The bear eats the tiger.
True
1
proof
[(triple1)]
("bear" "eats" "tiger" "+")
triple1
The bear does not eat the tiger.
False
1
inv-proof
[(triple1)]
("bear" "eats" "tiger" "-")
triple1
The dog does not eat the bear.
Unknown
inv-rconc
[@1: The dog eats the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "eats" "bear" "-")
The dog visits the bear.
Unknown
random
[@0: The dog visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "bear" "+")
@0: The bear eats the tiger.[(triple1)] The dog is not green.[(triple2)] The tiger is red.[(triple3)]
The bear eats the tiger.
("bear" "eats" "tiger" "+")
triple1
The dog is not green.
("dog" "is" "green" "-")
triple2
The tiger is red.
("tiger" "is" "red" "+")
triple3