The bear chases the lion. The bear is green. The bear visits the lion. The cat chases the bear. The cat is big. The cat is rough. The cat visits the bear. The lion chases the cat. The lion is big. The lion is cold. The rabbit is cold. The rabbit visits the lion. If something is green then it chases the bear.
The bear chases the lion.
("bear" "chases" "lion" "+")
The bear is green.
("bear" "is" "green" "+")
The bear visits the lion.
("bear" "visits" "lion" "+")
The cat chases the bear.
("cat" "chases" "bear" "+")
The cat is big.
("cat" "is" "big" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat visits the bear.
("cat" "visits" "bear" "+")
The lion chases the cat.
("lion" "chases" "cat" "+")
The lion is big.
("lion" "is" "big" "+")
The lion is cold.
("lion" "is" "cold" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
If something is green then it chases the bear.
((("something" "is" "green" "+")) -> ("something" "chases" "bear" "+"))
The lion is big.
True
1
proof
[(triple9)]
("lion" "is" "big" "+")
triple9
The rabbit is not cold.
False
1
inv-proof
[(triple11)]
("rabbit" "is" "cold" "-")
triple11
The bear chases the bear.
True
2
proof
[(((triple2) -> rule1))]
("bear" "chases" "bear" "+")
((triple2) -> (rule1 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear does not chase the bear.
False
2
inv-proof
[(((triple2) -> rule1))]
("bear" "chases" "bear" "-")
((triple2) -> (rule1 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The rabbit does not chase the bear.
Unknown
inv-rconc
[@1: The rabbit chases the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "chases" "bear" "-")
The lion chases the bear.
Unknown
rconc
[@1: The lion chases the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "chases" "bear" "+")
The bear does not like the cat.
Unknown
inv-random
[@0: The bear likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "cat" "-")
The lion visits the bear.
Unknown
random
[@0: The lion visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "bear" "+")
@0: The bear chases the lion.[(triple1)] The bear is green.[(triple2)] The bear visits the lion.[(triple3)] The cat chases the bear.[(triple4)] The cat is big.[(triple5)] The cat is rough.[(triple6)] The cat visits the bear.[(triple7)] The lion chases the cat.[(triple8)] The lion is big.[(triple9)] The lion is cold.[(triple10)] The rabbit is cold.[(triple11)] The rabbit visits the lion.[(triple12)] @1: The bear chases the bear.[(((triple2) -> rule1))]
The bear chases the lion.
("bear" "chases" "lion" "+")
triple1
The bear is green.
("bear" "is" "green" "+")
triple2
The bear visits the lion.
("bear" "visits" "lion" "+")
triple3
The cat chases the bear.
("cat" "chases" "bear" "+")
triple4
The cat is big.
("cat" "is" "big" "+")
triple5
The cat is rough.
("cat" "is" "rough" "+")
triple6
The cat visits the bear.
("cat" "visits" "bear" "+")
triple7
The lion chases the cat.
("lion" "chases" "cat" "+")
triple8
The lion is big.
("lion" "is" "big" "+")
triple9
The lion is cold.
("lion" "is" "cold" "+")
triple10
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple11
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
triple12
The bear chases the bear.
("bear" "chases" "bear" "+")
((triple2) -> (rule1 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1