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