The bald eagle is cold. The bald eagle is nice. The bald eagle is round. If someone is nice and round then they are green. If someone is nice then they are cold. If someone is cold and blue then they are nice.
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
If someone is nice and round then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is nice then they are cold.
((("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and blue then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
The bald eagle is cold.
True
1
proof
[(triple1 OR ((triple2) -> rule2))]
("bald eagle" "is" "cold" "+")
triple1
((triple2) -> (rule2 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The bald eagle is not cold.
False
1
inv-proof
[(triple1 OR ((triple2) -> rule2))]
("bald eagle" "is" "cold" "-")
triple1
((triple2) -> (rule2 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The bald eagle is green.
True
3
proof
[(((triple2 triple3) -> rule1))]
("bald eagle" "is" "green" "+")
((triple2 triple3) -> (rule1 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle is not green.
False
3
inv-proof
[(((triple2 triple3) -> rule1))]
("bald eagle" "is" "green" "-")
((triple2 triple3) -> (rule1 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
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 needs the bald eagle.
Unknown
random
[@0: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bald eagle" "+")
The bald eagle is not blue.
Unknown
inv-random
[@0: The bald eagle is blue.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "blue" "-")
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" "+")
@0: The bald eagle is cold.[(triple1 OR ((triple2) -> rule2))] The bald eagle is nice.[(triple2)] The bald eagle is round.[(triple3)] @1: The bald eagle is green.[(((triple2 triple3) -> rule1))]
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple1
((triple2) -> (rule2 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple2
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple3
The bald eagle is green.
("bald eagle" "is" "green" "+")
((triple2 triple3) -> (rule1 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1