The bald eagle eats the cow. The cow chases the squirrel. The squirrel does not chase the cow. If something eats the squirrel then it is kind. If the bald eagle likes the squirrel then the squirrel does not chase the bald eagle. If something likes the squirrel then the squirrel eats the cow. If something eats the bald eagle and it likes the cow then the bald eagle eats the squirrel. If something chases the squirrel then it is not cold. If something chases the cow then it likes the squirrel.
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
The squirrel does not chase the cow.
("squirrel" "chases" "cow" "-")
If something eats the squirrel then it is kind.
((("something" "eats" "squirrel" "+")) -> ("something" "is" "kind" "+"))
If the bald eagle likes the squirrel then the squirrel does not chase the bald eagle.
((("bald eagle" "likes" "squirrel" "+")) -> ("squirrel" "chases" "bald eagle" "-"))
If something likes the squirrel then the squirrel eats the cow.
((("something" "likes" "squirrel" "+")) -> ("squirrel" "eats" "cow" "+"))
If something eats the bald eagle and it likes the cow then the bald eagle eats the squirrel.
((("something" "eats" "bald eagle" "+") ("something" "likes" "cow" "+")) -> ("bald eagle" "eats" "squirrel" "+"))
If something chases the squirrel then it is not cold.
((("something" "chases" "squirrel" "+")) -> ("something" "is" "cold" "-"))
If something chases the cow then it likes the squirrel.
((("something" "chases" "cow" "+")) -> ("something" "likes" "squirrel" "+"))
The bald eagle eats the cow.
True
1
proof
[(triple1)]
("bald eagle" "eats" "cow" "+")
triple1
The cow does not chase the squirrel.
False
1
inv-proof
[(triple2)]
("cow" "chases" "squirrel" "-")
triple2
The cow is not cold.
True
2
proof
[(((triple2) -> rule5))]
("cow" "is" "cold" "-")
((triple2) -> (rule5 % int1))
The cow is not cold.
("cow" "is" "cold" "-")
int1
The cow is cold.
False
2
inv-proof
[(((triple2) -> rule5))]
("cow" "is" "cold" "+")
((triple2) -> (rule5 % int1))
The cow is not cold.
("cow" "is" "cold" "-")
int1
The squirrel is not kind.
Unknown
inv-rconc
[@1: The squirrel is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "is" "kind" "-")
The squirrel eats the cow.
Unknown
rconc
[@2: The squirrel eats the cow.[CWA. Example of deepest failure = (rule3 <- rule6 <- FAIL)]]
("squirrel" "eats" "cow" "+")
The squirrel is not green.
Unknown
inv-random
[@0: The squirrel is green.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "green" "-")
The squirrel chases the bald eagle.
Unknown
random
[@0: The squirrel chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "bald eagle" "+")
@0: The bald eagle eats the cow.[(triple1)] The cow chases the squirrel.[(triple2)] The squirrel does not chase the cow.[(triple3)] @1: The cow is not cold.[(((triple2) -> rule5))]
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
triple1
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
triple2
The squirrel does not chase the cow.
("squirrel" "chases" "cow" "-")
triple3
The cow is not cold.
("cow" "is" "cold" "-")
((triple2) -> (rule5 % int1))
The cow is not cold.
("cow" "is" "cold" "-")
int1