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