The bald eagle sees the squirrel. The bald eagle visits the cow. The cow is not kind. The cow is young. The cow likes the bald eagle. The cow does not like the squirrel. The squirrel sees the cow. If the cow likes the bald eagle then the cow sees the squirrel. If the cow is green then the cow sees the squirrel. If someone sees the cow then they are green. If someone sees the bald eagle then the bald eagle likes the squirrel. If someone likes the cow then they are young. If someone is nice and they do not like the bald eagle then they do not visit the bald eagle.
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
The cow is not kind.
("cow" "is" "kind" "-")
The cow is young.
("cow" "is" "young" "+")
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
The cow does not like the squirrel.
("cow" "likes" "squirrel" "-")
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
If the cow likes the bald eagle then the cow sees the squirrel.
((("cow" "likes" "bald eagle" "+")) -> ("cow" "sees" "squirrel" "+"))
If the cow is green then the cow sees the squirrel.
((("cow" "is" "green" "+")) -> ("cow" "sees" "squirrel" "+"))
If someone sees the cow then they are green.
((("someone" "sees" "cow" "+")) -> ("someone" "is" "green" "+"))
If someone sees the bald eagle then the bald eagle likes the squirrel.
((("someone" "sees" "bald eagle" "+")) -> ("bald eagle" "likes" "squirrel" "+"))
If someone likes the cow then they are young.
((("someone" "likes" "cow" "+")) -> ("someone" "is" "young" "+"))
If someone is nice and they do not like the bald eagle then they do not visit the bald eagle.
((("someone" "is" "nice" "+") ("someone" "likes" "bald eagle" "~")) -> ("someone" "visits" "bald eagle" "-"))
The bald eagle visits the cow.
True
1
proof
[(triple2)]
("bald eagle" "visits" "cow" "+")
triple2
The cow does not like the bald eagle.
False
1
inv-proof
[(triple5)]
("cow" "likes" "bald eagle" "-")
triple5
The squirrel is green.
True
2
proof
[(((triple7) -> rule3))]
("squirrel" "is" "green" "+")
((triple7) -> (rule3 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The cow does not see the squirrel.
False
2
inv-proof
[(((triple5) -> rule1))]
("cow" "sees" "squirrel" "-")
((triple5) -> (rule1 % int1))
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
int1
The cow is not green.
Unknown
inv-rconc
[@1: The cow is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cow" "is" "green" "-")
The bald eagle is young.
Unknown
rconc
[@1: The bald eagle is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "is" "young" "+")
The squirrel does not like the squirrel.
Unknown
inv-random
[@0: The squirrel likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "squirrel" "-")
The squirrel is nice.
Unknown
random
[@0: The squirrel is nice.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "nice" "+")
@0: The bald eagle sees the squirrel.[(triple1)] The bald eagle visits the cow.[(triple2)] The cow does not like the squirrel.[(triple6)] The cow is not kind.[(triple3)] The cow is young.[(triple4)] The cow likes the bald eagle.[(triple5)] The squirrel sees the cow.[(triple7)] @1: The cow sees the squirrel.[(((triple5) -> rule1))] The squirrel is green.[(((triple7) -> rule3))]
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
triple1
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
triple2
The cow does not like the squirrel.
("cow" "likes" "squirrel" "-")
triple6
The cow is not kind.
("cow" "is" "kind" "-")
triple3
The cow is young.
("cow" "is" "young" "+")
triple4
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
triple5
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
triple7
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
((triple5) -> (rule1 % int1))
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
((triple7) -> (rule3 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1