The bald eagle is not red. The bald eagle needs the rabbit. The rabbit is blue. The rabbit is not round. The squirrel does not eat the bald eagle. The squirrel needs the bald eagle. The squirrel visits the bald eagle. If something eats the squirrel and it is kind then the squirrel eats the rabbit. If the rabbit visits the squirrel and the rabbit eats the bald eagle then the bald eagle does not need the squirrel. If something is kind then it eats the rabbit. If the rabbit visits the bald eagle and the bald eagle visits the squirrel then the squirrel needs the rabbit. If something needs the rabbit then it does not need the squirrel. If something eats the bald eagle then the bald eagle eats the rabbit.
The bald eagle is not red.
("bald eagle" "is" "red" "-")
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is not round.
("rabbit" "is" "round" "-")
The squirrel does not eat the bald eagle.
("squirrel" "eats" "bald eagle" "-")
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
If something eats the squirrel and it is kind then the squirrel eats the rabbit.
((("something" "eats" "squirrel" "+") ("something" "is" "kind" "+")) -> ("squirrel" "eats" "rabbit" "+"))
If the rabbit visits the squirrel and the rabbit eats the bald eagle then the bald eagle does not need the squirrel.
((("rabbit" "visits" "squirrel" "+") ("rabbit" "eats" "bald eagle" "+")) -> ("bald eagle" "needs" "squirrel" "-"))
If something is kind then it eats the rabbit.
((("something" "is" "kind" "+")) -> ("something" "eats" "rabbit" "+"))
If the rabbit visits the bald eagle and the bald eagle visits the squirrel then the squirrel needs the rabbit.
((("rabbit" "visits" "bald eagle" "+") ("bald eagle" "visits" "squirrel" "+")) -> ("squirrel" "needs" "rabbit" "+"))
If something needs the rabbit then it does not need the squirrel.
((("something" "needs" "rabbit" "+")) -> ("something" "needs" "squirrel" "-"))
If something eats the bald eagle then the bald eagle eats the rabbit.
((("something" "eats" "bald eagle" "+")) -> ("bald eagle" "eats" "rabbit" "+"))
The bald eagle needs the rabbit.
True
1
proof
[(triple2)]
("bald eagle" "needs" "rabbit" "+")
triple2
The bald eagle is red.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "red" "+")
triple1
The squirrel does not eat the rabbit.
Unknown
inv-rconc
[@1: The squirrel eats the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "eats" "rabbit" "-")
The rabbit is cold.
Unknown
random
[@0: The rabbit is cold.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "cold" "+")
@0: The bald eagle is not red.[(triple1)] The bald eagle needs the rabbit.[(triple2)] The rabbit is blue.[(triple3)] The rabbit is not round.[(triple4)] The squirrel does not eat the bald eagle.[(triple5)] The squirrel needs the bald eagle.[(triple6)] The squirrel visits the bald eagle.[(triple7)] @1: The bald eagle does not need the squirrel.[(((triple2) -> rule5))]
The bald eagle is not red.
("bald eagle" "is" "red" "-")
triple1
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
triple2
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple3
The rabbit is not round.
("rabbit" "is" "round" "-")
triple4
The squirrel does not eat the bald eagle.
("squirrel" "eats" "bald eagle" "-")
triple5
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
triple6
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
triple7
The bald eagle does not need the squirrel.
("bald eagle" "needs" "squirrel" "-")
((triple2) -> (rule5 % int1))
The bald eagle does not need the squirrel.
("bald eagle" "needs" "squirrel" "-")
int1