The bald eagle chases the squirrel. The dog chases the bald eagle. The squirrel chases the dog. If something is cold and it eats the squirrel then it is blue. If something sees the dog and it sees the bald eagle then the dog sees the bald eagle. If something is nice and it eats the dog then the dog eats the squirrel. If something sees the squirrel and the squirrel is cold then it chases the bald eagle. If something sees the dog then the dog chases the squirrel. If the dog chases the bald eagle and the bald eagle sees the dog then the dog chases the squirrel. If something is blue and it sees the dog then the dog chases the squirrel. If something is red then it eats the bald eagle.
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
If something is cold and it eats the squirrel then it is blue.
((("something" "is" "cold" "+") ("something" "eats" "squirrel" "+")) -> ("something" "is" "blue" "+"))
If something sees the dog and it sees the bald eagle then the dog sees the bald eagle.
((("something" "sees" "dog" "+") ("something" "sees" "bald eagle" "+")) -> ("dog" "sees" "bald eagle" "+"))
If something is nice and it eats the dog then the dog eats the squirrel.
((("something" "is" "nice" "+") ("something" "eats" "dog" "+")) -> ("dog" "eats" "squirrel" "+"))
If something sees the squirrel and the squirrel is cold then it chases the bald eagle.
((("something" "sees" "squirrel" "+") ("squirrel" "is" "cold" "+")) -> ("something" "chases" "bald eagle" "+"))
If something sees the dog then the dog chases the squirrel.
((("something" "sees" "dog" "+")) -> ("dog" "chases" "squirrel" "+"))
If the dog chases the bald eagle and the bald eagle sees the dog then the dog chases the squirrel.
((("dog" "chases" "bald eagle" "+") ("bald eagle" "sees" "dog" "+")) -> ("dog" "chases" "squirrel" "+"))
If something is blue and it sees the dog then the dog chases the squirrel.
((("something" "is" "blue" "+") ("something" "sees" "dog" "+")) -> ("dog" "chases" "squirrel" "+"))
If something is red then it eats the bald eagle.
((("something" "is" "red" "+")) -> ("something" "eats" "bald eagle" "+"))
The squirrel chases the dog.
True
1
proof
[(triple3)]
("squirrel" "chases" "dog" "+")
triple3
The squirrel does not chase the dog.
False
1
inv-proof
[(triple3)]
("squirrel" "chases" "dog" "-")
triple3
The dog does not chase the squirrel.
Unknown
inv-rconc
[@1: The dog chases the squirrel.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("dog" "chases" "squirrel" "-")
The bald eagle eats the squirrel.
Unknown
random
[@0: The bald eagle eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "squirrel" "+")
@0: The bald eagle chases the squirrel.[(triple1)] The dog chases the bald eagle.[(triple2)] The squirrel chases the dog.[(triple3)]
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
triple1
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
triple2
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
triple3