The bald eagle is young. The cow does not like the bald eagle. The squirrel sees the cow. If someone eats the cow then they see the squirrel. If someone sees the squirrel then they see the cow. If someone sees the cow then they are nice.
The bald eagle is young.
("bald eagle" "is" "young" "+")
The cow does not like the bald eagle.
("cow" "likes" "bald eagle" "-")
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
If someone eats the cow then they see the squirrel.
((("someone" "eats" "cow" "+")) -> ("someone" "sees" "squirrel" "+"))
If someone sees the squirrel then they see the cow.
((("someone" "sees" "squirrel" "+")) -> ("someone" "sees" "cow" "+"))
If someone sees the cow then they are nice.
((("someone" "sees" "cow" "+")) -> ("someone" "is" "nice" "+"))
The squirrel sees the cow.
True
1
proof
[(triple3)]
("squirrel" "sees" "cow" "+")
triple3
The bald eagle is not young.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "young" "-")
triple1
The bald eagle does not see the squirrel.
Unknown
inv-rconc
[@1: The bald eagle sees the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "sees" "squirrel" "-")
The squirrel eats the cow.
Unknown
random
[@0: The squirrel eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "cow" "+")
@0: The bald eagle is young.[(triple1)] The cow does not like the bald eagle.[(triple2)] The squirrel sees the cow.[(triple3)] @1: The squirrel is nice.[(((triple3) -> rule3))]
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple1
The cow does not like the bald eagle.
("cow" "likes" "bald eagle" "-")
triple2
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
triple3
The squirrel is nice.
("squirrel" "is" "nice" "+")
((triple3) -> (rule3 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1