The bald eagle is blue. The bald eagle is young. The bald eagle needs the squirrel. The bald eagle visits the cow. The cow eats the bald eagle. The cow eats the squirrel. The cow needs the bald eagle. The cow visits the bald eagle. The cow visits the squirrel. The squirrel is blue. The squirrel needs the bald eagle. The squirrel visits the cow. If something visits the squirrel and the squirrel needs the bald eagle then the squirrel is green. If something needs the squirrel then it is green.
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
If something visits the squirrel and the squirrel needs the bald eagle then the squirrel is green.
((("something" "visits" "squirrel" "+") ("squirrel" "needs" "bald eagle" "+")) -> ("squirrel" "is" "green" "+"))
If something needs the squirrel then it is green.
((("something" "needs" "squirrel" "+")) -> ("something" "is" "green" "+"))
The cow visits the squirrel.
True
1
proof
[(triple9)]
("cow" "visits" "squirrel" "+")
triple9
The bald eagle is not blue.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "blue" "-")
triple1
The squirrel is green.
True
3
proof
[(((triple9 triple11) -> rule1))]
("squirrel" "is" "green" "+")
((triple9 triple11) -> (rule1 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The squirrel is not green.
False
3
inv-proof
[(((triple9 triple11) -> rule1))]
("squirrel" "is" "green" "-")
((triple9 triple11) -> (rule1 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The cow is not green.
Unknown
inv-rconc
[@1: The cow is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "is" "green" "-")
The squirrel visits the bald eagle.
Unknown
random
[@0: The squirrel visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "bald eagle" "+")
The bald eagle does not eat the bald eagle.
Unknown
inv-random
[@0: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bald eagle" "-")
The bald eagle is kind.
Unknown
random
[@0: The bald eagle is kind.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "kind" "+")
@0: The bald eagle is blue.[(triple1)] The bald eagle is young.[(triple2)] The bald eagle needs the squirrel.[(triple3)] The bald eagle visits the cow.[(triple4)] The cow eats the bald eagle.[(triple5)] The cow eats the squirrel.[(triple6)] The cow needs the bald eagle.[(triple7)] The cow visits the bald eagle.[(triple8)] The cow visits the squirrel.[(triple9)] The squirrel is blue.[(triple10)] The squirrel needs the bald eagle.[(triple11)] The squirrel visits the cow.[(triple12)] @1: The bald eagle is green.[(((triple3) -> rule2))] The squirrel is green.[(((triple9 triple11) -> rule1))]
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple1
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple2
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
triple3
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
triple4
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
triple5
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
triple6
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
triple7
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
triple8
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
triple9
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple10
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
triple11
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
triple12
The bald eagle is green.
("bald eagle" "is" "green" "+")
((triple3) -> (rule2 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
((triple9 triple11) -> (rule1 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1