The bear needs the lion. The cat does not eat the bear. The cat eats the lion. The cat is not round. The cat needs the lion. The cat does not see the bear. The cat sees the lion. The dog eats the cat. The dog eats the lion. The dog is blue. The dog is round. The dog needs the cat. The lion needs the cat. The lion does not see the bear. The lion sees the dog. If someone needs the lion and they do not eat the cat then the lion does not see the bear. If someone is rough then they do not see the cat. If the cat needs the lion and the cat is blue then the cat is rough.
The bear needs the lion.
("bear" "needs" "lion" "+")
The cat does not eat the bear.
("cat" "eats" "bear" "-")
The cat eats the lion.
("cat" "eats" "lion" "+")
The cat is not round.
("cat" "is" "round" "-")
The cat needs the lion.
("cat" "needs" "lion" "+")
The cat does not see the bear.
("cat" "sees" "bear" "-")
The cat sees the lion.
("cat" "sees" "lion" "+")
The dog eats the cat.
("dog" "eats" "cat" "+")
The dog eats the lion.
("dog" "eats" "lion" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is round.
("dog" "is" "round" "+")
The dog needs the cat.
("dog" "needs" "cat" "+")
The lion needs the cat.
("lion" "needs" "cat" "+")
The lion does not see the bear.
("lion" "sees" "bear" "-")
The lion sees the dog.
("lion" "sees" "dog" "+")
If someone needs the lion and they do not eat the cat then the lion does not see the bear.
((("someone" "needs" "lion" "+") ("someone" "eats" "cat" "~")) -> ("lion" "sees" "bear" "-"))
If someone is rough then they do not see the cat.
((("someone" "is" "rough" "+")) -> ("someone" "sees" "cat" "-"))
If the cat needs the lion and the cat is blue then the cat is rough.
((("cat" "needs" "lion" "+") ("cat" "is" "blue" "+")) -> ("cat" "is" "rough" "+"))
The dog is round.
True
1
proof
[(triple11)]
("dog" "is" "round" "+")
triple11
The cat eats the bear.
False
1
inv-proof
[(triple2)]
("cat" "eats" "bear" "+")
triple2
The cat is not rough.
Unknown
inv-rconc
[@1: The cat is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cat" "is" "rough" "-")
The lion is cold.
Unknown
random
[@0: The lion is cold.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "cold" "+")
@0: The bear needs the lion.[(triple1)] The cat does not eat the bear.[(triple2)] The cat does not see the bear.[(triple6)] The cat eats the lion.[(triple3)] The cat is not round.[(triple4)] The cat needs the lion.[(triple5)] The cat sees the lion.[(triple7)] The dog eats the cat.[(triple8)] The dog eats the lion.[(triple9)] The dog is blue.[(triple10)] The dog is round.[(triple11)] The dog needs the cat.[(triple12)] The lion does not see the bear.[(triple14)] The lion needs the cat.[(triple13)] The lion sees the dog.[(triple15)]
The bear needs the lion.
("bear" "needs" "lion" "+")
triple1
The cat does not eat the bear.
("cat" "eats" "bear" "-")
triple2
The cat does not see the bear.
("cat" "sees" "bear" "-")
triple6
The cat eats the lion.
("cat" "eats" "lion" "+")
triple3
The cat is not round.
("cat" "is" "round" "-")
triple4
The cat needs the lion.
("cat" "needs" "lion" "+")
triple5
The cat sees the lion.
("cat" "sees" "lion" "+")
triple7
The dog eats the cat.
("dog" "eats" "cat" "+")
triple8
The dog eats the lion.
("dog" "eats" "lion" "+")
triple9
The dog is blue.
("dog" "is" "blue" "+")
triple10
The dog is round.
("dog" "is" "round" "+")
triple11
The dog needs the cat.
("dog" "needs" "cat" "+")
triple12
The lion does not see the bear.
("lion" "sees" "bear" "-")
triple14
The lion needs the cat.
("lion" "needs" "cat" "+")
triple13
The lion sees the dog.
("lion" "sees" "dog" "+")
triple15