The bald eagle is cold. The dog visits the bald eagle. The rabbit sees the bald eagle. If something visits the rabbit and it does not see the dog then the rabbit is green. If the bald eagle sees the rabbit then the rabbit sees the bald eagle.
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
If something visits the rabbit and it does not see the dog then the rabbit is green.
((("something" "visits" "rabbit" "+") ("something" "sees" "dog" "~")) -> ("rabbit" "is" "green" "+"))
If the bald eagle sees the rabbit then the rabbit sees the bald eagle.
((("bald eagle" "sees" "rabbit" "+")) -> ("rabbit" "sees" "bald eagle" "+"))
The rabbit sees the bald eagle.
True
1
proof
[(triple3)]
("rabbit" "sees" "bald eagle" "+")
triple3
The rabbit does not see the bald eagle.
False
1
inv-proof
[(triple3)]
("rabbit" "sees" "bald eagle" "-")
triple3
The rabbit is not green.
Unknown
inv-rconc
[@1: The rabbit is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "is" "green" "-")
The bald eagle eats the bald eagle.
Unknown
random
[@0: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bald eagle" "+")
@0: The bald eagle is cold.[(triple1)] The dog visits the bald eagle.[(triple2)] The rabbit sees the bald eagle.[(triple3)]
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple1
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
triple2
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
triple3