The bald eagle chases the lion. The bald eagle is kind. The lion chases the squirrel. The lion likes the bald eagle. The lion needs the bald eagle. The squirrel chases the lion. The squirrel is blue. If something needs the squirrel and it is cold then it likes the squirrel. If something chases the lion then the lion likes the squirrel. If the lion likes the squirrel then the squirrel needs the lion.
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
If something needs the squirrel and it is cold then it likes the squirrel.
((("something" "needs" "squirrel" "+") ("something" "is" "cold" "+")) -> ("something" "likes" "squirrel" "+"))
If something chases the lion then the lion likes the squirrel.
((("something" "chases" "lion" "+")) -> ("lion" "likes" "squirrel" "+"))
If the lion likes the squirrel then the squirrel needs the lion.
((("lion" "likes" "squirrel" "+")) -> ("squirrel" "needs" "lion" "+"))
The lion likes the bald eagle.
True
1
proof
[(triple4)]
("lion" "likes" "bald eagle" "+")
triple4
The bald eagle does not chase the lion.
False
1
inv-proof
[(triple1)]
("bald eagle" "chases" "lion" "-")
triple1
The lion likes the squirrel.
True
2
proof
[(((triple1) -> rule2) OR ((triple6) -> rule2))]
("lion" "likes" "squirrel" "+")
((triple1) -> (rule2 % int1))
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
int1
((triple6) -> (rule2 % int1))
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
int1
The lion does not like the squirrel.
False
2
inv-proof
[(((triple1) -> rule2) OR ((triple6) -> rule2))]
("lion" "likes" "squirrel" "-")
((triple1) -> (rule2 % int1))
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
int1
((triple6) -> (rule2 % int1))
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
int1
The bald eagle does not like the squirrel.
Unknown
inv-rconc
[@1: The bald eagle likes the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "likes" "squirrel" "-")
The squirrel likes the squirrel.
Unknown
rconc
[@1: The squirrel likes the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "likes" "squirrel" "+")
The bald eagle does not need the squirrel.
Unknown
inv-random
[@0: The bald eagle needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "squirrel" "-")
The bald eagle likes the bald eagle.
Unknown
random
[@0: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bald eagle" "+")
@0: The bald eagle chases the lion.[(triple1)] The bald eagle is kind.[(triple2)] The lion chases the squirrel.[(triple3)] The lion likes the bald eagle.[(triple4)] The lion needs the bald eagle.[(triple5)] The squirrel chases the lion.[(triple6)] The squirrel is blue.[(triple7)] @1: The lion likes the squirrel.[(((triple1) -> rule2) OR ((triple6) -> rule2))] @2: The squirrel needs the lion.[(((((triple1) -> rule2)) -> rule3) OR ((((triple6) -> rule2)) -> rule3))]
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
triple1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple2
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
triple3
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
triple4
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
triple5
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
triple6
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple7
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
((triple1) -> (rule2 % int1))
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
int1
((triple6) -> (rule2 % int1))
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
int1
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
((((triple1) -> (rule2 % int2))) -> (rule3 % int1))
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int1
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
int2
((((triple6) -> (rule2 % int2))) -> (rule3 % int1))
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int1
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
int2