The bald eagle chases the bear. The bald eagle chases the squirrel. The bald eagle is cold. The bald eagle likes the lion. The bald eagle needs the squirrel. The bear chases the bald eagle. The bear chases the lion. The bear likes the squirrel. The lion needs the squirrel. The squirrel needs the lion. If someone needs the lion then they are red. If someone likes the squirrel and the squirrel is kind then the squirrel chases the lion. If someone is kind then they need the bald eagle. If someone needs the bear then the bear likes the squirrel. Red, kind people are not cold. If someone chases the bear and they need the bald eagle then the bear does not like the bald eagle. If someone needs the squirrel then they are kind. If someone likes the squirrel then the squirrel is green.
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
The bear chases the lion.
("bear" "chases" "lion" "+")
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
If someone needs the lion then they are red.
((("someone" "needs" "lion" "+")) -> ("someone" "is" "red" "+"))
If someone likes the squirrel and the squirrel is kind then the squirrel chases the lion.
((("someone" "likes" "squirrel" "+") ("squirrel" "is" "kind" "+")) -> ("squirrel" "chases" "lion" "+"))
If someone is kind then they need the bald eagle.
((("someone" "is" "kind" "+")) -> ("someone" "needs" "bald eagle" "+"))
If someone needs the bear then the bear likes the squirrel.
((("someone" "needs" "bear" "+")) -> ("bear" "likes" "squirrel" "+"))
Red, kind people are not cold.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "-"))
If someone chases the bear and they need the bald eagle then the bear does not like the bald eagle.
((("someone" "chases" "bear" "+") ("someone" "needs" "bald eagle" "+")) -> ("bear" "likes" "bald eagle" "-"))
If someone needs the squirrel then they are kind.
((("someone" "needs" "squirrel" "+")) -> ("someone" "is" "kind" "+"))
If someone likes the squirrel then the squirrel is green.
((("someone" "likes" "squirrel" "+")) -> ("squirrel" "is" "green" "+"))
The bear chases the bald eagle.
True
1
proof
[(triple6)]
("bear" "chases" "bald eagle" "+")
triple6
The bear does not chase the lion.
False
1
inv-proof
[(triple7)]
("bear" "chases" "lion" "-")
triple7
The squirrel is red.
True
2
proof
[(((triple10) -> rule1))]
("squirrel" "is" "red" "+")
((triple10) -> (rule1 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel is not green.
False
2
inv-proof
[(((triple8) -> rule8))]
("squirrel" "is" "green" "-")
((triple8) -> (rule8 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The lion needs the bald eagle.
True
3
proof
[(((((triple9) -> rule7)) -> rule3))]
("lion" "needs" "bald eagle" "+")
((((triple9) -> (rule7 % int2))) -> (rule3 % int1))
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
int1
The lion is kind.
("lion" "is" "kind" "+")
int2
The bald eagle does not need the bald eagle.
False
3
inv-proof
[(((((triple5) -> rule7)) -> rule3))]
("bald eagle" "needs" "bald eagle" "-")
((((triple5) -> (rule7 % int2))) -> (rule3 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
The bear does not like the bald eagle.
True
5
proof
[(((triple1 ((((triple5) -> rule7)) -> rule3)) -> rule6))]
("bear" "likes" "bald eagle" "-")
((triple1 ((((triple5) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The bear does not like the bald eagle.
("bear" "likes" "bald eagle" "-")
int1
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int2
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int3
The bear likes the bald eagle.
False
5
inv-proof
[(((triple1 ((((triple5) -> rule7)) -> rule3)) -> rule6))]
("bear" "likes" "bald eagle" "+")
((triple1 ((((triple5) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The bear does not like the bald eagle.
("bear" "likes" "bald eagle" "-")
int1
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int2
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int3
The bald eagle is not red.
Unknown
inv-rconc
[@1: The bald eagle is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "red" "-")
The squirrel is kind.
Unknown
rconc
[@1: The squirrel is kind.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("squirrel" "is" "kind" "+")
The bear is not kind.
Unknown
inv-rconc
[@1: The bear is kind.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("bear" "is" "kind" "-")
The bear is red.
Unknown
rconc
[@1: The bear is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "is" "red" "+")
The lion does not like the lion.
Unknown
inv-random
[@0: The lion likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "lion" "-")
The lion likes the bear.
Unknown
random
[@0: The lion likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "bear" "+")
The bear does not need the bear.
Unknown
inv-random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "-")
The bear likes the bear.
Unknown
random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "+")
@0: The bald eagle chases the bear.[(triple1)] The bald eagle chases the squirrel.[(triple2)] The bald eagle is cold.[(triple3)] The bald eagle likes the lion.[(triple4)] The bald eagle needs the squirrel.[(triple5)] The bear chases the bald eagle.[(triple6)] The bear chases the lion.[(triple7)] The bear likes the squirrel.[(triple8)] The lion needs the squirrel.[(triple9)] The squirrel needs the lion.[(triple10)] @1: The bald eagle is kind.[(((triple5) -> rule7))] The lion is kind.[(((triple9) -> rule7))] The squirrel is green.[(((triple8) -> rule8))] The squirrel is red.[(((triple10) -> rule1))] @2: The bald eagle needs the bald eagle.[(((((triple5) -> rule7)) -> rule3))] The lion needs the bald eagle.[(((((triple9) -> rule7)) -> rule3))] @3: The bear does not like the bald eagle.[(((triple1 ((((triple5) -> rule7)) -> rule3)) -> rule6))]
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
triple1
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
triple2
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple3
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
triple4
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
triple5
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
triple6
The bear chases the lion.
("bear" "chases" "lion" "+")
triple7
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
triple8
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
triple9
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
triple10
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
((triple5) -> (rule7 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The lion is kind.
("lion" "is" "kind" "+")
((triple9) -> (rule7 % int1))
The lion is kind.
("lion" "is" "kind" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
((triple8) -> (rule8 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
((triple10) -> (rule1 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
((((triple5) -> (rule7 % int2))) -> (rule3 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
((((triple9) -> (rule7 % int2))) -> (rule3 % int1))
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
int1
The lion is kind.
("lion" "is" "kind" "+")
int2
The bear does not like the bald eagle.
("bear" "likes" "bald eagle" "-")
((triple1 ((((triple5) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The bear does not like the bald eagle.
("bear" "likes" "bald eagle" "-")
int1
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int2
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int3