The bear eats the dog. The bear eats the lion. The bear is cold. The bear is green. The bear is round. The bear needs the dog. The bear visits the dog. The dog is cold. The dog is green. The dog is red. The dog is round. The dog needs the lion. The dog visits the bear. The lion is kind. The lion needs the bear. The lion visits the bear. If someone visits the dog and the dog eats the lion then they eat the bear. If someone eats the bear then the bear is red. If someone is kind and they visit the lion then they eat the bear.
The bear eats the dog.
("bear" "eats" "dog" "+")
The bear eats the lion.
("bear" "eats" "lion" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear is green.
("bear" "is" "green" "+")
The bear is round.
("bear" "is" "round" "+")
The bear needs the dog.
("bear" "needs" "dog" "+")
The bear visits the dog.
("bear" "visits" "dog" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is red.
("dog" "is" "red" "+")
The dog is round.
("dog" "is" "round" "+")
The dog needs the lion.
("dog" "needs" "lion" "+")
The dog visits the bear.
("dog" "visits" "bear" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion needs the bear.
("lion" "needs" "bear" "+")
The lion visits the bear.
("lion" "visits" "bear" "+")
If someone visits the dog and the dog eats the lion then they eat the bear.
((("someone" "visits" "dog" "+") ("dog" "eats" "lion" "+")) -> ("someone" "eats" "bear" "+"))
If someone eats the bear then the bear is red.
((("someone" "eats" "bear" "+")) -> ("bear" "is" "red" "+"))
If someone is kind and they visit the lion then they eat the bear.
((("someone" "is" "kind" "+") ("someone" "visits" "lion" "+")) -> ("someone" "eats" "bear" "+"))
The lion visits the bear.
True
1
proof
[(triple16)]
("lion" "visits" "bear" "+")
triple16
The bear is not green.
False
1
inv-proof
[(triple4)]
("bear" "is" "green" "-")
triple4
The bear does not eat the bear.
Unknown
inv-rconc
[@1: The bear eats the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "eats" "bear" "-")
The bear needs the bear.
Unknown
random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "+")
@0: The bear eats the dog.[(triple1)] The bear eats the lion.[(triple2)] The bear is cold.[(triple3)] The bear is green.[(triple4)] The bear is round.[(triple5)] The bear needs the dog.[(triple6)] The bear visits the dog.[(triple7)] The dog is cold.[(triple8)] The dog is green.[(triple9)] The dog is red.[(triple10)] The dog is round.[(triple11)] The dog needs the lion.[(triple12)] The dog visits the bear.[(triple13)] The lion is kind.[(triple14)] The lion needs the bear.[(triple15)] The lion visits the bear.[(triple16)]
The bear eats the dog.
("bear" "eats" "dog" "+")
triple1
The bear eats the lion.
("bear" "eats" "lion" "+")
triple2
The bear is cold.
("bear" "is" "cold" "+")
triple3
The bear is green.
("bear" "is" "green" "+")
triple4
The bear is round.
("bear" "is" "round" "+")
triple5
The bear needs the dog.
("bear" "needs" "dog" "+")
triple6
The bear visits the dog.
("bear" "visits" "dog" "+")
triple7
The dog is cold.
("dog" "is" "cold" "+")
triple8
The dog is green.
("dog" "is" "green" "+")
triple9
The dog is red.
("dog" "is" "red" "+")
triple10
The dog is round.
("dog" "is" "round" "+")
triple11
The dog needs the lion.
("dog" "needs" "lion" "+")
triple12
The dog visits the bear.
("dog" "visits" "bear" "+")
triple13
The lion is kind.
("lion" "is" "kind" "+")
triple14
The lion needs the bear.
("lion" "needs" "bear" "+")
triple15
The lion visits the bear.
("lion" "visits" "bear" "+")
triple16