The bald eagle is nice. The bald eagle is round. The bald eagle is young. All kind things are nice. If something is kind and round then it is red. Young, kind things are round. All young things are nice. If the bald eagle is round and the bald eagle is kind then the bald eagle is nice. If something is kind and round then it is young.
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
All kind things are nice.
((("something" "is" "kind" "+")) -> ("something" "is" "nice" "+"))
If something is kind and round then it is red.
((("something" "is" "kind" "+") ("something" "is" "round" "+")) -> ("something" "is" "red" "+"))
Young, kind things are round.
((("something" "is" "young" "+") ("something" "is" "kind" "+")) -> ("something" "is" "round" "+"))
All young things are nice.
((("something" "is" "young" "+")) -> ("something" "is" "nice" "+"))
If the bald eagle is round and the bald eagle is kind then the bald eagle is nice.
((("bald eagle" "is" "round" "+") ("bald eagle" "is" "kind" "+")) -> ("bald eagle" "is" "nice" "+"))
If something is kind and round then it is young.
((("something" "is" "kind" "+") ("something" "is" "round" "+")) -> ("something" "is" "young" "+"))
The bald eagle is round.
True
1
proof
[(triple2)]
("bald eagle" "is" "round" "+")
triple2
The bald eagle is not round.
False
1
inv-proof
[(triple2)]
("bald eagle" "is" "round" "-")
triple2
The bald eagle is not red.
Unknown
inv-rconc
[@1: The bald eagle is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "is" "red" "-")
The bald eagle is kind.
Unknown
random
[@0: The bald eagle is kind.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "kind" "+")
@0: The bald eagle is nice.[(triple1 OR ((triple3) -> rule4))] The bald eagle is round.[(triple2)] The bald eagle is young.[(triple3)]
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple1
((triple3) -> (rule4 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple2
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple3