The bald eagle chases the cat. The bald eagle sees the cat. The cat does not visit the cow. The cow does not chase the cat. The cow sees the squirrel. The squirrel chases the cat. The squirrel does not see the bald eagle. If something chases the squirrel then it chases the bald eagle. If something visits the cow then it is nice. If the bald eagle chases the squirrel and the bald eagle does not see the cat then the squirrel is blue.
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
The cat does not visit the cow.
("cat" "visits" "cow" "-")
The cow does not chase the cat.
("cow" "chases" "cat" "-")
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
The squirrel does not see the bald eagle.
("squirrel" "sees" "bald eagle" "-")
If something chases the squirrel then it chases the bald eagle.
((("something" "chases" "squirrel" "+")) -> ("something" "chases" "bald eagle" "+"))
If something visits the cow then it is nice.
((("something" "visits" "cow" "+")) -> ("something" "is" "nice" "+"))
If the bald eagle chases the squirrel and the bald eagle does not see the cat then the squirrel is blue.
((("bald eagle" "chases" "squirrel" "+") ("bald eagle" "sees" "cat" "~")) -> ("squirrel" "is" "blue" "+"))
The squirrel does not see the bald eagle.
True
1
proof
[(triple7)]
("squirrel" "sees" "bald eagle" "-")
triple7
The squirrel sees the bald eagle.
False
1
inv-proof
[(triple7)]
("squirrel" "sees" "bald eagle" "+")
triple7
The bald eagle does not chase the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "chases" "bald eagle" "-")
The cat sees the cow.
Unknown
random
[@0: The cat sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "cow" "+")
@0: The bald eagle chases the cat.[(triple1)] The bald eagle sees the cat.[(triple2)] The cat does not visit the cow.[(triple3)] The cow does not chase the cat.[(triple4)] The cow sees the squirrel.[(triple5)] The squirrel chases the cat.[(triple6)] The squirrel does not see the bald eagle.[(triple7)]
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
triple1
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
triple2
The cat does not visit the cow.
("cat" "visits" "cow" "-")
triple3
The cow does not chase the cat.
("cow" "chases" "cat" "-")
triple4
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
triple5
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
triple6
The squirrel does not see the bald eagle.
("squirrel" "sees" "bald eagle" "-")
triple7