The bald eagle is cold. The dog is blue. The squirrel eats the bald eagle. If someone chases the squirrel and they see the dog then the squirrel chases the bald eagle. If someone chases the dog and they see the bald eagle then the dog is round. If someone chases the bald eagle then the bald eagle eats the dog. If the dog chases the squirrel then the squirrel chases the dog. If someone eats the bald eagle and they chase the dog then the dog sees the bald eagle. If someone eats the squirrel then they are young.
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The dog is blue.
("dog" "is" "blue" "+")
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
If someone chases the squirrel and they see the dog then the squirrel chases the bald eagle.
((("someone" "chases" "squirrel" "+") ("someone" "sees" "dog" "+")) -> ("squirrel" "chases" "bald eagle" "+"))
If someone chases the dog and they see the bald eagle then the dog is round.
((("someone" "chases" "dog" "+") ("someone" "sees" "bald eagle" "+")) -> ("dog" "is" "round" "+"))
If someone chases the bald eagle then the bald eagle eats the dog.
((("someone" "chases" "bald eagle" "+")) -> ("bald eagle" "eats" "dog" "+"))
If the dog chases the squirrel then the squirrel chases the dog.
((("dog" "chases" "squirrel" "+")) -> ("squirrel" "chases" "dog" "+"))
If someone eats the bald eagle and they chase the dog then the dog sees the bald eagle.
((("someone" "eats" "bald eagle" "+") ("someone" "chases" "dog" "+")) -> ("dog" "sees" "bald eagle" "+"))
If someone eats the squirrel then they are young.
((("someone" "eats" "squirrel" "+")) -> ("someone" "is" "young" "+"))
The squirrel eats the bald eagle.
True
1
proof
[(triple3)]
("squirrel" "eats" "bald eagle" "+")
triple3
The squirrel does not eat the bald eagle.
False
1
inv-proof
[(triple3)]
("squirrel" "eats" "bald eagle" "-")
triple3
The bald eagle does not eat the dog.
Unknown
inv-rconc
[@2: The bald eagle eats the dog.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("bald eagle" "eats" "dog" "-")
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 is cold.[(triple1)] The dog is blue.[(triple2)] The squirrel eats the bald eagle.[(triple3)]
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple1
The dog is blue.
("dog" "is" "blue" "+")
triple2
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
triple3