The bear chases the lion. The dog chases the bear. The lion is round. If someone chases the bear then the bear eats the dog. If someone chases the dog and the dog chases the lion then they eat the bear. If someone likes the bear and they eat the lion then the lion is big. If someone chases the lion then they are blue. If someone is young then they like the dog. If someone chases the lion and the lion eats the dog then the dog chases the lion.
The bear chases the lion.
("bear" "chases" "lion" "+")
The dog chases the bear.
("dog" "chases" "bear" "+")
The lion is round.
("lion" "is" "round" "+")
If someone chases the bear then the bear eats the dog.
((("someone" "chases" "bear" "+")) -> ("bear" "eats" "dog" "+"))
If someone chases the dog and the dog chases the lion then they eat the bear.
((("someone" "chases" "dog" "+") ("dog" "chases" "lion" "+")) -> ("someone" "eats" "bear" "+"))
If someone likes the bear and they eat the lion then the lion is big.
((("someone" "likes" "bear" "+") ("someone" "eats" "lion" "+")) -> ("lion" "is" "big" "+"))
If someone chases the lion then they are blue.
((("someone" "chases" "lion" "+")) -> ("someone" "is" "blue" "+"))
If someone is young then they like the dog.
((("someone" "is" "young" "+")) -> ("someone" "likes" "dog" "+"))
If someone chases the lion and the lion eats the dog then the dog chases the lion.
((("someone" "chases" "lion" "+") ("lion" "eats" "dog" "+")) -> ("dog" "chases" "lion" "+"))
The bear chases the lion.
True
1
proof
[(triple1)]
("bear" "chases" "lion" "+")
triple1
The dog does not chase the bear.
False
1
inv-proof
[(triple2)]
("dog" "chases" "bear" "-")
triple2
The bear is blue.
True
2
proof
[(((triple1) -> rule4))]
("bear" "is" "blue" "+")
((triple1) -> (rule4 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear does not eat the dog.
False
2
inv-proof
[(((triple2) -> rule1))]
("bear" "eats" "dog" "-")
((triple2) -> (rule1 % int1))
The bear eats the dog.
("bear" "eats" "dog" "+")
int1
The lion does not like the dog.
Unknown
inv-rconc
[@1: The lion likes the dog.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("lion" "likes" "dog" "-")
The lion is blue.
Unknown
rconc
[@1: The lion is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("lion" "is" "blue" "+")
The dog does not eat the dog.
Unknown
inv-random
[@0: The dog eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "dog" "-")
The bear chases the bear.
Unknown
random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "+")
@0: The bear chases the lion.[(triple1)] The dog chases the bear.[(triple2)] The lion is round.[(triple3)] @1: The bear eats the dog.[(((triple2) -> rule1))] The bear is blue.[(((triple1) -> rule4))]
The bear chases the lion.
("bear" "chases" "lion" "+")
triple1
The dog chases the bear.
("dog" "chases" "bear" "+")
triple2
The lion is round.
("lion" "is" "round" "+")
triple3
The bear eats the dog.
("bear" "eats" "dog" "+")
((triple2) -> (rule1 % int1))
The bear eats the dog.
("bear" "eats" "dog" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
((triple1) -> (rule4 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1