The cow chases the tiger. The cow is green. The lion is not round. The lion likes the tiger. The tiger does not chase the cow. The tiger chases the lion. The tiger eats the lion. The tiger is red. The tiger is round. The tiger likes the cow. If the cow eats the tiger and the cow is rough then the cow chases the tiger. If someone likes the tiger then they are green.
The cow chases the tiger.
("cow" "chases" "tiger" "+")
The cow is green.
("cow" "is" "green" "+")
The lion is not round.
("lion" "is" "round" "-")
The lion likes the tiger.
("lion" "likes" "tiger" "+")
The tiger does not chase the cow.
("tiger" "chases" "cow" "-")
The tiger chases the lion.
("tiger" "chases" "lion" "+")
The tiger eats the lion.
("tiger" "eats" "lion" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger is round.
("tiger" "is" "round" "+")
The tiger likes the cow.
("tiger" "likes" "cow" "+")
If the cow eats the tiger and the cow is rough then the cow chases the tiger.
((("cow" "eats" "tiger" "+") ("cow" "is" "rough" "+")) -> ("cow" "chases" "tiger" "+"))
If someone likes the tiger then they are green.
((("someone" "likes" "tiger" "+")) -> ("someone" "is" "green" "+"))
The cow is green.
True
1
proof
[(triple2)]
("cow" "is" "green" "+")
triple2
The cow does not chase the tiger.
False
1
inv-proof
[(triple1)]
("cow" "chases" "tiger" "-")
triple1
The tiger is not green.
Unknown
inv-rconc
[@1: The tiger is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "is" "green" "-")
The lion eats the lion.
Unknown
random
[@0: The lion eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "lion" "+")
@0: The cow chases the tiger.[(triple1)] The cow is green.[(triple2)] The lion is not round.[(triple3)] The lion likes the tiger.[(triple4)] The tiger chases the lion.[(triple6)] The tiger does not chase the cow.[(triple5)] The tiger eats the lion.[(triple7)] The tiger is red.[(triple8)] The tiger is round.[(triple9)] The tiger likes the cow.[(triple10)] @1: The lion is green.[(((triple4) -> rule2))]
The cow chases the tiger.
("cow" "chases" "tiger" "+")
triple1
The cow is green.
("cow" "is" "green" "+")
triple2
The lion is not round.
("lion" "is" "round" "-")
triple3
The lion likes the tiger.
("lion" "likes" "tiger" "+")
triple4
The tiger chases the lion.
("tiger" "chases" "lion" "+")
triple6
The tiger does not chase the cow.
("tiger" "chases" "cow" "-")
triple5
The tiger eats the lion.
("tiger" "eats" "lion" "+")
triple7
The tiger is red.
("tiger" "is" "red" "+")
triple8
The tiger is round.
("tiger" "is" "round" "+")
triple9
The tiger likes the cow.
("tiger" "likes" "cow" "+")
triple10
The lion is green.
("lion" "is" "green" "+")
((triple4) -> (rule2 % int1))
The lion is green.
("lion" "is" "green" "+")
int1