The bald eagle sees the dog. The dog sees the bald eagle. All cold people are green. If someone is nice and they see the bald eagle then the bald eagle sees the dog.
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
All cold people are green.
((("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is nice and they see the bald eagle then the bald eagle sees the dog.
((("someone" "is" "nice" "+") ("someone" "sees" "bald eagle" "+")) -> ("bald eagle" "sees" "dog" "+"))
The dog sees the bald eagle.
True
1
proof
[(triple2)]
("dog" "sees" "bald eagle" "+")
triple2
The dog does not see the bald eagle.
False
1
inv-proof
[(triple2)]
("dog" "sees" "bald eagle" "-")
triple2
The dog is not green.
Unknown
inv-rconc
[@1: The dog is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "is" "green" "-")
The dog visits the dog.
Unknown
random
[@0: The dog visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "dog" "+")
@0: The bald eagle sees the dog.[(triple1)] The dog sees the bald eagle.[(triple2)]
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
triple1
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
triple2