The bald eagle is young. If the bald eagle is not round then the bald eagle is cold. If something is cold and not round then it is not red. If something is cold then it is red. All big things are young. All round, cold things are big. All cold things are big. All young things are not cold. All red things are cold.
The bald eagle is young.
("bald eagle" "is" "young" "+")
If the bald eagle is not round then the bald eagle is cold.
((("bald eagle" "is" "round" "~")) -> ("bald eagle" "is" "cold" "+"))
If something is cold and not round then it is not red.
((("something" "is" "cold" "+") ("something" "is" "round" "~")) -> ("something" "is" "red" "-"))
If something is cold then it is red.
((("something" "is" "cold" "+")) -> ("something" "is" "red" "+"))
All big things are young.
((("something" "is" "big" "+")) -> ("something" "is" "young" "+"))
All round, cold things are big.
((("something" "is" "round" "+") ("something" "is" "cold" "+")) -> ("something" "is" "big" "+"))
All cold things are big.
((("something" "is" "cold" "+")) -> ("something" "is" "big" "+"))
All young things are not cold.
((("something" "is" "young" "+")) -> ("something" "is" "cold" "-"))
All red things are cold.
((("something" "is" "red" "+")) -> ("something" "is" "cold" "+"))
The bald eagle is young.
True
1
proof
[(triple1)]
("bald eagle" "is" "young" "+")
triple1
The bald eagle is not young.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "young" "-")
triple1
The bald eagle is not cold.
True
2
proof
[(((triple1) -> rule7))]
("bald eagle" "is" "cold" "-")
((triple1) -> (rule7 % int1))
The bald eagle is not cold.
("bald eagle" "is" "cold" "-")
int1
The bald eagle is cold.
False
2
inv-proof
[(((triple1) -> rule7))]
("bald eagle" "is" "cold" "+")
((triple1) -> (rule7 % int1))
The bald eagle is not cold.
("bald eagle" "is" "cold" "-")
int1
The bald eagle is not big.
Unknown
inv-rconc
[@1: The bald eagle is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "is" "big" "-")
The bald eagle is red.
Unknown
rconc
[@1: The bald eagle is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "is" "red" "+")
The bald eagle does not eat the bald eagle.
Unknown
inv-random
[@0: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bald eagle" "-")
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 young.[(triple1)] @1: The bald eagle is not cold.[(((triple1) -> rule7))]
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple1
The bald eagle is not cold.
("bald eagle" "is" "cold" "-")
((triple1) -> (rule7 % int1))
The bald eagle is not cold.
("bald eagle" "is" "cold" "-")
int1