The bald eagle is blue. The bald eagle is cold. The bald eagle is red. The bald eagle is round. The bald eagle is young. If something is red and round then it is cold. If something is blue then it is red. If the bald eagle is blue and the bald eagle is round then the bald eagle is red.
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
If something is red and round then it is cold.
((("something" "is" "red" "+") ("something" "is" "round" "+")) -> ("something" "is" "cold" "+"))
If something is blue then it is red.
((("something" "is" "blue" "+")) -> ("something" "is" "red" "+"))
If the bald eagle is blue and the bald eagle is round then the bald eagle is red.
((("bald eagle" "is" "blue" "+") ("bald eagle" "is" "round" "+")) -> ("bald eagle" "is" "red" "+"))
The bald eagle is round.
True
1
proof
[(triple4)]
("bald eagle" "is" "round" "+")
triple4
The bald eagle is not red.
False
1
inv-proof
[(triple3 OR ((triple1) -> rule2) OR ((triple1 triple4) -> rule3))]
("bald eagle" "is" "red" "-")
triple3
((triple1) -> (rule2 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
((triple1 triple4) -> (rule3 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The bald eagle does not chase the bald eagle.
Unknown
inv-random
[@0: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "bald eagle" "-")
The bald eagle sees the bald eagle.
Unknown
random
[@0: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "bald eagle" "+")
@0: The bald eagle is blue.[(triple1)] The bald eagle is cold.[(triple2 OR ((triple3 triple4) -> rule1) OR ((((triple1) -> rule2) triple4) -> rule1) OR ((((triple1 triple4) -> rule3) triple4) -> rule1))] The bald eagle is red.[(triple3 OR ((triple1) -> rule2) OR ((triple1 triple4) -> rule3))] The bald eagle is round.[(triple4)] The bald eagle is young.[(triple5)]
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple2
((triple3 triple4) -> (rule1 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
((((triple1) -> (rule2 % int2)) triple4) -> (rule1 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The bald eagle is red.
("bald eagle" "is" "red" "+")
int2
((((triple1 triple4) -> (rule3 % int2)) triple4) -> (rule1 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The bald eagle is red.
("bald eagle" "is" "red" "+")
int2
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple3
((triple1) -> (rule2 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
((triple1 triple4) -> (rule3 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple4
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple5