The cow chases the lion. The cow chases the tiger. The cow is kind. The cow is rough. The lion is big. The lion needs the tiger. The tiger chases the cow. The tiger chases the lion. The tiger likes the cow. The tiger does not need the cow. All young things are kind. If something is kind then it likes the tiger. If the lion likes the tiger and the lion does not need the tiger then the tiger is green.
The cow chases the lion.
("cow" "chases" "lion" "+")
The cow chases the tiger.
("cow" "chases" "tiger" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is rough.
("cow" "is" "rough" "+")
The lion is big.
("lion" "is" "big" "+")
The lion needs the tiger.
("lion" "needs" "tiger" "+")
The tiger chases the cow.
("tiger" "chases" "cow" "+")
The tiger chases the lion.
("tiger" "chases" "lion" "+")
The tiger likes the cow.
("tiger" "likes" "cow" "+")
The tiger does not need the cow.
("tiger" "needs" "cow" "-")
All young things are kind.
((("something" "is" "young" "+")) -> ("something" "is" "kind" "+"))
If something is kind then it likes the tiger.
((("something" "is" "kind" "+")) -> ("something" "likes" "tiger" "+"))
If the lion likes the tiger and the lion does not need the tiger then the tiger is green.
((("lion" "likes" "tiger" "+") ("lion" "needs" "tiger" "~")) -> ("tiger" "is" "green" "+"))
The tiger chases the lion.
True
1
proof
[(triple8)]
("tiger" "chases" "lion" "+")
triple8
The lion does not need the tiger.
False
1
inv-proof
[(triple6)]
("lion" "needs" "tiger" "-")
triple6
The lion does not like the tiger.
Unknown
inv-rconc
[@2: The lion likes the tiger.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("lion" "likes" "tiger" "-")
The cow is big.
Unknown
random
[@0: The cow is big.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "big" "+")
@0: The cow chases the lion.[(triple1)] The cow chases the tiger.[(triple2)] The cow is kind.[(triple3)] The cow is rough.[(triple4)] The lion is big.[(triple5)] The lion needs the tiger.[(triple6)] The tiger chases the cow.[(triple7)] The tiger chases the lion.[(triple8)] The tiger does not need the cow.[(triple10)] The tiger likes the cow.[(triple9)] @1: The cow likes the tiger.[(((triple3) -> rule2))]
The cow chases the lion.
("cow" "chases" "lion" "+")
triple1
The cow chases the tiger.
("cow" "chases" "tiger" "+")
triple2
The cow is kind.
("cow" "is" "kind" "+")
triple3
The cow is rough.
("cow" "is" "rough" "+")
triple4
The lion is big.
("lion" "is" "big" "+")
triple5
The lion needs the tiger.
("lion" "needs" "tiger" "+")
triple6
The tiger chases the cow.
("tiger" "chases" "cow" "+")
triple7
The tiger chases the lion.
("tiger" "chases" "lion" "+")
triple8
The tiger does not need the cow.
("tiger" "needs" "cow" "-")
triple10
The tiger likes the cow.
("tiger" "likes" "cow" "+")
triple9
The cow likes the tiger.
("cow" "likes" "tiger" "+")
((triple3) -> (rule2 % int1))
The cow likes the tiger.
("cow" "likes" "tiger" "+")
int1