The lion needs the squirrel. The mouse chases the lion. The squirrel is cold. If someone needs the squirrel then they like the squirrel. If the lion needs the squirrel then the lion likes the squirrel.
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
The mouse chases the lion.
("mouse" "chases" "lion" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
If someone needs the squirrel then they like the squirrel.
((("someone" "needs" "squirrel" "+")) -> ("someone" "likes" "squirrel" "+"))
If the lion needs the squirrel then the lion likes the squirrel.
((("lion" "needs" "squirrel" "+")) -> ("lion" "likes" "squirrel" "+"))
The squirrel is cold.
True
1
proof
[(triple3)]
("squirrel" "is" "cold" "+")
triple3
The mouse does not chase the lion.
False
1
inv-proof
[(triple2)]
("mouse" "chases" "lion" "-")
triple2
The lion likes the squirrel.
True
2
proof
[(((triple1) -> rule1) OR ((triple1) -> rule2))]
("lion" "likes" "squirrel" "+")
((triple1) -> (rule1 % int1))
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
int1
((triple1) -> (rule2 % int1))
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
int1
The lion does not like the squirrel.
False
2
inv-proof
[(((triple1) -> rule1) OR ((triple1) -> rule2))]
("lion" "likes" "squirrel" "-")
((triple1) -> (rule1 % int1))
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
int1
((triple1) -> (rule2 % int1))
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
int1
The squirrel does not like the squirrel.
Unknown
inv-rconc
[@1: The squirrel likes the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "likes" "squirrel" "-")
The mouse likes the squirrel.
Unknown
rconc
[@1: The mouse likes the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "likes" "squirrel" "+")
The squirrel is not round.
Unknown
inv-random
[@0: The squirrel is round.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "round" "-")
The lion needs the mouse.
Unknown
random
[@0: The lion needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "mouse" "+")
@0: The lion needs the squirrel.[(triple1)] The mouse chases the lion.[(triple2)] The squirrel is cold.[(triple3)] @1: The lion likes the squirrel.[(((triple1) -> rule1) OR ((triple1) -> rule2))]
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
triple1
The mouse chases the lion.
("mouse" "chases" "lion" "+")
triple2
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple3
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
((triple1) -> (rule1 % int1))
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
int1
((triple1) -> (rule2 % int1))
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
int1