The bald eagle is green. The bald eagle likes the bear. The bald eagle likes the tiger. The bald eagle sees the bear. The bear is green. The bear is red. The bear needs the tiger. The bear sees the squirrel. The squirrel is red. The squirrel likes the bald eagle. The squirrel likes the tiger. The squirrel needs the bear. The squirrel sees the bear. The tiger needs the squirrel. The tiger sees the bear. If someone needs the tiger then the tiger needs the bald eagle. If someone needs the bald eagle then they like the bear. If the tiger is red and the tiger likes the bear then the tiger is cold. If someone is big and they need the squirrel then they like the tiger. If someone needs the bald eagle and the bald eagle is kind then they like the squirrel. If someone is cold and they see the tiger then they like the bald eagle. If someone likes the tiger and the tiger likes the bear then the bear sees the bald eagle. If someone likes the squirrel and the squirrel needs the tiger then the tiger is big.
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
The bear is green.
("bear" "is" "green" "+")
The bear is red.
("bear" "is" "red" "+")
The bear needs the tiger.
("bear" "needs" "tiger" "+")
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
The tiger sees the bear.
("tiger" "sees" "bear" "+")
If someone needs the tiger then the tiger needs the bald eagle.
((("someone" "needs" "tiger" "+")) -> ("tiger" "needs" "bald eagle" "+"))
If someone needs the bald eagle then they like the bear.
((("someone" "needs" "bald eagle" "+")) -> ("someone" "likes" "bear" "+"))
If the tiger is red and the tiger likes the bear then the tiger is cold.
((("tiger" "is" "red" "+") ("tiger" "likes" "bear" "+")) -> ("tiger" "is" "cold" "+"))
If someone is big and they need the squirrel then they like the tiger.
((("someone" "is" "big" "+") ("someone" "needs" "squirrel" "+")) -> ("someone" "likes" "tiger" "+"))
If someone needs the bald eagle and the bald eagle is kind then they like the squirrel.
((("someone" "needs" "bald eagle" "+") ("bald eagle" "is" "kind" "+")) -> ("someone" "likes" "squirrel" "+"))
If someone is cold and they see the tiger then they like the bald eagle.
((("someone" "is" "cold" "+") ("someone" "sees" "tiger" "+")) -> ("someone" "likes" "bald eagle" "+"))
If someone likes the tiger and the tiger likes the bear then the bear sees the bald eagle.
((("someone" "likes" "tiger" "+") ("tiger" "likes" "bear" "+")) -> ("bear" "sees" "bald eagle" "+"))
If someone likes the squirrel and the squirrel needs the tiger then the tiger is big.
((("someone" "likes" "squirrel" "+") ("squirrel" "needs" "tiger" "+")) -> ("tiger" "is" "big" "+"))
The tiger sees the bear.
True
1
proof
[(triple15)]
("tiger" "sees" "bear" "+")
triple15
The squirrel does not like the tiger.
False
1
inv-proof
[(triple11)]
("squirrel" "likes" "tiger" "-")
triple11
The tiger needs the bald eagle.
True
2
proof
[(((triple7) -> rule1))]
("tiger" "needs" "bald eagle" "+")
((triple7) -> (rule1 % int1))
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
int1
The tiger does not need the bald eagle.
False
2
inv-proof
[(((triple7) -> rule1))]
("tiger" "needs" "bald eagle" "-")
((triple7) -> (rule1 % int1))
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
int1
The tiger likes the bear.
True
3
proof
[(((((triple7) -> rule1)) -> rule2))]
("tiger" "likes" "bear" "+")
((((triple7) -> (rule1 % int2))) -> (rule2 % int1))
The tiger likes the bear.
("tiger" "likes" "bear" "+")
int1
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
int2
The tiger does not like the bear.
False
3
inv-proof
[(((((triple7) -> rule1)) -> rule2))]
("tiger" "likes" "bear" "-")
((((triple7) -> (rule1 % int2))) -> (rule2 % int1))
The tiger likes the bear.
("tiger" "likes" "bear" "+")
int1
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
int2
The bear sees the bald eagle.
True
5
proof
[(((triple11 ((((triple7) -> rule1)) -> rule2)) -> rule7) OR ((triple3 ((((triple7) -> rule1)) -> rule2)) -> rule7))]
("bear" "sees" "bald eagle" "+")
((triple11 ((((triple7) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int1
The tiger likes the bear.
("tiger" "likes" "bear" "+")
int2
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
int3
((triple3 ((((triple7) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int1
The tiger likes the bear.
("tiger" "likes" "bear" "+")
int2
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
int3
The bear does not see the bald eagle.
False
5
inv-proof
[(((triple11 ((((triple7) -> rule1)) -> rule2)) -> rule7) OR ((triple3 ((((triple7) -> rule1)) -> rule2)) -> rule7))]
("bear" "sees" "bald eagle" "-")
((triple11 ((((triple7) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int1
The tiger likes the bear.
("tiger" "likes" "bear" "+")
int2
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
int3
((triple3 ((((triple7) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int1
The tiger likes the bear.
("tiger" "likes" "bear" "+")
int2
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
int3
The bald eagle does not like the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "likes" "bald eagle" "-")
The squirrel likes the squirrel.
Unknown
rconc
[@1: The squirrel likes the squirrel.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("squirrel" "likes" "squirrel" "+")
The squirrel does not like the bear.
Unknown
inv-rconc
[@1: The squirrel likes the bear.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "likes" "bear" "-")
The tiger likes the squirrel.
Unknown
rconc
[@1: The tiger likes the squirrel.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("tiger" "likes" "squirrel" "+")
The bald eagle does not need the squirrel.
Unknown
inv-random
[@0: The bald eagle needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "squirrel" "-")
The bald eagle needs the bear.
Unknown
random
[@0: The bald eagle needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bear" "+")
The bald eagle is not cold.
Unknown
inv-random
[@0: The bald eagle is cold.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "cold" "-")
The tiger is kind.
Unknown
random
[@0: The tiger is kind.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "kind" "+")
@0: The bald eagle is green.[(triple1)] The bald eagle likes the bear.[(triple2)] The bald eagle likes the tiger.[(triple3)] The bald eagle sees the bear.[(triple4)] The bear is green.[(triple5)] The bear is red.[(triple6)] The bear needs the tiger.[(triple7)] The bear sees the squirrel.[(triple8)] The squirrel is red.[(triple9)] The squirrel likes the bald eagle.[(triple10)] The squirrel likes the tiger.[(triple11)] The squirrel needs the bear.[(triple12)] The squirrel sees the bear.[(triple13)] The tiger needs the squirrel.[(triple14)] The tiger sees the bear.[(triple15)] @1: The tiger needs the bald eagle.[(((triple7) -> rule1))] @2: The tiger likes the bear.[(((((triple7) -> rule1)) -> rule2))] @3: The bear sees the bald eagle.[(((triple11 ((((triple7) -> rule1)) -> rule2)) -> rule7) OR ((triple3 ((((triple7) -> rule1)) -> rule2)) -> rule7))]
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple1
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
triple2
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
triple3
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
triple4
The bear is green.
("bear" "is" "green" "+")
triple5
The bear is red.
("bear" "is" "red" "+")
triple6
The bear needs the tiger.
("bear" "needs" "tiger" "+")
triple7
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
triple8
The squirrel is red.
("squirrel" "is" "red" "+")
triple9
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
triple10
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
triple11
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
triple12
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
triple13
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
triple14
The tiger sees the bear.
("tiger" "sees" "bear" "+")
triple15
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
((triple7) -> (rule1 % int1))
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
int1
The tiger likes the bear.
("tiger" "likes" "bear" "+")
((((triple7) -> (rule1 % int2))) -> (rule2 % int1))
The tiger likes the bear.
("tiger" "likes" "bear" "+")
int1
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
int2
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
((triple11 ((((triple7) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int1
The tiger likes the bear.
("tiger" "likes" "bear" "+")
int2
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
int3
((triple3 ((((triple7) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int1
The tiger likes the bear.
("tiger" "likes" "bear" "+")
int2
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
int3