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