The bear chases the lion. The bear chases the rabbit. The bear likes the cow. The bear visits the rabbit. The cow visits the lion. The lion chases the cow. The lion chases the rabbit. The lion is nice. The lion likes the bear. The lion visits the rabbit. The rabbit is nice. The rabbit is round. The rabbit likes the cow. The rabbit visits the bear. The rabbit visits the cow. If the bear likes the lion and the bear chases the rabbit then the lion chases the cow. If something chases the rabbit then the rabbit is round. If something is kind and it visits the bear then it likes the bear. If something chases the cow and the cow chases the lion then the cow chases the bear. If something chases the bear and it visits the rabbit then it visits the cow. If something chases the lion and it chases the cow then it visits the bear. If something visits the cow and it is green then it is round. If something is nice then it likes the bear.
The bear chases the lion.
("bear" "chases" "lion" "+")
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
The bear likes the cow.
("bear" "likes" "cow" "+")
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
The cow visits the lion.
("cow" "visits" "lion" "+")
The lion chases the cow.
("lion" "chases" "cow" "+")
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion likes the bear.
("lion" "likes" "bear" "+")
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
If the bear likes the lion and the bear chases the rabbit then the lion chases the cow.
((("bear" "likes" "lion" "+") ("bear" "chases" "rabbit" "+")) -> ("lion" "chases" "cow" "+"))
If something chases the rabbit then the rabbit is round.
((("something" "chases" "rabbit" "+")) -> ("rabbit" "is" "round" "+"))
If something is kind and it visits the bear then it likes the bear.
((("something" "is" "kind" "+") ("something" "visits" "bear" "+")) -> ("something" "likes" "bear" "+"))
If something chases the cow and the cow chases the lion then the cow chases the bear.
((("something" "chases" "cow" "+") ("cow" "chases" "lion" "+")) -> ("cow" "chases" "bear" "+"))
If something chases the bear and it visits the rabbit then it visits the cow.
((("something" "chases" "bear" "+") ("something" "visits" "rabbit" "+")) -> ("something" "visits" "cow" "+"))
If something chases the lion and it chases the cow then it visits the bear.
((("something" "chases" "lion" "+") ("something" "chases" "cow" "+")) -> ("something" "visits" "bear" "+"))
If something visits the cow and it is green then it is round.
((("something" "visits" "cow" "+") ("something" "is" "green" "+")) -> ("something" "is" "round" "+"))
If something is nice then it likes the bear.
((("something" "is" "nice" "+")) -> ("something" "likes" "bear" "+"))
The cow visits the lion.
True
1
proof
[(triple5)]
("cow" "visits" "lion" "+")
triple5
The rabbit is not nice.
False
1
inv-proof
[(triple11)]
("rabbit" "is" "nice" "-")
triple11
The rabbit likes the bear.
True
2
proof
[(((triple11) -> rule8))]
("rabbit" "likes" "bear" "+")
((triple11) -> (rule8 % int1))
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
int1
The rabbit does not like the bear.
False
2
inv-proof
[(((triple11) -> rule8))]
("rabbit" "likes" "bear" "-")
((triple11) -> (rule8 % int1))
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
int1
The lion does not visit the bear.
Unknown
inv-rconc
[@1: The lion visits the bear.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("lion" "visits" "bear" "-")
The lion is round.
Unknown
rconc
[@1: The lion is round.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("lion" "is" "round" "+")
The bear is not nice.
Unknown
inv-random
[@0: The bear is nice.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "nice" "-")
The rabbit is kind.
Unknown
random
[@0: The rabbit is kind.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "kind" "+")
@0: The bear chases the lion.[(triple1)] The bear chases the rabbit.[(triple2)] The bear likes the cow.[(triple3)] The bear visits the rabbit.[(triple4)] The cow visits the lion.[(triple5)] The lion chases the cow.[(triple6)] The lion chases the rabbit.[(triple7)] The lion is nice.[(triple8)] The lion likes the bear.[(triple9 OR ((triple8) -> rule8))] The lion visits the rabbit.[(triple10)] The rabbit is nice.[(triple11)] The rabbit is round.[(triple12 OR ((triple2) -> rule2) OR ((triple7) -> rule2))] The rabbit likes the cow.[(triple13)] The rabbit visits the bear.[(triple14)] The rabbit visits the cow.[(triple15)] @1: The rabbit likes the bear.[(((triple11) -> rule8))]
The bear chases the lion.
("bear" "chases" "lion" "+")
triple1
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
triple2
The bear likes the cow.
("bear" "likes" "cow" "+")
triple3
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
triple4
The cow visits the lion.
("cow" "visits" "lion" "+")
triple5
The lion chases the cow.
("lion" "chases" "cow" "+")
triple6
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
triple7
The lion is nice.
("lion" "is" "nice" "+")
triple8
The lion likes the bear.
("lion" "likes" "bear" "+")
triple9
((triple8) -> (rule8 % int1))
The lion likes the bear.
("lion" "likes" "bear" "+")
int1
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
triple10
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple11
The rabbit is round.
("rabbit" "is" "round" "+")
triple12
((triple2) -> (rule2 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
((triple7) -> (rule2 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
triple13
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
triple14
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
triple15
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
((triple11) -> (rule8 % int1))
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
int1