The bald eagle sees the squirrel. The bear does not eat the bald eagle. The squirrel eats the bear. The tiger does not visit the bear. If something is green then it does not eat the squirrel. If something sees the bald eagle and it eats the bald eagle then it sees the tiger. If something is cold and it does not visit the squirrel then the squirrel is nice. If something visits the tiger then it sees the squirrel. Rough things are green. If the tiger is rough then the tiger is not red.
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
The bear does not eat the bald eagle.
("bear" "eats" "bald eagle" "-")
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
The tiger does not visit the bear.
("tiger" "visits" "bear" "-")
If something is green then it does not eat the squirrel.
((("something" "is" "green" "+")) -> ("something" "eats" "squirrel" "-"))
If something sees the bald eagle and it eats the bald eagle then it sees the tiger.
((("something" "sees" "bald eagle" "+") ("something" "eats" "bald eagle" "+")) -> ("something" "sees" "tiger" "+"))
If something is cold and it does not visit the squirrel then the squirrel is nice.
((("something" "is" "cold" "+") ("something" "visits" "squirrel" "~")) -> ("squirrel" "is" "nice" "+"))
If something visits the tiger then it sees the squirrel.
((("something" "visits" "tiger" "+")) -> ("something" "sees" "squirrel" "+"))
Rough things are green.
((("something" "is" "rough" "+")) -> ("something" "is" "green" "+"))
If the tiger is rough then the tiger is not red.
((("tiger" "is" "rough" "+")) -> ("tiger" "is" "red" "-"))
The bald eagle sees the squirrel.
True
1
proof
[(triple1)]
("bald eagle" "sees" "squirrel" "+")
triple1
The tiger visits the bear.
False
1
inv-proof
[(triple4)]
("tiger" "visits" "bear" "+")
triple4
The tiger does not see the tiger.
Unknown
inv-rconc
[@1: The tiger sees the tiger.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "sees" "tiger" "-")
The bear visits the squirrel.
Unknown
random
[@0: The bear visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "squirrel" "+")
@0: The bald eagle sees the squirrel.[(triple1)] The bear does not eat the bald eagle.[(triple2)] The squirrel eats the bear.[(triple3)] The tiger does not visit the bear.[(triple4)]
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
triple1
The bear does not eat the bald eagle.
("bear" "eats" "bald eagle" "-")
triple2
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
triple3
The tiger does not visit the bear.
("tiger" "visits" "bear" "-")
triple4