The bald eagle visits the lion. The lion visits the squirrel. The squirrel visits the bald eagle. If something visits the bald eagle then it does not like the squirrel.
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
If something visits the bald eagle then it does not like the squirrel.
((("something" "visits" "bald eagle" "+")) -> ("something" "likes" "squirrel" "-"))
The bald eagle visits the lion.
True
1
proof
[(triple1)]
("bald eagle" "visits" "lion" "+")
triple1
The bald eagle does not visit the lion.
False
1
inv-proof
[(triple1)]
("bald eagle" "visits" "lion" "-")
triple1
The squirrel does not like the squirrel.
True
2
proof
[(((triple3) -> rule1))]
("squirrel" "likes" "squirrel" "-")
((triple3) -> (rule1 % int1))
The squirrel does not like the squirrel.
("squirrel" "likes" "squirrel" "-")
int1
The squirrel likes the squirrel.
False
2
inv-proof
[(((triple3) -> rule1))]
("squirrel" "likes" "squirrel" "+")
((triple3) -> (rule1 % int1))
The squirrel does not like the squirrel.
("squirrel" "likes" "squirrel" "-")
int1
The squirrel does not chase the lion.
Unknown
inv-random
[@0: The squirrel chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "lion" "-")
The bald eagle is kind.
Unknown
random
[@0: The bald eagle is kind.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "kind" "+")
The bald eagle is not big.
Unknown
inv-random
[@0: The bald eagle is big.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "big" "-")
The lion is big.
Unknown
random
[@0: The lion is big.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "big" "+")
@0: The bald eagle visits the lion.[(triple1)] The lion visits the squirrel.[(triple2)] The squirrel visits the bald eagle.[(triple3)] @1: The squirrel does not like the squirrel.[(((triple3) -> rule1))]
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
triple1
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
triple2
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
triple3
The squirrel does not like the squirrel.
("squirrel" "likes" "squirrel" "-")
((triple3) -> (rule1 % int1))
The squirrel does not like the squirrel.
("squirrel" "likes" "squirrel" "-")
int1