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