The lion is young. The squirrel eats the lion. If something likes the squirrel then the squirrel chases the lion. If something eats the lion then it likes the squirrel.
The lion is young.
("lion" "is" "young" "+")
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
If something likes the squirrel then the squirrel chases the lion.
((("something" "likes" "squirrel" "+")) -> ("squirrel" "chases" "lion" "+"))
If something eats the lion then it likes the squirrel.
((("something" "eats" "lion" "+")) -> ("something" "likes" "squirrel" "+"))
The squirrel eats the lion.
True
1
proof
[(triple2)]
("squirrel" "eats" "lion" "+")
triple2
The squirrel does not eat the lion.
False
1
inv-proof
[(triple2)]
("squirrel" "eats" "lion" "-")
triple2
The squirrel likes the squirrel.
True
2
proof
[(((triple2) -> rule2))]
("squirrel" "likes" "squirrel" "+")
((triple2) -> (rule2 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1
The squirrel does not like the squirrel.
False
2
inv-proof
[(((triple2) -> rule2))]
("squirrel" "likes" "squirrel" "-")
((triple2) -> (rule2 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1
The squirrel chases the lion.
True
3
proof
[(((((triple2) -> rule2)) -> rule1))]
("squirrel" "chases" "lion" "+")
((((triple2) -> (rule2 % int2))) -> (rule1 % int1))
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int1
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int2
The squirrel does not chase the lion.
False
3
inv-proof
[(((((triple2) -> rule2)) -> rule1))]
("squirrel" "chases" "lion" "-")
((((triple2) -> (rule2 % int2))) -> (rule1 % int1))
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int1
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int2
The lion does not like the squirrel.
Unknown
inv-rconc
[@1: The lion likes the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "likes" "squirrel" "-")
The lion chases the squirrel.
Unknown
random
[@0: The lion chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "squirrel" "+")
The squirrel does not eat the squirrel.
Unknown
inv-random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "-")
The squirrel is blue.
Unknown
random
[@0: The squirrel is blue.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "blue" "+")
The lion is not blue.
Unknown
inv-random
[@0: The lion is blue.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "blue" "-")
The squirrel is cold.
Unknown
random
[@0: The squirrel is cold.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "cold" "+")
@0: The lion is young.[(triple1)] The squirrel eats the lion.[(triple2)] @1: The squirrel likes the squirrel.[(((triple2) -> rule2))] @2: The squirrel chases the lion.[(((((triple2) -> rule2)) -> rule1))]
The lion is young.
("lion" "is" "young" "+")
triple1
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
triple2
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
((triple2) -> (rule2 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
((((triple2) -> (rule2 % int2))) -> (rule1 % int1))
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int1
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int2