The bald eagle is not blue. The bald eagle is cold. The bald eagle is green. The bald eagle is not rough. The bald eagle is young. If the bald eagle is young and the bald eagle is blue then the bald eagle is green. If something is young then it is not blue. All blue things are rough. If the bald eagle is green and the bald eagle is not rough then the bald eagle is cold. All cold things are green. All young things are green.
The bald eagle is not blue.
("bald eagle" "is" "blue" "-")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is not rough.
("bald eagle" "is" "rough" "-")
The bald eagle is young.
("bald eagle" "is" "young" "+")
If the bald eagle is young and the bald eagle is blue then the bald eagle is green.
((("bald eagle" "is" "young" "+") ("bald eagle" "is" "blue" "+")) -> ("bald eagle" "is" "green" "+"))
If something is young then it is not blue.
((("something" "is" "young" "+")) -> ("something" "is" "blue" "-"))
All blue things are rough.
((("something" "is" "blue" "+")) -> ("something" "is" "rough" "+"))
If the bald eagle is green and the bald eagle is not rough then the bald eagle is cold.
((("bald eagle" "is" "green" "+") ("bald eagle" "is" "rough" "~")) -> ("bald eagle" "is" "cold" "+"))
All cold things are green.
((("something" "is" "cold" "+")) -> ("something" "is" "green" "+"))
All young things are green.
((("something" "is" "young" "+")) -> ("something" "is" "green" "+"))
The bald eagle is young.
True
1
proof
[(triple5)]
("bald eagle" "is" "young" "+")
triple5
The bald eagle is not cold.
False
1
inv-proof
[(triple2 OR ((triple3 triple4) -> rule4) OR ((((triple5) -> rule6) triple4) -> rule4))]
("bald eagle" "is" "cold" "-")
triple2
((triple3 triple4) -> (rule4 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
((((triple5) -> (rule6 % int2)) triple4) -> (rule4 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The bald eagle does not see the bald eagle.
Unknown
inv-random
[@0: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "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 cold.[(triple2 OR ((triple3 triple4) -> rule4) OR ((((triple5) -> rule6) triple4) -> rule4))] The bald eagle is green.[(triple3 OR ((triple2) -> rule5) OR ((triple5) -> rule6))] The bald eagle is not blue.[(triple1 OR ((triple5) -> rule2))] The bald eagle is not rough.[(triple4)] The bald eagle is young.[(triple5)]
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple2
((triple3 triple4) -> (rule4 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
((((triple5) -> (rule6 % int2)) triple4) -> (rule4 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple3
((triple2) -> (rule5 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
((triple5) -> (rule6 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle is not blue.
("bald eagle" "is" "blue" "-")
triple1
((triple5) -> (rule2 % int1))
The bald eagle is not blue.
("bald eagle" "is" "blue" "-")
int1
The bald eagle is not rough.
("bald eagle" "is" "rough" "-")
triple4
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple5