The bald eagle visits the cat. The bear likes the bald eagle. The bear visits the squirrel. The cat eats the bald eagle. The squirrel is red. The squirrel likes the bear. The squirrel visits the bear. If the squirrel eats the cat and the cat likes the squirrel then the cat visits the bald eagle. If something eats the cat and the cat eats the bear then the bear likes the bald eagle. If something is blue and cold then it is red. If something is cold then it eats the bear. If something eats the squirrel then the squirrel likes the cat. If something likes the bald eagle then the bald eagle is cold. If something eats the cat and the cat eats the bear then the cat visits the squirrel. If something eats the bear and the bear eats the squirrel then the bear is blue.
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
If the squirrel eats the cat and the cat likes the squirrel then the cat visits the bald eagle.
((("squirrel" "eats" "cat" "+") ("cat" "likes" "squirrel" "+")) -> ("cat" "visits" "bald eagle" "+"))
If something eats the cat and the cat eats the bear then the bear likes the bald eagle.
((("something" "eats" "cat" "+") ("cat" "eats" "bear" "+")) -> ("bear" "likes" "bald eagle" "+"))
If something is blue and cold then it is red.
((("something" "is" "blue" "+") ("something" "is" "cold" "+")) -> ("something" "is" "red" "+"))
If something is cold then it eats the bear.
((("something" "is" "cold" "+")) -> ("something" "eats" "bear" "+"))
If something eats the squirrel then the squirrel likes the cat.
((("something" "eats" "squirrel" "+")) -> ("squirrel" "likes" "cat" "+"))
If something likes the bald eagle then the bald eagle is cold.
((("something" "likes" "bald eagle" "+")) -> ("bald eagle" "is" "cold" "+"))
If something eats the cat and the cat eats the bear then the cat visits the squirrel.
((("something" "eats" "cat" "+") ("cat" "eats" "bear" "+")) -> ("cat" "visits" "squirrel" "+"))
If something eats the bear and the bear eats the squirrel then the bear is blue.
((("something" "eats" "bear" "+") ("bear" "eats" "squirrel" "+")) -> ("bear" "is" "blue" "+"))
The squirrel visits the bear.
True
1
proof
[(triple7)]
("squirrel" "visits" "bear" "+")
triple7
The squirrel does not like the bear.
False
1
inv-proof
[(triple6)]
("squirrel" "likes" "bear" "-")
triple6
The bald eagle is cold.
True
2
proof
[(((triple2) -> rule6))]
("bald eagle" "is" "cold" "+")
((triple2) -> (rule6 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The bald eagle is not cold.
False
2
inv-proof
[(((triple2) -> rule6))]
("bald eagle" "is" "cold" "-")
((triple2) -> (rule6 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The bear does not eat the bear.
Unknown
inv-rconc
[@1: The bear eats the bear.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bear" "eats" "bear" "-")
The bald eagle is red.
Unknown
rconc
[@1: The bald eagle is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "is" "red" "+")
The cat does not like the bald eagle.
Unknown
inv-random
[@0: The cat likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "bald eagle" "-")
The cat likes the squirrel.
Unknown
random
[@0: The cat likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "squirrel" "+")
@0: The bald eagle visits the cat.[(triple1)] The bear likes the bald eagle.[(triple2)] The bear visits the squirrel.[(triple3)] The cat eats the bald eagle.[(triple4)] The squirrel is red.[(triple5)] The squirrel likes the bear.[(triple6)] The squirrel visits the bear.[(triple7)] @1: The bald eagle is cold.[(((triple2) -> rule6))] @2: The bald eagle eats the bear.[(((((triple2) -> rule6)) -> rule4))]
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
triple1
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
triple2
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
triple3
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
triple4
The squirrel is red.
("squirrel" "is" "red" "+")
triple5
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
triple6
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
triple7
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
((triple2) -> (rule6 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
((((triple2) -> (rule6 % int2))) -> (rule4 % int1))
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int2