The bald eagle is green. The tiger chases the bald eagle. If someone is red then they see the tiger. If someone chases the bald eagle and they see the tiger then the tiger chases the bald eagle.
The bald eagle is green.
("bald eagle" "is" "green" "+")
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
If someone is red then they see the tiger.
((("someone" "is" "red" "+")) -> ("someone" "sees" "tiger" "+"))
If someone chases the bald eagle and they see the tiger then the tiger chases the bald eagle.
((("someone" "chases" "bald eagle" "+") ("someone" "sees" "tiger" "+")) -> ("tiger" "chases" "bald eagle" "+"))
The bald eagle is green.
True
1
proof
[(triple1)]
("bald eagle" "is" "green" "+")
triple1
The tiger does not chase the bald eagle.
False
1
inv-proof
[(triple2)]
("tiger" "chases" "bald eagle" "-")
triple2
The bald eagle does not see the tiger.
Unknown
inv-rconc
[@1: The bald eagle sees the tiger.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "sees" "tiger" "-")
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 green.[(triple1)] The tiger chases the bald eagle.[(triple2)]
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple1
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
triple2