The bear does not eat the dog. The cat is round. The cat needs the dog. The dog does not eat the lion. The dog needs the lion. The dog sees the bear. The lion eats the dog. The lion is round. The lion needs the bear. The lion sees the bear. If someone is round and they eat the dog then the dog does not need the bear. If someone needs the cat then the cat eats the bear. If someone eats the cat and they are green then the cat eats the bear.
The bear does not eat the dog.
("bear" "eats" "dog" "-")
The cat is round.
("cat" "is" "round" "+")
The cat needs the dog.
("cat" "needs" "dog" "+")
The dog does not eat the lion.
("dog" "eats" "lion" "-")
The dog needs the lion.
("dog" "needs" "lion" "+")
The dog sees the bear.
("dog" "sees" "bear" "+")
The lion eats the dog.
("lion" "eats" "dog" "+")
The lion is round.
("lion" "is" "round" "+")
The lion needs the bear.
("lion" "needs" "bear" "+")
The lion sees the bear.
("lion" "sees" "bear" "+")
If someone is round and they eat the dog then the dog does not need the bear.
((("someone" "is" "round" "+") ("someone" "eats" "dog" "+")) -> ("dog" "needs" "bear" "-"))
If someone needs the cat then the cat eats the bear.
((("someone" "needs" "cat" "+")) -> ("cat" "eats" "bear" "+"))
If someone eats the cat and they are green then the cat eats the bear.
((("someone" "eats" "cat" "+") ("someone" "is" "green" "+")) -> ("cat" "eats" "bear" "+"))
The bear does not eat the dog.
True
1
proof
[(triple1)]
("bear" "eats" "dog" "-")
triple1
The lion is not round.
False
1
inv-proof
[(triple8)]
("lion" "is" "round" "-")
triple8
The dog does not need the bear.
True
3
proof
[(((triple8 triple7) -> rule1))]
("dog" "needs" "bear" "-")
((triple8 triple7) -> (rule1 % int1))
The dog does not need the bear.
("dog" "needs" "bear" "-")
int1
The dog needs the bear.
False
3
inv-proof
[(((triple8 triple7) -> rule1))]
("dog" "needs" "bear" "+")
((triple8 triple7) -> (rule1 % int1))
The dog does not need the bear.
("dog" "needs" "bear" "-")
int1
The cat does not eat the bear.
Unknown
inv-rconc
[@1: The cat eats the bear.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "eats" "bear" "-")
The lion eats the lion.
Unknown
random
[@0: The lion eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "lion" "+")
The bear does not need the bear.
Unknown
inv-random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "-")
The lion is young.
Unknown
random
[@0: The lion is young.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "young" "+")
@0: The bear does not eat the dog.[(triple1)] The cat is round.[(triple2)] The cat needs the dog.[(triple3)] The dog does not eat the lion.[(triple4)] The dog needs the lion.[(triple5)] The dog sees the bear.[(triple6)] The lion eats the dog.[(triple7)] The lion is round.[(triple8)] The lion needs the bear.[(triple9)] The lion sees the bear.[(triple10)] @1: The dog does not need the bear.[(((triple8 triple7) -> rule1))]
The bear does not eat the dog.
("bear" "eats" "dog" "-")
triple1
The cat is round.
("cat" "is" "round" "+")
triple2
The cat needs the dog.
("cat" "needs" "dog" "+")
triple3
The dog does not eat the lion.
("dog" "eats" "lion" "-")
triple4
The dog needs the lion.
("dog" "needs" "lion" "+")
triple5
The dog sees the bear.
("dog" "sees" "bear" "+")
triple6
The lion eats the dog.
("lion" "eats" "dog" "+")
triple7
The lion is round.
("lion" "is" "round" "+")
triple8
The lion needs the bear.
("lion" "needs" "bear" "+")
triple9
The lion sees the bear.
("lion" "sees" "bear" "+")
triple10
The dog does not need the bear.
("dog" "needs" "bear" "-")
((triple8 triple7) -> (rule1 % int1))
The dog does not need the bear.
("dog" "needs" "bear" "-")
int1