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