The bear is green. The cat eats the bear. The cat is blue. The cat is young. The cat visits the dog. The dog chases the bear. The dog chases the cat. The dog eats the cat. The dog is blue. The dog visits the cat. If someone is cold then they eat the cat. If someone eats the dog then they visit the cat.
The bear is green.
("bear" "is" "green" "+")
The cat eats the bear.
("cat" "eats" "bear" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat is young.
("cat" "is" "young" "+")
The cat visits the dog.
("cat" "visits" "dog" "+")
The dog chases the bear.
("dog" "chases" "bear" "+")
The dog chases the cat.
("dog" "chases" "cat" "+")
The dog eats the cat.
("dog" "eats" "cat" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog visits the cat.
("dog" "visits" "cat" "+")
If someone is cold then they eat the cat.
((("someone" "is" "cold" "+")) -> ("someone" "eats" "cat" "+"))
If someone eats the dog then they visit the cat.
((("someone" "eats" "dog" "+")) -> ("someone" "visits" "cat" "+"))
The dog eats the cat.
True
1
proof
[(triple8)]
("dog" "eats" "cat" "+")
triple8
The dog does not visit the cat.
False
1
inv-proof
[(triple10)]
("dog" "visits" "cat" "-")
triple10
The bear does not visit the cat.
Unknown
inv-rconc
[@1: The bear visits the cat.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "visits" "cat" "-")
The cat chases the cat.
Unknown
random
[@0: The cat chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "cat" "+")
@0: The bear is green.[(triple1)] The cat eats the bear.[(triple2)] The cat is blue.[(triple3)] The cat is young.[(triple4)] The cat visits the dog.[(triple5)] The dog chases the bear.[(triple6)] The dog chases the cat.[(triple7)] The dog eats the cat.[(triple8)] The dog is blue.[(triple9)] The dog visits the cat.[(triple10)]
The bear is green.
("bear" "is" "green" "+")
triple1
The cat eats the bear.
("cat" "eats" "bear" "+")
triple2
The cat is blue.
("cat" "is" "blue" "+")
triple3
The cat is young.
("cat" "is" "young" "+")
triple4
The cat visits the dog.
("cat" "visits" "dog" "+")
triple5
The dog chases the bear.
("dog" "chases" "bear" "+")
triple6
The dog chases the cat.
("dog" "chases" "cat" "+")
triple7
The dog eats the cat.
("dog" "eats" "cat" "+")
triple8
The dog is blue.
("dog" "is" "blue" "+")
triple9
The dog visits the cat.
("dog" "visits" "cat" "+")
triple10