The bald eagle chases the bear. The bald eagle is cold. The bald eagle visits the bear. The bear chases the lion. The bear is rough. The bear does not need the lion. The bear visits the squirrel. The lion chases the bald eagle. The lion chases the bear. The lion is cold. The squirrel chases the bald eagle. The squirrel is red. The squirrel needs the bald eagle. The squirrel needs the bear. The squirrel needs the lion. If something chases the bald eagle then it needs the bear. If something visits the lion then it does not need the bald eagle. If something visits the squirrel and the squirrel does not visit the bald eagle then the bald eagle is not red. If the bald eagle is not blue and the bald eagle is not round then the bald eagle chases the lion. If the lion needs the bear then the lion is blue. If something chases the bear then the bear does not chase the bald eagle.
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
The bear chases the lion.
("bear" "chases" "lion" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear does not need the lion.
("bear" "needs" "lion" "-")
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
The lion chases the bear.
("lion" "chases" "bear" "+")
The lion is cold.
("lion" "is" "cold" "+")
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
If something chases the bald eagle then it needs the bear.
((("something" "chases" "bald eagle" "+")) -> ("something" "needs" "bear" "+"))
If something visits the lion then it does not need the bald eagle.
((("something" "visits" "lion" "+")) -> ("something" "needs" "bald eagle" "-"))
If something visits the squirrel and the squirrel does not visit the bald eagle then the bald eagle is not red.
((("something" "visits" "squirrel" "+") ("squirrel" "visits" "bald eagle" "~")) -> ("bald eagle" "is" "red" "-"))
If the bald eagle is not blue and the bald eagle is not round then the bald eagle chases the lion.
((("bald eagle" "is" "blue" "~") ("bald eagle" "is" "round" "~")) -> ("bald eagle" "chases" "lion" "+"))
If the lion needs the bear then the lion is blue.
((("lion" "needs" "bear" "+")) -> ("lion" "is" "blue" "+"))
If something chases the bear then the bear does not chase the bald eagle.
((("something" "chases" "bear" "+")) -> ("bear" "chases" "bald eagle" "-"))
The squirrel needs the lion.
True
1
proof
[(triple15)]
("squirrel" "needs" "lion" "+")
triple15
The squirrel does not need the bald eagle.
False
1
inv-proof
[(triple13)]
("squirrel" "needs" "bald eagle" "-")
triple13
The bear does not chase the bald eagle.
True
2
proof
[(((triple1) -> rule6) OR ((triple9) -> rule6))]
("bear" "chases" "bald eagle" "-")
((triple1) -> (rule6 % int1))
The bear does not chase the bald eagle.
("bear" "chases" "bald eagle" "-")
int1
((triple9) -> (rule6 % int1))
The bear does not chase the bald eagle.
("bear" "chases" "bald eagle" "-")
int1
The lion does not need the bear.
False
2
inv-proof
[(((triple8) -> rule1))]
("lion" "needs" "bear" "-")
((triple8) -> (rule1 % int1))
The lion needs the bear.
("lion" "needs" "bear" "+")
int1
The lion is blue.
True
3
proof
[(((((triple8) -> rule1)) -> rule5))]
("lion" "is" "blue" "+")
((((triple8) -> (rule1 % int2))) -> (rule5 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
The lion needs the bear.
("lion" "needs" "bear" "+")
int2
The lion is not blue.
False
3
inv-proof
[(((((triple8) -> rule1)) -> rule5))]
("lion" "is" "blue" "-")
((((triple8) -> (rule1 % int2))) -> (rule5 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
The lion needs the bear.
("lion" "needs" "bear" "+")
int2
The bald eagle does not need the bear.
Unknown
inv-rconc
[@1: The bald eagle needs the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "needs" "bear" "-")
The bear needs the bear.
Unknown
rconc
[@1: The bear needs the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "needs" "bear" "+")
The bald eagle does not chase the lion.
Unknown
inv-rconc
[@1: The bald eagle chases the lion.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "chases" "lion" "-")
The lion needs the bald eagle.
Unknown
random
[@0: The lion needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "bald eagle" "+")
The lion is not round.
Unknown
inv-random
[@0: The lion is round.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "round" "-")
The bald eagle needs the squirrel.
Unknown
random
[@0: The bald eagle needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "squirrel" "+")
@0: The bald eagle chases the bear.[(triple1)] The bald eagle is cold.[(triple2)] The bald eagle visits the bear.[(triple3)] The bear chases the lion.[(triple4)] The bear does not need the lion.[(triple6)] The bear is rough.[(triple5)] The bear visits the squirrel.[(triple7)] The lion chases the bald eagle.[(triple8)] The lion chases the bear.[(triple9)] The lion is cold.[(triple10)] The squirrel chases the bald eagle.[(triple11)] The squirrel is red.[(triple12)] The squirrel needs the bald eagle.[(triple13)] The squirrel needs the bear.[(triple14 OR ((triple11) -> rule1))] The squirrel needs the lion.[(triple15)] @1: The bear does not chase the bald eagle.[(((triple1) -> rule6) OR ((triple9) -> rule6))] The lion needs the bear.[(((triple8) -> rule1))] @2: The lion is blue.[(((((triple8) -> rule1)) -> rule5))]
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
triple1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple2
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
triple3
The bear chases the lion.
("bear" "chases" "lion" "+")
triple4
The bear does not need the lion.
("bear" "needs" "lion" "-")
triple6
The bear is rough.
("bear" "is" "rough" "+")
triple5
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
triple7
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
triple8
The lion chases the bear.
("lion" "chases" "bear" "+")
triple9
The lion is cold.
("lion" "is" "cold" "+")
triple10
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
triple11
The squirrel is red.
("squirrel" "is" "red" "+")
triple12
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
triple13
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
triple14
((triple11) -> (rule1 % int1))
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
int1
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
triple15
The bear does not chase the bald eagle.
("bear" "chases" "bald eagle" "-")
((triple1) -> (rule6 % int1))
The bear does not chase the bald eagle.
("bear" "chases" "bald eagle" "-")
int1
((triple9) -> (rule6 % int1))
The bear does not chase the bald eagle.
("bear" "chases" "bald eagle" "-")
int1
The lion needs the bear.
("lion" "needs" "bear" "+")
((triple8) -> (rule1 % int1))
The lion needs the bear.
("lion" "needs" "bear" "+")
int1
The lion is blue.
("lion" "is" "blue" "+")
((((triple8) -> (rule1 % int2))) -> (rule5 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
The lion needs the bear.
("lion" "needs" "bear" "+")
int2