The bear chases the cat. The bear does not see the rabbit. The cat chases the rabbit. The cat is green. The lion is green. The lion is not red. The lion likes the bear. The lion likes the rabbit. The lion sees the rabbit. The rabbit is green. If the cat sees the bear and the cat likes the bear then the bear does not see the cat. If something sees the rabbit then it is not young. If the cat chases the rabbit and the rabbit chases the lion then the cat is not young. If something chases the bear and it is not nice then the bear does not see the lion. If the lion chases the bear then the bear does not see the lion. If the lion chases the cat then the lion chases the bear. If something is nice then it chases the rabbit. If something is round and it chases the cat then it likes the lion.
The bear chases the cat.
("bear" "chases" "cat" "+")
The bear does not see the rabbit.
("bear" "sees" "rabbit" "-")
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
The cat is green.
("cat" "is" "green" "+")
The lion is green.
("lion" "is" "green" "+")
The lion is not red.
("lion" "is" "red" "-")
The lion likes the bear.
("lion" "likes" "bear" "+")
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
If the cat sees the bear and the cat likes the bear then the bear does not see the cat.
((("cat" "sees" "bear" "+") ("cat" "likes" "bear" "+")) -> ("bear" "sees" "cat" "-"))
If something sees the rabbit then it is not young.
((("something" "sees" "rabbit" "+")) -> ("something" "is" "young" "-"))
If the cat chases the rabbit and the rabbit chases the lion then the cat is not young.
((("cat" "chases" "rabbit" "+") ("rabbit" "chases" "lion" "+")) -> ("cat" "is" "young" "-"))
If something chases the bear and it is not nice then the bear does not see the lion.
((("something" "chases" "bear" "+") ("something" "is" "nice" "~")) -> ("bear" "sees" "lion" "-"))
If the lion chases the bear then the bear does not see the lion.
((("lion" "chases" "bear" "+")) -> ("bear" "sees" "lion" "-"))
If the lion chases the cat then the lion chases the bear.
((("lion" "chases" "cat" "+")) -> ("lion" "chases" "bear" "+"))
If something is nice then it chases the rabbit.
((("something" "is" "nice" "+")) -> ("something" "chases" "rabbit" "+"))
If something is round and it chases the cat then it likes the lion.
((("something" "is" "round" "+") ("something" "chases" "cat" "+")) -> ("something" "likes" "lion" "+"))
The lion likes the rabbit.
True
1
proof
[(triple8)]
("lion" "likes" "rabbit" "+")
triple8
The lion is red.
False
1
inv-proof
[(triple6)]
("lion" "is" "red" "+")
triple6
The lion is not young.
True
2
proof
[(((triple9) -> rule2))]
("lion" "is" "young" "-")
((triple9) -> (rule2 % int1))
The lion is not young.
("lion" "is" "young" "-")
int1
The lion is young.
False
2
inv-proof
[(((triple9) -> rule2))]
("lion" "is" "young" "+")
((triple9) -> (rule2 % int1))
The lion is not young.
("lion" "is" "young" "-")
int1
The lion does not like the lion.
Unknown
inv-rconc
[@1: The lion likes the lion.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("lion" "likes" "lion" "-")
The rabbit likes the lion.
Unknown
rconc
[@1: The rabbit likes the lion.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("rabbit" "likes" "lion" "+")
The bear does not chase the lion.
Unknown
inv-random
[@0: The bear chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "lion" "-")
The cat is red.
Unknown
random
[@0: The cat is red.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "red" "+")
@0: The bear chases the cat.[(triple1)] The bear does not see the rabbit.[(triple2)] The cat chases the rabbit.[(triple3)] The cat is green.[(triple4)] The lion is green.[(triple5)] The lion is not red.[(triple6)] The lion likes the bear.[(triple7)] The lion likes the rabbit.[(triple8)] The lion sees the rabbit.[(triple9)] The rabbit is green.[(triple10)] @1: The lion is not young.[(((triple9) -> rule2))]
The bear chases the cat.
("bear" "chases" "cat" "+")
triple1
The bear does not see the rabbit.
("bear" "sees" "rabbit" "-")
triple2
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
triple3
The cat is green.
("cat" "is" "green" "+")
triple4
The lion is green.
("lion" "is" "green" "+")
triple5
The lion is not red.
("lion" "is" "red" "-")
triple6
The lion likes the bear.
("lion" "likes" "bear" "+")
triple7
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
triple8
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
triple9
The rabbit is green.
("rabbit" "is" "green" "+")
triple10
The lion is not young.
("lion" "is" "young" "-")
((triple9) -> (rule2 % int1))
The lion is not young.
("lion" "is" "young" "-")
int1