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