The bald eagle chases the squirrel. The bear chases the bald eagle. The lion is cold. The squirrel is big. If someone is cold then they chase the squirrel. If someone likes the lion then the lion likes the bald eagle. If someone is red then they are green. If the bear is kind and the bear chases the lion then the bear visits the lion. If someone chases the squirrel then they chase the bald eagle. If someone is cold and green then they are big. If the bald eagle likes the squirrel and the bald eagle chases the bear then the squirrel visits the lion. If someone likes the lion and the lion is cold then the lion chases the bald eagle.
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
The lion is cold.
("lion" "is" "cold" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
If someone is cold then they chase the squirrel.
((("someone" "is" "cold" "+")) -> ("someone" "chases" "squirrel" "+"))
If someone likes the lion then the lion likes the bald eagle.
((("someone" "likes" "lion" "+")) -> ("lion" "likes" "bald eagle" "+"))
If someone is red then they are green.
((("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If the bear is kind and the bear chases the lion then the bear visits the lion.
((("bear" "is" "kind" "+") ("bear" "chases" "lion" "+")) -> ("bear" "visits" "lion" "+"))
If someone chases the squirrel then they chase the bald eagle.
((("someone" "chases" "squirrel" "+")) -> ("someone" "chases" "bald eagle" "+"))
If someone is cold and green then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If the bald eagle likes the squirrel and the bald eagle chases the bear then the squirrel visits the lion.
((("bald eagle" "likes" "squirrel" "+") ("bald eagle" "chases" "bear" "+")) -> ("squirrel" "visits" "lion" "+"))
If someone likes the lion and the lion is cold then the lion chases the bald eagle.
((("someone" "likes" "lion" "+") ("lion" "is" "cold" "+")) -> ("lion" "chases" "bald eagle" "+"))
The bald eagle chases the squirrel.
True
1
proof
[(triple1)]
("bald eagle" "chases" "squirrel" "+")
triple1
The squirrel is not big.
False
1
inv-proof
[(triple4)]
("squirrel" "is" "big" "-")
triple4
The lion chases the squirrel.
True
2
proof
[(((triple3) -> rule1))]
("lion" "chases" "squirrel" "+")
((triple3) -> (rule1 % int1))
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int1
The bald eagle does not chase the bald eagle.
False
2
inv-proof
[(((triple1) -> rule5))]
("bald eagle" "chases" "bald eagle" "-")
((triple1) -> (rule5 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The lion chases the bald eagle.
True
3
proof
[(((((triple3) -> rule1)) -> rule5))]
("lion" "chases" "bald eagle" "+")
((((triple3) -> (rule1 % int2))) -> (rule5 % int1))
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
int1
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int2
The lion does not chase the bald eagle.
False
3
inv-proof
[(((((triple3) -> rule1)) -> rule5))]
("lion" "chases" "bald eagle" "-")
((((triple3) -> (rule1 % int2))) -> (rule5 % int1))
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
int1
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int2
The squirrel is not green.
Unknown
inv-rconc
[@1: The squirrel is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "is" "green" "-")
The bald eagle is big.
Unknown
rconc
[@1: The bald eagle is big.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "is" "big" "+")
The lion is not green.
Unknown
inv-rconc
[@1: The lion is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("lion" "is" "green" "-")
The lion likes the lion.
Unknown
random
[@0: The lion likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "lion" "+")
The lion does not like the squirrel.
Unknown
inv-random
[@0: The lion likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "squirrel" "-")
The bald eagle likes the lion.
Unknown
random
[@0: The bald eagle likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "lion" "+")
@0: The bald eagle chases the squirrel.[(triple1)] The bear chases the bald eagle.[(triple2)] The lion is cold.[(triple3)] The squirrel is big.[(triple4)] @1: The bald eagle chases the bald eagle.[(((triple1) -> rule5))] The lion chases the squirrel.[(((triple3) -> rule1))] @2: The lion chases the bald eagle.[(((((triple3) -> rule1)) -> rule5))]
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
triple1
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
triple2
The lion is cold.
("lion" "is" "cold" "+")
triple3
The squirrel is big.
("squirrel" "is" "big" "+")
triple4
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
((triple1) -> (rule5 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
((triple3) -> (rule1 % int1))
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int1
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
((((triple3) -> (rule1 % int2))) -> (rule5 % int1))
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
int1
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int2