The cow is young. The lion is cold. The tiger chases the lion. If someone chases the tiger and they eat the tiger then they are cold. If the tiger sees the cow then the cow is young. If someone eats the lion then they see the cow. If someone chases the cow then the cow eats the lion. If someone chases the tiger and the tiger sees the lion then they see the tiger. If someone sees the lion and they see the cow then they chase the cow.
The cow is young.
("cow" "is" "young" "+")
The lion is cold.
("lion" "is" "cold" "+")
The tiger chases the lion.
("tiger" "chases" "lion" "+")
If someone chases the tiger and they eat the tiger then they are cold.
((("someone" "chases" "tiger" "+") ("someone" "eats" "tiger" "+")) -> ("someone" "is" "cold" "+"))
If the tiger sees the cow then the cow is young.
((("tiger" "sees" "cow" "+")) -> ("cow" "is" "young" "+"))
If someone eats the lion then they see the cow.
((("someone" "eats" "lion" "+")) -> ("someone" "sees" "cow" "+"))
If someone chases the cow then the cow eats the lion.
((("someone" "chases" "cow" "+")) -> ("cow" "eats" "lion" "+"))
If someone chases the tiger and the tiger sees the lion then they see the tiger.
((("someone" "chases" "tiger" "+") ("tiger" "sees" "lion" "+")) -> ("someone" "sees" "tiger" "+"))
If someone sees the lion and they see the cow then they chase the cow.
((("someone" "sees" "lion" "+") ("someone" "sees" "cow" "+")) -> ("someone" "chases" "cow" "+"))
The tiger chases the lion.
True
1
proof
[(triple3)]
("tiger" "chases" "lion" "+")
triple3
The cow is not young.
False
1
inv-proof
[(triple1)]
("cow" "is" "young" "-")
triple1
The cow does not see the tiger.
Unknown
inv-rconc
[@1: The cow sees the tiger.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cow" "sees" "tiger" "-")
The cow chases the lion.
Unknown
random
[@0: The cow chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "lion" "+")
@0: The cow is young.[(triple1)] The lion is cold.[(triple2)] The tiger chases the lion.[(triple3)]
The cow is young.
("cow" "is" "young" "+")
triple1
The lion is cold.
("lion" "is" "cold" "+")
triple2
The tiger chases the lion.
("tiger" "chases" "lion" "+")
triple3