The bald eagle is big. All kind, big things are red. If something is kind and big then it is red. All cold, kind things are red. If something is red then it is big. If the bald eagle is big then the bald eagle is not kind. If something is cold and kind then it is not green.
The bald eagle is big.
("bald eagle" "is" "big" "+")
All kind, big things are red.
((("something" "is" "kind" "+") ("something" "is" "big" "+")) -> ("something" "is" "red" "+"))
If something is kind and big then it is red.
((("something" "is" "kind" "+") ("something" "is" "big" "+")) -> ("something" "is" "red" "+"))
All cold, kind things are red.
((("something" "is" "cold" "+") ("something" "is" "kind" "+")) -> ("something" "is" "red" "+"))
If something is red then it is big.
((("something" "is" "red" "+")) -> ("something" "is" "big" "+"))
If the bald eagle is big then the bald eagle is not kind.
((("bald eagle" "is" "big" "+")) -> ("bald eagle" "is" "kind" "-"))
If something is cold and kind then it is not green.
((("something" "is" "cold" "+") ("something" "is" "kind" "+")) -> ("something" "is" "green" "-"))
The bald eagle is big.
True
1
proof
[(triple1)]
("bald eagle" "is" "big" "+")
triple1
The bald eagle is not big.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "big" "-")
triple1
The bald eagle is not red.
Unknown
inv-rconc
[@1: The bald eagle is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "red" "-")
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 big.[(triple1)] @1: The bald eagle is not kind.[(((triple1) -> rule5))]
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple1
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
((triple1) -> (rule5 % int1))
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
int1