The cow likes the squirrel. The lion eats the squirrel. The rabbit chases the squirrel. The squirrel chases the cow. If something likes the lion and the lion chases the rabbit then the rabbit chases the lion. If something chases the rabbit then it is cold. If something eats the squirrel then it eats the lion.
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
If something likes the lion and the lion chases the rabbit then the rabbit chases the lion.
((("something" "likes" "lion" "+") ("lion" "chases" "rabbit" "+")) -> ("rabbit" "chases" "lion" "+"))
If something chases the rabbit then it is cold.
((("something" "chases" "rabbit" "+")) -> ("something" "is" "cold" "+"))
If something eats the squirrel then it eats the lion.
((("something" "eats" "squirrel" "+")) -> ("something" "eats" "lion" "+"))
The cow likes the squirrel.
True
1
proof
[(triple1)]
("cow" "likes" "squirrel" "+")
triple1
The rabbit does not chase the squirrel.
False
1
inv-proof
[(triple3)]
("rabbit" "chases" "squirrel" "-")
triple3
The squirrel does not eat the lion.
Unknown
inv-rconc
[@1: The squirrel eats the lion.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "eats" "lion" "-")
The squirrel eats the rabbit.
Unknown
random
[@0: The squirrel eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "rabbit" "+")
@0: The cow likes the squirrel.[(triple1)] The lion eats the squirrel.[(triple2)] The rabbit chases the squirrel.[(triple3)] The squirrel chases the cow.[(triple4)] @1: The lion eats the lion.[(((triple2) -> rule3))]
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
triple1
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
triple2
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
triple3
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
triple4
The lion eats the lion.
("lion" "eats" "lion" "+")
((triple2) -> (rule3 % int1))
The lion eats the lion.
("lion" "eats" "lion" "+")
int1