The cow chases the lion. The cow is round. The lion needs the tiger. The squirrel chases the tiger. The squirrel needs the cow. The squirrel needs the tiger. The tiger is green. Blue, green people are round. If the lion likes the tiger then the tiger likes the squirrel. If someone is green and they chase the lion then they like the tiger. If someone is kind and green then they like the tiger. If someone needs the cow and the cow chases the lion then the cow needs the squirrel. If someone needs the cow then the cow likes the lion. If someone is kind then they chase the tiger. If someone likes the squirrel then the squirrel chases the tiger.
The cow chases the lion.
("cow" "chases" "lion" "+")
The cow is round.
("cow" "is" "round" "+")
The lion needs the tiger.
("lion" "needs" "tiger" "+")
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
The tiger is green.
("tiger" "is" "green" "+")
Blue, green people are round.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If the lion likes the tiger then the tiger likes the squirrel.
((("lion" "likes" "tiger" "+")) -> ("tiger" "likes" "squirrel" "+"))
If someone is green and they chase the lion then they like the tiger.
((("someone" "is" "green" "+") ("someone" "chases" "lion" "+")) -> ("someone" "likes" "tiger" "+"))
If someone is kind and green then they like the tiger.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "likes" "tiger" "+"))
If someone needs the cow and the cow chases the lion then the cow needs the squirrel.
((("someone" "needs" "cow" "+") ("cow" "chases" "lion" "+")) -> ("cow" "needs" "squirrel" "+"))
If someone needs the cow then the cow likes the lion.
((("someone" "needs" "cow" "+")) -> ("cow" "likes" "lion" "+"))
If someone is kind then they chase the tiger.
((("someone" "is" "kind" "+")) -> ("someone" "chases" "tiger" "+"))
If someone likes the squirrel then the squirrel chases the tiger.
((("someone" "likes" "squirrel" "+")) -> ("squirrel" "chases" "tiger" "+"))
The squirrel needs the tiger.
True
1
proof
[(triple6)]
("squirrel" "needs" "tiger" "+")
triple6
The cow does not chase the lion.
False
1
inv-proof
[(triple1)]
("cow" "chases" "lion" "-")
triple1
The squirrel is not round.
Unknown
inv-rconc
[@1: The squirrel is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "is" "round" "-")
The cow is blue.
Unknown
random
[@0: The cow is blue.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "blue" "+")
@0: The cow chases the lion.[(triple1)] The cow is round.[(triple2)] The lion needs the tiger.[(triple3)] The squirrel chases the tiger.[(triple4)] The squirrel needs the cow.[(triple5)] The squirrel needs the tiger.[(triple6)] The tiger is green.[(triple7)] @1: The cow likes the lion.[(((triple5) -> rule6))] The cow needs the squirrel.[(((triple5 triple1) -> rule5))]
The cow chases the lion.
("cow" "chases" "lion" "+")
triple1
The cow is round.
("cow" "is" "round" "+")
triple2
The lion needs the tiger.
("lion" "needs" "tiger" "+")
triple3
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
triple4
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
triple5
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
triple6
The tiger is green.
("tiger" "is" "green" "+")
triple7
The cow likes the lion.
("cow" "likes" "lion" "+")
((triple5) -> (rule6 % int1))
The cow likes the lion.
("cow" "likes" "lion" "+")
int1
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
((triple5 triple1) -> (rule5 % int1))
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
int1