The bear does not chase the dog. The bear eats the dog. The bear is big. The bear is cold. The bear is round. The bear is young. The bear visits the dog. The dog chases the bear. The dog eats the bear. The dog is big. The dog is cold. The dog is kind. The dog is round. The dog is young. The dog does not visit the bear. If something eats the bear then the bear eats the dog. If something eats the bear and the bear chases the dog then the bear does not eat the dog. If something chases the bear and the bear does not visit the dog then the bear does not eat the dog. If something visits the dog then the dog eats the bear. If something chases the bear and the bear chases the dog then the bear is cold. If something is kind and it does not chase the dog then it eats the dog.
The bear does not chase the dog.
("bear" "chases" "dog" "-")
The bear eats the dog.
("bear" "eats" "dog" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear is round.
("bear" "is" "round" "+")
The bear is young.
("bear" "is" "young" "+")
The bear visits the dog.
("bear" "visits" "dog" "+")
The dog chases the bear.
("dog" "chases" "bear" "+")
The dog eats the bear.
("dog" "eats" "bear" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog is round.
("dog" "is" "round" "+")
The dog is young.
("dog" "is" "young" "+")
The dog does not visit the bear.
("dog" "visits" "bear" "-")
If something eats the bear then the bear eats the dog.
((("something" "eats" "bear" "+")) -> ("bear" "eats" "dog" "+"))
If something eats the bear and the bear chases the dog then the bear does not eat the dog.
((("something" "eats" "bear" "+") ("bear" "chases" "dog" "+")) -> ("bear" "eats" "dog" "-"))
If something chases the bear and the bear does not visit the dog then the bear does not eat the dog.
((("something" "chases" "bear" "+") ("bear" "visits" "dog" "~")) -> ("bear" "eats" "dog" "-"))
If something visits the dog then the dog eats the bear.
((("something" "visits" "dog" "+")) -> ("dog" "eats" "bear" "+"))
If something chases the bear and the bear chases the dog then the bear is cold.
((("something" "chases" "bear" "+") ("bear" "chases" "dog" "+")) -> ("bear" "is" "cold" "+"))
If something is kind and it does not chase the dog then it eats the dog.
((("something" "is" "kind" "+") ("something" "chases" "dog" "~")) -> ("something" "eats" "dog" "+"))
The bear is young.
True
1
proof
[(triple6)]
("bear" "is" "young" "+")
triple6
The bear does not visit the dog.
False
1
inv-proof
[(triple7)]
("bear" "visits" "dog" "-")
triple7
The dog does not eat the dog.
Unknown
inv-rconc
[@1: The dog eats the dog.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("dog" "eats" "dog" "-")
The bear chases the bear.
Unknown
random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "+")
@0: The bear does not chase the dog.[(triple1)] The bear eats the dog.[(triple2 OR ((triple9) -> rule1) OR ((((triple7) -> rule4)) -> rule1))] The bear is big.[(triple3)] The bear is cold.[(triple4)] The bear is round.[(triple5)] The bear is young.[(triple6)] The bear visits the dog.[(triple7)] The dog chases the bear.[(triple8)] The dog does not visit the bear.[(triple15)] The dog eats the bear.[(triple9 OR ((triple7) -> rule4))] The dog is big.[(triple10)] The dog is cold.[(triple11)] The dog is kind.[(triple12)] The dog is round.[(triple13)] The dog is young.[(triple14)]
The bear does not chase the dog.
("bear" "chases" "dog" "-")
triple1
The bear eats the dog.
("bear" "eats" "dog" "+")
triple2
((triple9) -> (rule1 % int1))
The bear eats the dog.
("bear" "eats" "dog" "+")
int1
((((triple7) -> (rule4 % int2))) -> (rule1 % int1))
The bear eats the dog.
("bear" "eats" "dog" "+")
int1
The dog eats the bear.
("dog" "eats" "bear" "+")
int2
The bear is big.
("bear" "is" "big" "+")
triple3
The bear is cold.
("bear" "is" "cold" "+")
triple4
The bear is round.
("bear" "is" "round" "+")
triple5
The bear is young.
("bear" "is" "young" "+")
triple6
The bear visits the dog.
("bear" "visits" "dog" "+")
triple7
The dog chases the bear.
("dog" "chases" "bear" "+")
triple8
The dog does not visit the bear.
("dog" "visits" "bear" "-")
triple15
The dog eats the bear.
("dog" "eats" "bear" "+")
triple9
((triple7) -> (rule4 % int1))
The dog eats the bear.
("dog" "eats" "bear" "+")
int1
The dog is big.
("dog" "is" "big" "+")
triple10
The dog is cold.
("dog" "is" "cold" "+")
triple11
The dog is kind.
("dog" "is" "kind" "+")
triple12
The dog is round.
("dog" "is" "round" "+")
triple13
The dog is young.
("dog" "is" "young" "+")
triple14