The bald eagle chases the bear. The bald eagle chases the squirrel. The bald eagle likes the bear. The bald eagle needs the bear. The bald eagle needs the lion. The bear chases the bald eagle. The bear chases the squirrel. The bear is blue. The bear needs the lion. The lion chases the bear. The lion is blue. The squirrel chases the bear. The squirrel is rough. The squirrel likes the bald eagle. The squirrel likes the lion. The squirrel needs the bald eagle. If something chases the squirrel and it is green then the squirrel needs the lion. All kind things are rough. If something needs the lion and the lion likes the bear then the bear chases the squirrel. If something needs the bear and the bear needs the lion then the lion is kind. If something chases the bear then the bear is blue. If the bear is kind then the bear is round.
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear needs the lion.
("bear" "needs" "lion" "+")
The lion chases the bear.
("lion" "chases" "bear" "+")
The lion is blue.
("lion" "is" "blue" "+")
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
If something chases the squirrel and it is green then the squirrel needs the lion.
((("something" "chases" "squirrel" "+") ("something" "is" "green" "+")) -> ("squirrel" "needs" "lion" "+"))
All kind things are rough.
((("something" "is" "kind" "+")) -> ("something" "is" "rough" "+"))
If something needs the lion and the lion likes the bear then the bear chases the squirrel.
((("something" "needs" "lion" "+") ("lion" "likes" "bear" "+")) -> ("bear" "chases" "squirrel" "+"))
If something needs the bear and the bear needs the lion then the lion is kind.
((("something" "needs" "bear" "+") ("bear" "needs" "lion" "+")) -> ("lion" "is" "kind" "+"))
If something chases the bear then the bear is blue.
((("something" "chases" "bear" "+")) -> ("bear" "is" "blue" "+"))
If the bear is kind then the bear is round.
((("bear" "is" "kind" "+")) -> ("bear" "is" "round" "+"))
The bald eagle chases the bear.
True
1
proof
[(triple1)]
("bald eagle" "chases" "bear" "+")
triple1
The squirrel does not like the bald eagle.
False
1
inv-proof
[(triple14)]
("squirrel" "likes" "bald eagle" "-")
triple14
The lion is kind.
True
3
proof
[(((triple4 triple9) -> rule4))]
("lion" "is" "kind" "+")
((triple4 triple9) -> (rule4 % int1))
The lion is kind.
("lion" "is" "kind" "+")
int1
The lion is not kind.
False
3
inv-proof
[(((triple4 triple9) -> rule4))]
("lion" "is" "kind" "-")
((triple4 triple9) -> (rule4 % int1))
The lion is kind.
("lion" "is" "kind" "+")
int1
The lion is rough.
True
4
proof
[(((((triple4 triple9) -> rule4)) -> rule2))]
("lion" "is" "rough" "+")
((((triple4 triple9) -> (rule4 % int2))) -> (rule2 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
The lion is kind.
("lion" "is" "kind" "+")
int2
The lion is not rough.
False
4
inv-proof
[(((((triple4 triple9) -> rule4)) -> rule2))]
("lion" "is" "rough" "-")
((((triple4 triple9) -> (rule4 % int2))) -> (rule2 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
The lion is kind.
("lion" "is" "kind" "+")
int2
The bear is not rough.
Unknown
inv-rconc
[@1: The bear is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "is" "rough" "-")
The bear is round.
Unknown
rconc
[@1: The bear is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bear" "is" "round" "+")
The squirrel does not need the lion.
Unknown
inv-rconc
[@1: The squirrel needs the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "needs" "lion" "-")
The squirrel chases the lion.
Unknown
random
[@0: The squirrel chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "lion" "+")
The bear does not like the bear.
Unknown
inv-random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "-")
The bald eagle likes the bald eagle.
Unknown
random
[@0: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bald eagle" "+")
@0: The bald eagle chases the bear.[(triple1)] The bald eagle chases the squirrel.[(triple2)] The bald eagle likes the bear.[(triple3)] The bald eagle needs the bear.[(triple4)] The bald eagle needs the lion.[(triple5)] The bear chases the bald eagle.[(triple6)] The bear chases the squirrel.[(triple7)] The bear is blue.[(triple8 OR ((triple1) -> rule5) OR ((triple10) -> rule5) OR ((triple12) -> rule5))] The bear needs the lion.[(triple9)] The lion chases the bear.[(triple10)] The lion is blue.[(triple11)] The squirrel chases the bear.[(triple12)] The squirrel is rough.[(triple13)] The squirrel likes the bald eagle.[(triple14)] The squirrel likes the lion.[(triple15)] The squirrel needs the bald eagle.[(triple16)] @1: The lion is kind.[(((triple4 triple9) -> rule4))] @2: The lion is rough.[(((((triple4 triple9) -> rule4)) -> rule2))]
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 likes the bear.
("bald eagle" "likes" "bear" "+")
triple3
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
triple4
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
triple5
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
triple6
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
triple7
The bear is blue.
("bear" "is" "blue" "+")
triple8
((triple1) -> (rule5 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
((triple10) -> (rule5 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
((triple12) -> (rule5 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear needs the lion.
("bear" "needs" "lion" "+")
triple9
The lion chases the bear.
("lion" "chases" "bear" "+")
triple10
The lion is blue.
("lion" "is" "blue" "+")
triple11
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
triple12
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple13
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
triple14
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
triple15
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
triple16
The lion is kind.
("lion" "is" "kind" "+")
((triple4 triple9) -> (rule4 % int1))
The lion is kind.
("lion" "is" "kind" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
((((triple4 triple9) -> (rule4 % int2))) -> (rule2 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
The lion is kind.
("lion" "is" "kind" "+")
int2