The bald eagle is kind. The dog sees the bald eagle. If someone chases the dog then they are blue.
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
If someone chases the dog then they are blue.
((("someone" "chases" "dog" "+")) -> ("someone" "is" "blue" "+"))
The bald eagle is kind.
True
1
proof
[(triple1)]
("bald eagle" "is" "kind" "+")
triple1
The bald eagle is not kind.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "kind" "-")
triple1
The dog is not blue.
Unknown
inv-rconc
[@1: The dog is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "is" "blue" "-")
The bald eagle sees the bald eagle.
Unknown
random
[@0: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "bald eagle" "+")
@0: The bald eagle is kind.[(triple1)] The dog sees the bald eagle.[(triple2)]
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple1
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
triple2