The bald eagle is kind. The bald eagle is nice. The bald eagle is round. If the bald eagle is not kind then the bald eagle is big. Kind things are nice.
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
If the bald eagle is not kind then the bald eagle is big.
((("bald eagle" "is" "kind" "~")) -> ("bald eagle" "is" "big" "+"))
Kind things are nice.
((("something" "is" "kind" "+")) -> ("something" "is" "nice" "+"))
The bald eagle is round.
True
1
proof
[(triple3)]
("bald eagle" "is" "round" "+")
triple3
The bald eagle is not round.
False
1
inv-proof
[(triple3)]
("bald eagle" "is" "round" "-")
triple3
The bald eagle is not big.
Unknown
inv-rconc
[@1: The bald eagle is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "big" "-")
The bald eagle is rough.
Unknown
random
[@0: The bald eagle is rough.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "rough" "+")
@0: The bald eagle is kind.[(triple1)] The bald eagle is nice.[(triple2 OR ((triple1) -> rule2))] The bald eagle is round.[(triple3)]
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple2
((triple1) -> (rule2 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple3