The bald eagle does not chase the squirrel. The bald eagle eats the squirrel. The bald eagle is cold. The bald eagle is green. The bald eagle is not round. The squirrel does not eat the bald eagle. The squirrel sees the bald eagle. If something is cold and it does not eat the bald eagle then it is big. If something eats the bald eagle then it chases the squirrel. If something sees the bald eagle and it does not eat the squirrel then it chases the bald eagle.
The bald eagle does not chase the squirrel.
("bald eagle" "chases" "squirrel" "-")
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is not round.
("bald eagle" "is" "round" "-")
The squirrel does not eat the bald eagle.
("squirrel" "eats" "bald eagle" "-")
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
If something is cold and it does not eat the bald eagle then it is big.
((("something" "is" "cold" "+") ("something" "eats" "bald eagle" "~")) -> ("something" "is" "big" "+"))
If something eats the bald eagle then it chases the squirrel.
((("something" "eats" "bald eagle" "+")) -> ("something" "chases" "squirrel" "+"))
If something sees the bald eagle and it does not eat the squirrel then it chases the bald eagle.
((("something" "sees" "bald eagle" "+") ("something" "eats" "squirrel" "~")) -> ("something" "chases" "bald eagle" "+"))
The bald eagle does not chase the squirrel.
True
1
proof
[(triple1)]
("bald eagle" "chases" "squirrel" "-")
triple1
The bald eagle chases the squirrel.
False
1
inv-proof
[(triple1)]
("bald eagle" "chases" "squirrel" "+")
triple1
The squirrel is not big.
Unknown
inv-rconc
[@1: The squirrel is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "is" "big" "-")
The squirrel is round.
Unknown
random
[@0: The squirrel is round.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "round" "+")
@0: The bald eagle does not chase the squirrel.[(triple1)] The bald eagle eats the squirrel.[(triple2)] The bald eagle is cold.[(triple3)] The bald eagle is green.[(triple4)] The bald eagle is not round.[(triple5)] The squirrel does not eat the bald eagle.[(triple6)] The squirrel sees the bald eagle.[(triple7)]
The bald eagle does not chase the squirrel.
("bald eagle" "chases" "squirrel" "-")
triple1
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
triple2
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple3
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple4
The bald eagle is not round.
("bald eagle" "is" "round" "-")
triple5
The squirrel does not eat the bald eagle.
("squirrel" "eats" "bald eagle" "-")
triple6
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
triple7