The bear eats the cat. The bear is big. The bear is green. The bear sees the cat. The cat chases the bear. The cat is green. The cat is red. The cat sees the dog. The dog eats the bear. The dog eats the cat. The dog is nice. The dog sees the cat. If someone sees the bear and they chase the bear then the bear is nice.
The bear eats the cat.
("bear" "eats" "cat" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is green.
("bear" "is" "green" "+")
The bear sees the cat.
("bear" "sees" "cat" "+")
The cat chases the bear.
("cat" "chases" "bear" "+")
The cat is green.
("cat" "is" "green" "+")
The cat is red.
("cat" "is" "red" "+")
The cat sees the dog.
("cat" "sees" "dog" "+")
The dog eats the bear.
("dog" "eats" "bear" "+")
The dog eats the cat.
("dog" "eats" "cat" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog sees the cat.
("dog" "sees" "cat" "+")
If someone sees the bear and they chase the bear then the bear is nice.
((("someone" "sees" "bear" "+") ("someone" "chases" "bear" "+")) -> ("bear" "is" "nice" "+"))
The bear eats the cat.
True
1
proof
[(triple1)]
("bear" "eats" "cat" "+")
triple1
The cat is not green.
False
1
inv-proof
[(triple6)]
("cat" "is" "green" "-")
triple6
The bear is not nice.
Unknown
inv-rconc
[@1: The bear is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "is" "nice" "-")
The dog is red.
Unknown
random
[@0: The dog is red.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "red" "+")
@0: The bear eats the cat.[(triple1)] The bear is big.[(triple2)] The bear is green.[(triple3)] The bear sees the cat.[(triple4)] The cat chases the bear.[(triple5)] The cat is green.[(triple6)] The cat is red.[(triple7)] The cat sees the dog.[(triple8)] The dog eats the bear.[(triple9)] The dog eats the cat.[(triple10)] The dog is nice.[(triple11)] The dog sees the cat.[(triple12)]
The bear eats the cat.
("bear" "eats" "cat" "+")
triple1
The bear is big.
("bear" "is" "big" "+")
triple2
The bear is green.
("bear" "is" "green" "+")
triple3
The bear sees the cat.
("bear" "sees" "cat" "+")
triple4
The cat chases the bear.
("cat" "chases" "bear" "+")
triple5
The cat is green.
("cat" "is" "green" "+")
triple6
The cat is red.
("cat" "is" "red" "+")
triple7
The cat sees the dog.
("cat" "sees" "dog" "+")
triple8
The dog eats the bear.
("dog" "eats" "bear" "+")
triple9
The dog eats the cat.
("dog" "eats" "cat" "+")
triple10
The dog is nice.
("dog" "is" "nice" "+")
triple11
The dog sees the cat.
("dog" "sees" "cat" "+")
triple12