The bald eagle eats the squirrel. The bald eagle needs the squirrel. The squirrel likes the bald eagle. If the squirrel needs the bald eagle and the squirrel is red then the bald eagle needs the squirrel. If something likes the squirrel and it likes the bald eagle then the bald eagle is red. Nice things are cold. If something needs the squirrel then the squirrel likes the bald eagle. If something likes the bald eagle and the bald eagle needs the squirrel then the squirrel needs the bald eagle. If the squirrel is cold and the squirrel eats the bald eagle then the bald eagle needs the squirrel. If the bald eagle eats the squirrel and the squirrel needs the bald eagle then the squirrel eats the bald eagle. If something is big and it needs the bald eagle then it eats the bald eagle.
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
If the squirrel needs the bald eagle and the squirrel is red then the bald eagle needs the squirrel.
((("squirrel" "needs" "bald eagle" "+") ("squirrel" "is" "red" "+")) -> ("bald eagle" "needs" "squirrel" "+"))
If something likes the squirrel and it likes the bald eagle then the bald eagle is red.
((("something" "likes" "squirrel" "+") ("something" "likes" "bald eagle" "+")) -> ("bald eagle" "is" "red" "+"))
Nice things are cold.
((("something" "is" "nice" "+")) -> ("something" "is" "cold" "+"))
If something needs the squirrel then the squirrel likes the bald eagle.
((("something" "needs" "squirrel" "+")) -> ("squirrel" "likes" "bald eagle" "+"))
If something likes the bald eagle and the bald eagle needs the squirrel then the squirrel needs the bald eagle.
((("something" "likes" "bald eagle" "+") ("bald eagle" "needs" "squirrel" "+")) -> ("squirrel" "needs" "bald eagle" "+"))
If the squirrel is cold and the squirrel eats the bald eagle then the bald eagle needs the squirrel.
((("squirrel" "is" "cold" "+") ("squirrel" "eats" "bald eagle" "+")) -> ("bald eagle" "needs" "squirrel" "+"))
If the bald eagle eats the squirrel and the squirrel needs the bald eagle then the squirrel eats the bald eagle.
((("bald eagle" "eats" "squirrel" "+") ("squirrel" "needs" "bald eagle" "+")) -> ("squirrel" "eats" "bald eagle" "+"))
If something is big and it needs the bald eagle then it eats the bald eagle.
((("something" "is" "big" "+") ("something" "needs" "bald eagle" "+")) -> ("something" "eats" "bald eagle" "+"))
The bald eagle eats the squirrel.
True
1
proof
[(triple1)]
("bald eagle" "eats" "squirrel" "+")
triple1
The bald eagle does not need the squirrel.
False
1
inv-proof
[(triple2)]
("bald eagle" "needs" "squirrel" "-")
triple2
The squirrel is not cold.
Unknown
inv-rconc
[@1: The squirrel is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "is" "cold" "-")
The bald eagle is big.
Unknown
random
[@0: The bald eagle is big.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "big" "+")
@0: The bald eagle eats the squirrel.[(triple1)] The bald eagle needs the squirrel.[(triple2)] The squirrel likes the bald eagle.[(triple3 OR ((triple2) -> rule4))] @1: The squirrel needs the bald eagle.[(((triple3 triple2) -> rule5) OR ((((triple2) -> rule4) triple2) -> rule5))] @2: The squirrel eats the bald eagle.[(((triple1 ((triple3 triple2) -> rule5)) -> rule7) OR ((triple1 ((((triple2) -> rule4) triple2) -> rule5)) -> rule7))]
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
triple1
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
triple2
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
triple3
((triple2) -> (rule4 % int1))
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
int1
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
((triple3 triple2) -> (rule5 % int1))
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int1
((((triple2) -> (rule4 % int2)) triple2) -> (rule5 % int1))
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int1
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
int2
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
((triple1 ((triple3 triple2) -> (rule5 % int2))) -> (rule7 % int1))
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int1
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int2
((triple1 ((((triple2) -> (rule4 % int3)) triple2) -> (rule5 % int2))) -> (rule7 % int1))
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int1
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int2
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
int3