The bear eats the dog. The bear is cold. The bear is green. The bear does not like the cow. The cow is kind. The cow is round. The cow likes the dog. The cow does not visit the rabbit. The dog eats the bear. The dog eats the cow. The dog is cold. The dog is not kind. The dog likes the rabbit. The dog visits the rabbit. The rabbit is green. The rabbit is kind. If something likes the rabbit then it does not like the dog. If something is young then it likes the dog. If the dog likes the bear and the dog eats the bear then the dog eats the rabbit. If something visits the cow then it is not green. If something is kind then it does not visit the dog. If something eats the rabbit then it does not like the cow.
The bear eats the dog.
("bear" "eats" "dog" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear is green.
("bear" "is" "green" "+")
The bear does not like the cow.
("bear" "likes" "cow" "-")
The cow is kind.
("cow" "is" "kind" "+")
The cow is round.
("cow" "is" "round" "+")
The cow likes the dog.
("cow" "likes" "dog" "+")
The cow does not visit the rabbit.
("cow" "visits" "rabbit" "-")
The dog eats the bear.
("dog" "eats" "bear" "+")
The dog eats the cow.
("dog" "eats" "cow" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is not kind.
("dog" "is" "kind" "-")
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
If something likes the rabbit then it does not like the dog.
((("something" "likes" "rabbit" "+")) -> ("something" "likes" "dog" "-"))
If something is young then it likes the dog.
((("something" "is" "young" "+")) -> ("something" "likes" "dog" "+"))
If the dog likes the bear and the dog eats the bear then the dog eats the rabbit.
((("dog" "likes" "bear" "+") ("dog" "eats" "bear" "+")) -> ("dog" "eats" "rabbit" "+"))
If something visits the cow then it is not green.
((("something" "visits" "cow" "+")) -> ("something" "is" "green" "-"))
If something is kind then it does not visit the dog.
((("something" "is" "kind" "+")) -> ("something" "visits" "dog" "-"))
If something eats the rabbit then it does not like the cow.
((("something" "eats" "rabbit" "+")) -> ("something" "likes" "cow" "-"))
The dog visits the rabbit.
True
1
proof
[(triple14)]
("dog" "visits" "rabbit" "+")
triple14
The dog is not cold.
False
1
inv-proof
[(triple11)]
("dog" "is" "cold" "-")
triple11
The dog does not like the dog.
True
2
proof
[(((triple13) -> rule1))]
("dog" "likes" "dog" "-")
((triple13) -> (rule1 % int1))
The dog does not like the dog.
("dog" "likes" "dog" "-")
int1
The cow visits the dog.
False
2
inv-proof
[(((triple5) -> rule5))]
("cow" "visits" "dog" "+")
((triple5) -> (rule5 % int1))
The cow does not visit the dog.
("cow" "visits" "dog" "-")
int1
The dog does not eat the rabbit.
Unknown
inv-rconc
[@1: The dog eats the rabbit.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("dog" "eats" "rabbit" "-")
The bear likes the dog.
Unknown
rconc
[@1: The bear likes the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "likes" "dog" "+")
The rabbit does not like the bear.
Unknown
inv-random
[@0: The rabbit likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "bear" "-")
The rabbit visits the cow.
Unknown
random
[@0: The rabbit visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "cow" "+")
@0: The bear does not like the cow.[(triple4)] The bear eats the dog.[(triple1)] The bear is cold.[(triple2)] The bear is green.[(triple3)] The cow does not visit the rabbit.[(triple8)] The cow is kind.[(triple5)] The cow is round.[(triple6)] The cow likes the dog.[(triple7)] The dog eats the bear.[(triple9)] The dog eats the cow.[(triple10)] The dog is cold.[(triple11)] The dog is not kind.[(triple12)] The dog likes the rabbit.[(triple13)] The dog visits the rabbit.[(triple14)] The rabbit is green.[(triple15)] The rabbit is kind.[(triple16)] @1: The cow does not visit the dog.[(((triple5) -> rule5))] The dog does not like the dog.[(((triple13) -> rule1))] The rabbit does not visit the dog.[(((triple16) -> rule5))]
The bear does not like the cow.
("bear" "likes" "cow" "-")
triple4
The bear eats the dog.
("bear" "eats" "dog" "+")
triple1
The bear is cold.
("bear" "is" "cold" "+")
triple2
The bear is green.
("bear" "is" "green" "+")
triple3
The cow does not visit the rabbit.
("cow" "visits" "rabbit" "-")
triple8
The cow is kind.
("cow" "is" "kind" "+")
triple5
The cow is round.
("cow" "is" "round" "+")
triple6
The cow likes the dog.
("cow" "likes" "dog" "+")
triple7
The dog eats the bear.
("dog" "eats" "bear" "+")
triple9
The dog eats the cow.
("dog" "eats" "cow" "+")
triple10
The dog is cold.
("dog" "is" "cold" "+")
triple11
The dog is not kind.
("dog" "is" "kind" "-")
triple12
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
triple13
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
triple14
The rabbit is green.
("rabbit" "is" "green" "+")
triple15
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple16
The cow does not visit the dog.
("cow" "visits" "dog" "-")
((triple5) -> (rule5 % int1))
The cow does not visit the dog.
("cow" "visits" "dog" "-")
int1
The dog does not like the dog.
("dog" "likes" "dog" "-")
((triple13) -> (rule1 % int1))
The dog does not like the dog.
("dog" "likes" "dog" "-")
int1
The rabbit does not visit the dog.
("rabbit" "visits" "dog" "-")
((triple16) -> (rule5 % int1))
The rabbit does not visit the dog.
("rabbit" "visits" "dog" "-")
int1