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