The bald eagle is blue. The bald eagle is kind. The bald eagle likes the dog. The bald eagle likes the squirrel. The bald eagle sees the squirrel. The bear is blue. The bear likes the bald eagle. The bear likes the squirrel. The dog is young. The squirrel is kind. If someone sees the bear and they eat the dog then the bear likes the dog. If someone sees the bear then they eat the bald eagle. If someone is kind then they like the bald eagle. If someone sees the bear then the bear is cold. If someone likes the bear and the bear sees the bald eagle then the bald eagle likes the squirrel. If someone eats the bear and they are green then the bear is young. If someone likes the squirrel and the squirrel likes the bald eagle then the bald eagle sees the dog. If the bald eagle sees the squirrel then the squirrel eats the bald eagle.
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
The dog is young.
("dog" "is" "young" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
If someone sees the bear and they eat the dog then the bear likes the dog.
((("someone" "sees" "bear" "+") ("someone" "eats" "dog" "+")) -> ("bear" "likes" "dog" "+"))
If someone sees the bear then they eat the bald eagle.
((("someone" "sees" "bear" "+")) -> ("someone" "eats" "bald eagle" "+"))
If someone is kind then they like the bald eagle.
((("someone" "is" "kind" "+")) -> ("someone" "likes" "bald eagle" "+"))
If someone sees the bear then the bear is cold.
((("someone" "sees" "bear" "+")) -> ("bear" "is" "cold" "+"))
If someone likes the bear and the bear sees the bald eagle then the bald eagle likes the squirrel.
((("someone" "likes" "bear" "+") ("bear" "sees" "bald eagle" "+")) -> ("bald eagle" "likes" "squirrel" "+"))
If someone eats the bear and they are green then the bear is young.
((("someone" "eats" "bear" "+") ("someone" "is" "green" "+")) -> ("bear" "is" "young" "+"))
If someone likes the squirrel and the squirrel likes the bald eagle then the bald eagle sees the dog.
((("someone" "likes" "squirrel" "+") ("squirrel" "likes" "bald eagle" "+")) -> ("bald eagle" "sees" "dog" "+"))
If the bald eagle sees the squirrel then the squirrel eats the bald eagle.
((("bald eagle" "sees" "squirrel" "+")) -> ("squirrel" "eats" "bald eagle" "+"))
The squirrel is kind.
True
1
proof
[(triple10)]
("squirrel" "is" "kind" "+")
triple10
The bald eagle does not see the squirrel.
False
1
inv-proof
[(triple5)]
("bald eagle" "sees" "squirrel" "-")
triple5
The squirrel eats the bald eagle.
True
2
proof
[(((triple5) -> rule8))]
("squirrel" "eats" "bald eagle" "+")
((triple5) -> (rule8 % int1))
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int1
The squirrel does not eat the bald eagle.
False
2
inv-proof
[(((triple5) -> rule8))]
("squirrel" "eats" "bald eagle" "-")
((triple5) -> (rule8 % int1))
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int1
The bear does not like the dog.
Unknown
inv-rconc
[@1: The bear likes the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "likes" "dog" "-")
The dog eats the bald eagle.
Unknown
rconc
[@1: The dog eats the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "eats" "bald eagle" "+")
The squirrel is not young.
Unknown
inv-random
[@0: The squirrel is young.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "young" "-")
The dog likes the dog.
Unknown
random
[@0: The dog likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "dog" "+")
@0: The bald eagle is blue.[(triple1)] The bald eagle is kind.[(triple2)] The bald eagle likes the dog.[(triple3)] The bald eagle likes the squirrel.[(triple4)] The bald eagle sees the squirrel.[(triple5)] The bear is blue.[(triple6)] The bear likes the bald eagle.[(triple7)] The bear likes the squirrel.[(triple8)] The dog is young.[(triple9)] The squirrel is kind.[(triple10)] @1: The bald eagle likes the bald eagle.[(((triple2) -> rule3))] The squirrel eats the bald eagle.[(((triple5) -> rule8))] The squirrel likes the bald eagle.[(((triple10) -> rule3))] @2: The bald eagle sees the dog.[(((triple4 ((triple10) -> rule3)) -> rule7) OR ((triple8 ((triple10) -> rule3)) -> rule7))]
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple2
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
triple3
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
triple4
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
triple5
The bear is blue.
("bear" "is" "blue" "+")
triple6
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
triple7
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
triple8
The dog is young.
("dog" "is" "young" "+")
triple9
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple10
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
((triple2) -> (rule3 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
((triple5) -> (rule8 % int1))
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int1
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
((triple10) -> (rule3 % int1))
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
int1
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
((triple4 ((triple10) -> (rule3 % int2))) -> (rule7 % int1))
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
int1
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
int2
((triple8 ((triple10) -> (rule3 % int2))) -> (rule7 % int1))
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
int1
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
int2