The bald eagle eats the dog. The bald eagle is big. The cow eats the bald eagle. The dog is red. The dog likes the squirrel. The squirrel is blue. The squirrel is cold. If something is red then it likes the cow. If something is cold and it visits the squirrel then the squirrel visits the cow. If something eats the dog and it is young then it visits the bald eagle. If the dog visits the cow then the dog visits the bald eagle. If something is blue then it eats the squirrel. If something visits the cow then it is cold. If the squirrel visits the dog and the dog is blue then the squirrel is cold. If something likes the bald eagle then the bald eagle likes the squirrel.
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
The dog is red.
("dog" "is" "red" "+")
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
If something is red then it likes the cow.
((("something" "is" "red" "+")) -> ("something" "likes" "cow" "+"))
If something is cold and it visits the squirrel then the squirrel visits the cow.
((("something" "is" "cold" "+") ("something" "visits" "squirrel" "+")) -> ("squirrel" "visits" "cow" "+"))
If something eats the dog and it is young then it visits the bald eagle.
((("something" "eats" "dog" "+") ("something" "is" "young" "+")) -> ("something" "visits" "bald eagle" "+"))
If the dog visits the cow then the dog visits the bald eagle.
((("dog" "visits" "cow" "+")) -> ("dog" "visits" "bald eagle" "+"))
If something is blue then it eats the squirrel.
((("something" "is" "blue" "+")) -> ("something" "eats" "squirrel" "+"))
If something visits the cow then it is cold.
((("something" "visits" "cow" "+")) -> ("something" "is" "cold" "+"))
If the squirrel visits the dog and the dog is blue then the squirrel is cold.
((("squirrel" "visits" "dog" "+") ("dog" "is" "blue" "+")) -> ("squirrel" "is" "cold" "+"))
If something likes the bald eagle then the bald eagle likes the squirrel.
((("something" "likes" "bald eagle" "+")) -> ("bald eagle" "likes" "squirrel" "+"))
The bald eagle is big.
True
1
proof
[(triple2)]
("bald eagle" "is" "big" "+")
triple2
The bald eagle does not eat the dog.
False
1
inv-proof
[(triple1)]
("bald eagle" "eats" "dog" "-")
triple1
The dog likes the cow.
True
2
proof
[(((triple4) -> rule1))]
("dog" "likes" "cow" "+")
((triple4) -> (rule1 % int1))
The dog likes the cow.
("dog" "likes" "cow" "+")
int1
The dog does not like the cow.
False
2
inv-proof
[(((triple4) -> rule1))]
("dog" "likes" "cow" "-")
((triple4) -> (rule1 % int1))
The dog likes the cow.
("dog" "likes" "cow" "+")
int1
The dog does not eat the squirrel.
Unknown
inv-rconc
[@1: The dog eats the squirrel.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("dog" "eats" "squirrel" "-")
The squirrel likes the cow.
Unknown
rconc
[@1: The squirrel likes the cow.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "likes" "cow" "+")
The dog does not visit the dog.
Unknown
inv-random
[@0: The dog visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "dog" "-")
The cow eats the dog.
Unknown
random
[@0: The cow eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "dog" "+")
@0: The bald eagle eats the dog.[(triple1)] The bald eagle is big.[(triple2)] The cow eats the bald eagle.[(triple3)] The dog is red.[(triple4)] The dog likes the squirrel.[(triple5)] The squirrel is blue.[(triple6)] The squirrel is cold.[(triple7)] @1: The dog likes the cow.[(((triple4) -> rule1))] The squirrel eats the squirrel.[(((triple6) -> rule5))]
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
triple1
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple2
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
triple3
The dog is red.
("dog" "is" "red" "+")
triple4
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
triple5
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple6
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple7
The dog likes the cow.
("dog" "likes" "cow" "+")
((triple4) -> (rule1 % int1))
The dog likes the cow.
("dog" "likes" "cow" "+")
int1
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
((triple6) -> (rule5 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1