The cat eats the squirrel. The lion visits the squirrel. The rabbit chases the cat. The squirrel chases the rabbit. If something chases the squirrel then it visits the squirrel. If something visits the squirrel then it chases the cat. If the lion chases the cat and the cat is red then the lion is red. If something visits the squirrel then it does not chase the squirrel. If something visits the squirrel then it visits the lion. If something visits the rabbit and the rabbit does not visit the squirrel then the squirrel is rough.
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
If something chases the squirrel then it visits the squirrel.
((("something" "chases" "squirrel" "+")) -> ("something" "visits" "squirrel" "+"))
If something visits the squirrel then it chases the cat.
((("something" "visits" "squirrel" "+")) -> ("something" "chases" "cat" "+"))
If the lion chases the cat and the cat is red then the lion is red.
((("lion" "chases" "cat" "+") ("cat" "is" "red" "+")) -> ("lion" "is" "red" "+"))
If something visits the squirrel then it does not chase the squirrel.
((("something" "visits" "squirrel" "+")) -> ("something" "chases" "squirrel" "-"))
If something visits the squirrel then it visits the lion.
((("something" "visits" "squirrel" "+")) -> ("something" "visits" "lion" "+"))
If something visits the rabbit and the rabbit does not visit the squirrel then the squirrel is rough.
((("something" "visits" "rabbit" "+") ("rabbit" "visits" "squirrel" "~")) -> ("squirrel" "is" "rough" "+"))
The squirrel chases the rabbit.
True
1
proof
[(triple4)]
("squirrel" "chases" "rabbit" "+")
triple4
The cat does not eat the squirrel.
False
1
inv-proof
[(triple1)]
("cat" "eats" "squirrel" "-")
triple1
The squirrel does not visit the squirrel.
Unknown
inv-rconc
[@1: The squirrel visits the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "visits" "squirrel" "-")
The cat eats the cat.
Unknown
random
[@0: The cat eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "cat" "+")
@0: The cat eats the squirrel.[(triple1)] The lion visits the squirrel.[(triple2)] The rabbit chases the cat.[(triple3)] The squirrel chases the rabbit.[(triple4)] @1: The lion chases the cat.[(((triple2) -> rule2))] The lion does not chase the squirrel.[(((triple2) -> rule4))] The lion visits the lion.[(((triple2) -> rule5))]
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
triple1
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
triple2
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
triple3
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
triple4
The lion chases the cat.
("lion" "chases" "cat" "+")
((triple2) -> (rule2 % int1))
The lion chases the cat.
("lion" "chases" "cat" "+")
int1
The lion does not chase the squirrel.
("lion" "chases" "squirrel" "-")
((triple2) -> (rule4 % int1))
The lion does not chase the squirrel.
("lion" "chases" "squirrel" "-")
int1
The lion visits the lion.
("lion" "visits" "lion" "+")
((triple2) -> (rule5 % int1))
The lion visits the lion.
("lion" "visits" "lion" "+")
int1