The bald eagle likes the dog. The dog eats the bald eagle. If something eats the bald eagle then it is kind.
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
If something eats the bald eagle then it is kind.
((("something" "eats" "bald eagle" "+")) -> ("something" "is" "kind" "+"))
The bald eagle likes the dog.
True
1
proof
[(triple1)]
("bald eagle" "likes" "dog" "+")
triple1
The dog does not eat the bald eagle.
False
1
inv-proof
[(triple2)]
("dog" "eats" "bald eagle" "-")
triple2
The dog is kind.
True
2
proof
[(((triple2) -> rule1))]
("dog" "is" "kind" "+")
((triple2) -> (rule1 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The dog is not kind.
False
2
inv-proof
[(((triple2) -> rule1))]
("dog" "is" "kind" "-")
((triple2) -> (rule1 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The bald eagle is not kind.
Unknown
inv-rconc
[@1: The bald eagle is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "kind" "-")
The dog visits the bald eagle.
Unknown
random
[@0: The dog visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "bald eagle" "+")
The dog is not red.
Unknown
inv-random
[@0: The dog is red.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "red" "-")
The bald eagle is big.
Unknown
random
[@0: The bald eagle is big.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "big" "+")
@0: The bald eagle likes the dog.[(triple1)] The dog eats the bald eagle.[(triple2)] @1: The dog is kind.[(((triple2) -> rule1))]
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
triple1
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
triple2
The dog is kind.
("dog" "is" "kind" "+")
((triple2) -> (rule1 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1