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