The cow chases the lion. The cow chases the tiger. The cow likes the lion. The lion chases the cow. The lion chases the tiger. The lion is young. The lion likes the cow. The lion likes the tiger. The tiger chases the cow. The tiger chases the lion. The tiger is cold. The tiger needs the lion. If the lion needs the tiger then the lion is cold. If someone likes the cow and they like the tiger then the cow chases the lion. If someone is big and they like the tiger then the tiger is young.
The cow chases the lion.
("cow" "chases" "lion" "+")
The cow chases the tiger.
("cow" "chases" "tiger" "+")
The cow likes the lion.
("cow" "likes" "lion" "+")
The lion chases the cow.
("lion" "chases" "cow" "+")
The lion chases the tiger.
("lion" "chases" "tiger" "+")
The lion is young.
("lion" "is" "young" "+")
The lion likes the cow.
("lion" "likes" "cow" "+")
The lion likes the tiger.
("lion" "likes" "tiger" "+")
The tiger chases the cow.
("tiger" "chases" "cow" "+")
The tiger chases the lion.
("tiger" "chases" "lion" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger needs the lion.
("tiger" "needs" "lion" "+")
If the lion needs the tiger then the lion is cold.
((("lion" "needs" "tiger" "+")) -> ("lion" "is" "cold" "+"))
If someone likes the cow and they like the tiger then the cow chases the lion.
((("someone" "likes" "cow" "+") ("someone" "likes" "tiger" "+")) -> ("cow" "chases" "lion" "+"))
If someone is big and they like the tiger then the tiger is young.
((("someone" "is" "big" "+") ("someone" "likes" "tiger" "+")) -> ("tiger" "is" "young" "+"))
The lion likes the tiger.
True
1
proof
[(triple8)]
("lion" "likes" "tiger" "+")
triple8
The cow does not chase the lion.
False
1
inv-proof
[(triple1 OR ((triple7 triple8) -> rule2))]
("cow" "chases" "lion" "-")
triple1
((triple7 triple8) -> (rule2 % int1))
The cow chases the lion.
("cow" "chases" "lion" "+")
int1
The lion is not cold.
Unknown
inv-rconc
[@1: The lion is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "is" "cold" "-")
The tiger is big.
Unknown
random
[@0: The tiger is big.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "big" "+")
@0: The cow chases the lion.[(triple1 OR ((triple7 triple8) -> rule2))] The cow chases the tiger.[(triple2)] The cow likes the lion.[(triple3)] The lion chases the cow.[(triple4)] The lion chases the tiger.[(triple5)] The lion is young.[(triple6)] The lion likes the cow.[(triple7)] The lion likes the tiger.[(triple8)] The tiger chases the cow.[(triple9)] The tiger chases the lion.[(triple10)] The tiger is cold.[(triple11)] The tiger needs the lion.[(triple12)]
The cow chases the lion.
("cow" "chases" "lion" "+")
triple1
((triple7 triple8) -> (rule2 % int1))
The cow chases the lion.
("cow" "chases" "lion" "+")
int1
The cow chases the tiger.
("cow" "chases" "tiger" "+")
triple2
The cow likes the lion.
("cow" "likes" "lion" "+")
triple3
The lion chases the cow.
("lion" "chases" "cow" "+")
triple4
The lion chases the tiger.
("lion" "chases" "tiger" "+")
triple5
The lion is young.
("lion" "is" "young" "+")
triple6
The lion likes the cow.
("lion" "likes" "cow" "+")
triple7
The lion likes the tiger.
("lion" "likes" "tiger" "+")
triple8
The tiger chases the cow.
("tiger" "chases" "cow" "+")
triple9
The tiger chases the lion.
("tiger" "chases" "lion" "+")
triple10
The tiger is cold.
("tiger" "is" "cold" "+")
triple11
The tiger needs the lion.
("tiger" "needs" "lion" "+")
triple12