The bear chases the lion. The bear sees the cow. The bear sees the lion. The cow chases the lion. The cow is cold. The cow is round. The cow sees the lion. The lion chases the bear. The lion is cold. The lion is green. The lion is nice. The lion sees the bear. The lion sees the cow. The lion visits the bear. The lion visits the cow. If someone sees the lion and they chase the lion then the lion visits the bear. If someone is round and they chase the bear then they see the bear.
The bear chases the lion.
("bear" "chases" "lion" "+")
The bear sees the cow.
("bear" "sees" "cow" "+")
The bear sees the lion.
("bear" "sees" "lion" "+")
The cow chases the lion.
("cow" "chases" "lion" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow is round.
("cow" "is" "round" "+")
The cow sees the lion.
("cow" "sees" "lion" "+")
The lion chases the bear.
("lion" "chases" "bear" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion is green.
("lion" "is" "green" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion sees the bear.
("lion" "sees" "bear" "+")
The lion sees the cow.
("lion" "sees" "cow" "+")
The lion visits the bear.
("lion" "visits" "bear" "+")
The lion visits the cow.
("lion" "visits" "cow" "+")
If someone sees the lion and they chase the lion then the lion visits the bear.
((("someone" "sees" "lion" "+") ("someone" "chases" "lion" "+")) -> ("lion" "visits" "bear" "+"))
If someone is round and they chase the bear then they see the bear.
((("someone" "is" "round" "+") ("someone" "chases" "bear" "+")) -> ("someone" "sees" "bear" "+"))
The cow is round.
True
1
proof
[(triple6)]
("cow" "is" "round" "+")
triple6
The lion does not visit the cow.
False
1
inv-proof
[(triple15)]
("lion" "visits" "cow" "-")
triple15
The bear does not see the bear.
Unknown
inv-rconc
[@1: The bear sees the bear.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "sees" "bear" "-")
The lion is round.
Unknown
random
[@0: The lion is round.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "round" "+")
@0: The bear chases the lion.[(triple1)] The bear sees the cow.[(triple2)] The bear sees the lion.[(triple3)] The cow chases the lion.[(triple4)] The cow is cold.[(triple5)] The cow is round.[(triple6)] The cow sees the lion.[(triple7)] The lion chases the bear.[(triple8)] The lion is cold.[(triple9)] The lion is green.[(triple10)] The lion is nice.[(triple11)] The lion sees the bear.[(triple12)] The lion sees the cow.[(triple13)] The lion visits the bear.[(triple14 OR ((triple3 triple1) -> rule1) OR ((triple7 triple4) -> rule1))] The lion visits the cow.[(triple15)]
The bear chases the lion.
("bear" "chases" "lion" "+")
triple1
The bear sees the cow.
("bear" "sees" "cow" "+")
triple2
The bear sees the lion.
("bear" "sees" "lion" "+")
triple3
The cow chases the lion.
("cow" "chases" "lion" "+")
triple4
The cow is cold.
("cow" "is" "cold" "+")
triple5
The cow is round.
("cow" "is" "round" "+")
triple6
The cow sees the lion.
("cow" "sees" "lion" "+")
triple7
The lion chases the bear.
("lion" "chases" "bear" "+")
triple8
The lion is cold.
("lion" "is" "cold" "+")
triple9
The lion is green.
("lion" "is" "green" "+")
triple10
The lion is nice.
("lion" "is" "nice" "+")
triple11
The lion sees the bear.
("lion" "sees" "bear" "+")
triple12
The lion sees the cow.
("lion" "sees" "cow" "+")
triple13
The lion visits the bear.
("lion" "visits" "bear" "+")
triple14
((triple3 triple1) -> (rule1 % int1))
The lion visits the bear.
("lion" "visits" "bear" "+")
int1
((triple7 triple4) -> (rule1 % int1))
The lion visits the bear.
("lion" "visits" "bear" "+")
int1
The lion visits the cow.
("lion" "visits" "cow" "+")
triple15