The bald eagle is not blue. The bald eagle is kind. The bald eagle is not young. All young things are rough. All kind things are round.
The bald eagle is not blue.
("bald eagle" "is" "blue" "-")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle is not young.
("bald eagle" "is" "young" "-")
All young things are rough.
((("something" "is" "young" "+")) -> ("something" "is" "rough" "+"))
All kind things are round.
((("something" "is" "kind" "+")) -> ("something" "is" "round" "+"))
The bald eagle is not young.
True
1
proof
[(triple3)]
("bald eagle" "is" "young" "-")
triple3
The bald eagle is young.
False
1
inv-proof
[(triple3)]
("bald eagle" "is" "young" "+")
triple3
The bald eagle is round.
True
2
proof
[(((triple2) -> rule2))]
("bald eagle" "is" "round" "+")
((triple2) -> (rule2 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The bald eagle is not round.
False
2
inv-proof
[(((triple2) -> rule2))]
("bald eagle" "is" "round" "-")
((triple2) -> (rule2 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The bald eagle is not rough.
Unknown
inv-rconc
[@1: The bald eagle is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "rough" "-")
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 need the bald eagle.
Unknown
inv-random
[@0: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bald eagle" "-")
The bald eagle likes the bald eagle.
Unknown
random
[@0: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bald eagle" "+")
@0: The bald eagle is kind.[(triple2)] The bald eagle is not blue.[(triple1)] The bald eagle is not young.[(triple3)] @1: The bald eagle is round.[(((triple2) -> rule2))]
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple2
The bald eagle is not blue.
("bald eagle" "is" "blue" "-")
triple1
The bald eagle is not young.
("bald eagle" "is" "young" "-")
triple3
The bald eagle is round.
("bald eagle" "is" "round" "+")
((triple2) -> (rule2 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1