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