The bald eagle is nice. The rabbit visits the bald eagle. If the rabbit visits the bald eagle then the bald eagle likes the rabbit.
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
If the rabbit visits the bald eagle then the bald eagle likes the rabbit.
((("rabbit" "visits" "bald eagle" "+")) -> ("bald eagle" "likes" "rabbit" "+"))
The bald eagle is nice.
True
1
proof
[(triple1)]
("bald eagle" "is" "nice" "+")
triple1
The bald eagle is not nice.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "nice" "-")
triple1
The bald eagle is not kind.
Unknown
inv-random
[@0: The bald eagle is kind.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "kind" "-")
The bald eagle visits the rabbit.
Unknown
random
[@0: The bald eagle visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "rabbit" "+")
@0: The bald eagle is nice.[(triple1)] The rabbit visits the bald eagle.[(triple2)] @1: The bald eagle likes the rabbit.[(((triple2) -> rule1))]
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple1
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
triple2
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
((triple2) -> (rule1 % int1))
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int1