The bald eagle is round. If someone is green then they are round. If someone is round and cold then they are green. All green, round people are cold. Green people are kind. If the bald eagle is green and the bald eagle is round then the bald eagle is cold. All cold, round people are green.
The bald eagle is round.
("bald eagle" "is" "round" "+")
If someone is green then they are round.
((("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is round and cold then they are green.
((("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
All green, round people are cold.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
Green people are kind.
((("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If the bald eagle is green and the bald eagle is round then the bald eagle is cold.
((("bald eagle" "is" "green" "+") ("bald eagle" "is" "round" "+")) -> ("bald eagle" "is" "cold" "+"))
All cold, round people are green.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
The bald eagle is round.
True
1
proof
[(triple1)]
("bald eagle" "is" "round" "+")
triple1
The bald eagle is not round.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "round" "-")
triple1
The bald eagle is not cold.
Unknown
inv-rconc
[@4: The bald eagle is cold.[CWA. Example of deepest failure = (rule3 <- rule2 <- rule5 <- rule6 <- FAIL)]]
("bald eagle" "is" "cold" "-")
The bald eagle is young.
Unknown
random
[@0: The bald eagle is young.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "young" "+")
@0: The bald eagle is round.[(triple1)]
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple1