The bald eagle is blue. The bear eats the squirrel. The squirrel is rough. If someone visits the squirrel then the squirrel eats the bear. If someone is blue then they visit the squirrel.
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
If someone visits the squirrel then the squirrel eats the bear.
((("someone" "visits" "squirrel" "+")) -> ("squirrel" "eats" "bear" "+"))
If someone is blue then they visit the squirrel.
((("someone" "is" "blue" "+")) -> ("someone" "visits" "squirrel" "+"))
The squirrel is rough.
True
1
proof
[(triple3)]
("squirrel" "is" "rough" "+")
triple3
The squirrel is not rough.
False
1
inv-proof
[(triple3)]
("squirrel" "is" "rough" "-")
triple3
The bald eagle visits the squirrel.
True
2
proof
[(((triple1) -> rule2))]
("bald eagle" "visits" "squirrel" "+")
((triple1) -> (rule2 % int1))
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
int1
The bald eagle does not visit the squirrel.
False
2
inv-proof
[(((triple1) -> rule2))]
("bald eagle" "visits" "squirrel" "-")
((triple1) -> (rule2 % int1))
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
int1
The squirrel eats the bear.
True
3
proof
[(((((triple1) -> rule2)) -> rule1))]
("squirrel" "eats" "bear" "+")
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int1
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
int2
The squirrel does not eat the bear.
False
3
inv-proof
[(((((triple1) -> rule2)) -> rule1))]
("squirrel" "eats" "bear" "-")
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int1
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
int2
The bear does not visit the squirrel.
Unknown
inv-rconc
[@1: The bear visits the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "visits" "squirrel" "-")
The squirrel visits the squirrel.
Unknown
rconc
[@1: The squirrel visits the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "visits" "squirrel" "+")
The bald eagle does not chase the squirrel.
Unknown
inv-random
[@0: The bald eagle chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "squirrel" "-")
The bald eagle is red.
Unknown
random
[@0: The bald eagle is red.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "red" "+")
The bear is not red.
Unknown
inv-random
[@0: The bear is red.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "red" "-")
The bear chases the bear.
Unknown
random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "+")
@0: The bald eagle is blue.[(triple1)] The bear eats the squirrel.[(triple2)] The squirrel is rough.[(triple3)] @1: The bald eagle visits the squirrel.[(((triple1) -> rule2))] @2: The squirrel eats the bear.[(((((triple1) -> rule2)) -> rule1))]
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple1
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
triple2
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple3
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
((triple1) -> (rule2 % int1))
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
int1
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int1
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
int2