The bald eagle is not green. The bald eagle is kind. The bald eagle is round. If something is nice then it is green. All kind things are blue.
The bald eagle is not green.
("bald eagle" "is" "green" "-")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
If something is nice then it is green.
((("something" "is" "nice" "+")) -> ("something" "is" "green" "+"))
All kind things are blue.
((("something" "is" "kind" "+")) -> ("something" "is" "blue" "+"))
The bald eagle is not green.
True
1
proof
[(triple1)]
("bald eagle" "is" "green" "-")
triple1
The bald eagle is not kind.
False
1
inv-proof
[(triple2)]
("bald eagle" "is" "kind" "-")
triple2
The bald eagle is blue.
True
2
proof
[(((triple2) -> rule2))]
("bald eagle" "is" "blue" "+")
((triple2) -> (rule2 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The bald eagle is not blue.
False
2
inv-proof
[(((triple2) -> rule2))]
("bald eagle" "is" "blue" "-")
((triple2) -> (rule2 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
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 visits the bald eagle.
Unknown
random
[@0: The bald eagle visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "bald eagle" "+")
The bald eagle does not like the bald eagle.
Unknown
inv-random
[@0: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bald eagle" "-")
The bald eagle eats the bald eagle.
Unknown
random
[@0: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bald eagle" "+")
@0: The bald eagle is kind.[(triple2)] The bald eagle is not green.[(triple1)] The bald eagle is round.[(triple3)] @1: The bald eagle is blue.[(((triple2) -> rule2))]
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple2
The bald eagle is not green.
("bald eagle" "is" "green" "-")
triple1
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple3
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
((triple2) -> (rule2 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1