The bald eagle is nice. The cat is red. The lion likes the bald eagle. The squirrel is red. If the bald eagle visits the squirrel then the squirrel likes the cat. If someone likes the squirrel and they are big then the squirrel is nice. If someone likes the bald eagle then the bald eagle likes the lion.
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The cat is red.
("cat" "is" "red" "+")
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
If the bald eagle visits the squirrel then the squirrel likes the cat.
((("bald eagle" "visits" "squirrel" "+")) -> ("squirrel" "likes" "cat" "+"))
If someone likes the squirrel and they are big then the squirrel is nice.
((("someone" "likes" "squirrel" "+") ("someone" "is" "big" "+")) -> ("squirrel" "is" "nice" "+"))
If someone likes the bald eagle then the bald eagle likes the lion.
((("someone" "likes" "bald eagle" "+")) -> ("bald eagle" "likes" "lion" "+"))
The cat is red.
True
1
proof
[(triple2)]
("cat" "is" "red" "+")
triple2
The bald eagle is not nice.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "nice" "-")
triple1
The bald eagle likes the lion.
True
2
proof
[(((triple3) -> rule3))]
("bald eagle" "likes" "lion" "+")
((triple3) -> (rule3 % int1))
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
int1
The bald eagle does not like the lion.
False
2
inv-proof
[(((triple3) -> rule3))]
("bald eagle" "likes" "lion" "-")
((triple3) -> (rule3 % int1))
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
int1
The squirrel does not like the cat.
Unknown
inv-rconc
[@1: The squirrel likes the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "likes" "cat" "-")
The squirrel is nice.
Unknown
rconc
[@1: The squirrel is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "is" "nice" "+")
The squirrel does not eat the cat.
Unknown
inv-random
[@0: The squirrel eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "cat" "-")
The lion is big.
Unknown
random
[@0: The lion is big.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "big" "+")
@0: The bald eagle is nice.[(triple1)] The cat is red.[(triple2)] The lion likes the bald eagle.[(triple3)] The squirrel is red.[(triple4)] @1: The bald eagle likes the lion.[(((triple3) -> rule3))]
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple1
The cat is red.
("cat" "is" "red" "+")
triple2
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
triple3
The squirrel is red.
("squirrel" "is" "red" "+")
triple4
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
((triple3) -> (rule3 % int1))
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
int1