The bald eagle visits the lion. The cow eats the bald eagle. The cow eats the lion. The cow likes the lion. The cow visits the bald eagle. The dog eats the lion. The dog is cold. The dog is red. The dog likes the cow. The dog visits the lion. The lion is cold. The lion likes the cow. If something likes the bald eagle and it visits the bald eagle then it is blue. If the cow eats the lion and the cow is cold then the cow likes the bald eagle. If something eats the cow then it eats the bald eagle. If something likes the cow and it visits the dog then it eats the cow. If something visits the bald eagle then it visits the dog. If the cow eats the dog and the dog visits the bald eagle then the dog eats the bald eagle. If something likes the bald eagle then it is round. If something is blue and it eats the lion then the lion eats the cow.
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
The cow eats the lion.
("cow" "eats" "lion" "+")
The cow likes the lion.
("cow" "likes" "lion" "+")
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
The dog eats the lion.
("dog" "eats" "lion" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is red.
("dog" "is" "red" "+")
The dog likes the cow.
("dog" "likes" "cow" "+")
The dog visits the lion.
("dog" "visits" "lion" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion likes the cow.
("lion" "likes" "cow" "+")
If something likes the bald eagle and it visits the bald eagle then it is blue.
((("something" "likes" "bald eagle" "+") ("something" "visits" "bald eagle" "+")) -> ("something" "is" "blue" "+"))
If the cow eats the lion and the cow is cold then the cow likes the bald eagle.
((("cow" "eats" "lion" "+") ("cow" "is" "cold" "+")) -> ("cow" "likes" "bald eagle" "+"))
If something eats the cow then it eats the bald eagle.
((("something" "eats" "cow" "+")) -> ("something" "eats" "bald eagle" "+"))
If something likes the cow and it visits the dog then it eats the cow.
((("something" "likes" "cow" "+") ("something" "visits" "dog" "+")) -> ("something" "eats" "cow" "+"))
If something visits the bald eagle then it visits the dog.
((("something" "visits" "bald eagle" "+")) -> ("something" "visits" "dog" "+"))
If the cow eats the dog and the dog visits the bald eagle then the dog eats the bald eagle.
((("cow" "eats" "dog" "+") ("dog" "visits" "bald eagle" "+")) -> ("dog" "eats" "bald eagle" "+"))
If something likes the bald eagle then it is round.
((("something" "likes" "bald eagle" "+")) -> ("something" "is" "round" "+"))
If something is blue and it eats the lion then the lion eats the cow.
((("something" "is" "blue" "+") ("something" "eats" "lion" "+")) -> ("lion" "eats" "cow" "+"))
The cow eats the bald eagle.
True
1
proof
[(triple2)]
("cow" "eats" "bald eagle" "+")
triple2
The cow does not like the lion.
False
1
inv-proof
[(triple4)]
("cow" "likes" "lion" "-")
triple4
The dog is not round.
Unknown
inv-rconc
[@1: The dog is round.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("dog" "is" "round" "-")
The dog likes the dog.
Unknown
random
[@0: The dog likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "dog" "+")
@0: The bald eagle visits the lion.[(triple1)] The cow eats the bald eagle.[(triple2)] The cow eats the lion.[(triple3)] The cow likes the lion.[(triple4)] The cow visits the bald eagle.[(triple5)] The dog eats the lion.[(triple6)] The dog is cold.[(triple7)] The dog is red.[(triple8)] The dog likes the cow.[(triple9)] The dog visits the lion.[(triple10)] The lion is cold.[(triple11)] The lion likes the cow.[(triple12)] @1: The cow visits the dog.[(((triple5) -> rule5))]
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
triple1
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
triple2
The cow eats the lion.
("cow" "eats" "lion" "+")
triple3
The cow likes the lion.
("cow" "likes" "lion" "+")
triple4
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
triple5
The dog eats the lion.
("dog" "eats" "lion" "+")
triple6
The dog is cold.
("dog" "is" "cold" "+")
triple7
The dog is red.
("dog" "is" "red" "+")
triple8
The dog likes the cow.
("dog" "likes" "cow" "+")
triple9
The dog visits the lion.
("dog" "visits" "lion" "+")
triple10
The lion is cold.
("lion" "is" "cold" "+")
triple11
The lion likes the cow.
("lion" "likes" "cow" "+")
triple12
The cow visits the dog.
("cow" "visits" "dog" "+")
((triple5) -> (rule5 % int1))
The cow visits the dog.
("cow" "visits" "dog" "+")
int1