The bald eagle chases the cat. The bear chases the cat. The cat visits the bear. The squirrel visits the cat. If the cat chases the squirrel then the squirrel likes the bald eagle. If something visits the bald eagle and the bald eagle visits the squirrel then the bald eagle chases the squirrel. If something visits the bear then the bear is blue. If something is blue then it visits the bear. If the bald eagle chases the squirrel and the bald eagle is green then the bald eagle is round. If something likes the bear and it visits the bald eagle then the bald eagle visits the squirrel.
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
The bear chases the cat.
("bear" "chases" "cat" "+")
The cat visits the bear.
("cat" "visits" "bear" "+")
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
If the cat chases the squirrel then the squirrel likes the bald eagle.
((("cat" "chases" "squirrel" "+")) -> ("squirrel" "likes" "bald eagle" "+"))
If something visits the bald eagle and the bald eagle visits the squirrel then the bald eagle chases the squirrel.
((("something" "visits" "bald eagle" "+") ("bald eagle" "visits" "squirrel" "+")) -> ("bald eagle" "chases" "squirrel" "+"))
If something visits the bear then the bear is blue.
((("something" "visits" "bear" "+")) -> ("bear" "is" "blue" "+"))
If something is blue then it visits the bear.
((("something" "is" "blue" "+")) -> ("something" "visits" "bear" "+"))
If the bald eagle chases the squirrel and the bald eagle is green then the bald eagle is round.
((("bald eagle" "chases" "squirrel" "+") ("bald eagle" "is" "green" "+")) -> ("bald eagle" "is" "round" "+"))
If something likes the bear and it visits the bald eagle then the bald eagle visits the squirrel.
((("something" "likes" "bear" "+") ("something" "visits" "bald eagle" "+")) -> ("bald eagle" "visits" "squirrel" "+"))
The bear chases the cat.
True
1
proof
[(triple2)]
("bear" "chases" "cat" "+")
triple2
The bear does not chase the cat.
False
1
inv-proof
[(triple2)]
("bear" "chases" "cat" "-")
triple2
The bear is blue.
True
2
proof
[(((triple3) -> rule3))]
("bear" "is" "blue" "+")
((triple3) -> (rule3 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is not blue.
False
2
inv-proof
[(((triple3) -> rule3))]
("bear" "is" "blue" "-")
((triple3) -> (rule3 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear visits the bear.
True
3
proof
[(((((triple3) -> rule3)) -> rule4))]
("bear" "visits" "bear" "+")
((((triple3) -> (rule3 % int2))) -> (rule4 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear does not visit the bear.
False
3
inv-proof
[(((((triple3) -> rule3)) -> rule4))]
("bear" "visits" "bear" "-")
((((triple3) -> (rule3 % int2))) -> (rule4 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bald eagle does not visit the bear.
Unknown
inv-rconc
[@1: The bald eagle visits the bear.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "visits" "bear" "-")
The bald eagle chases the squirrel.
Unknown
rconc
[@1: The bald eagle chases the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "chases" "squirrel" "+")
The squirrel does not like the bald eagle.
Unknown
inv-rconc
[@1: The squirrel likes the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "likes" "bald eagle" "-")
The bear likes the cat.
Unknown
random
[@0: The bear likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "cat" "+")
The squirrel is not green.
Unknown
inv-random
[@0: The squirrel is green.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "green" "-")
The bald eagle is green.
Unknown
random
[@0: The bald eagle is green.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "green" "+")
@0: The bald eagle chases the cat.[(triple1)] The bear chases the cat.[(triple2)] The cat visits the bear.[(triple3)] The squirrel visits the cat.[(triple4)] @1: The bear is blue.[(((triple3) -> rule3))] @2: The bear visits the bear.[(((((triple3) -> rule3)) -> rule4))]
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
triple1
The bear chases the cat.
("bear" "chases" "cat" "+")
triple2
The cat visits the bear.
("cat" "visits" "bear" "+")
triple3
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
triple4
The bear is blue.
("bear" "is" "blue" "+")
((triple3) -> (rule3 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear visits the bear.
("bear" "visits" "bear" "+")
((((triple3) -> (rule3 % int2))) -> (rule4 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2