The bald eagle is blue. All blue things are not round. If something is blue and not big then it is not kind.
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
All blue things are not round.
((("something" "is" "blue" "+")) -> ("something" "is" "round" "-"))
If something is blue and not big then it is not kind.
((("something" "is" "blue" "+") ("something" "is" "big" "~")) -> ("something" "is" "kind" "-"))
The bald eagle is blue.
True
1
proof
[(triple1)]
("bald eagle" "is" "blue" "+")
triple1
The bald eagle is not blue.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "blue" "-")
triple1
The bald eagle is not round.
True
2
proof
[(((triple1) -> rule1))]
("bald eagle" "is" "round" "-")
((triple1) -> (rule1 % int1))
The bald eagle is not round.
("bald eagle" "is" "round" "-")
int1
The bald eagle is round.
False
2
inv-proof
[(((triple1) -> rule1))]
("bald eagle" "is" "round" "+")
((triple1) -> (rule1 % int1))
The bald eagle is not round.
("bald eagle" "is" "round" "-")
int1
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 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 bald eagle chases the bald eagle.
Unknown
random
[@0: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "bald eagle" "+")
@0: The bald eagle is blue.[(triple1)] @1: The bald eagle is not round.[(((triple1) -> rule1))]
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple1
The bald eagle is not round.
("bald eagle" "is" "round" "-")
((triple1) -> (rule1 % int1))
The bald eagle is not round.
("bald eagle" "is" "round" "-")
int1