The bear is nice. The bear is round. The bear does not need the lion. The bear visits the dog. The bear visits the lion. The dog is kind. The dog is nice. The dog is rough. The dog likes the bear. The dog likes the lion. The dog does not need the lion. The dog visits the lion. The lion is rough. The lion needs the bear. The lion visits the bear. The lion visits the dog. All round people are kind.
The bear is nice.
("bear" "is" "nice" "+")
The bear is round.
("bear" "is" "round" "+")
The bear does not need the lion.
("bear" "needs" "lion" "-")
The bear visits the dog.
("bear" "visits" "dog" "+")
The bear visits the lion.
("bear" "visits" "lion" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog likes the bear.
("dog" "likes" "bear" "+")
The dog likes the lion.
("dog" "likes" "lion" "+")
The dog does not need the lion.
("dog" "needs" "lion" "-")
The dog visits the lion.
("dog" "visits" "lion" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion needs the bear.
("lion" "needs" "bear" "+")
The lion visits the bear.
("lion" "visits" "bear" "+")
The lion visits the dog.
("lion" "visits" "dog" "+")
All round people are kind.
((("someone" "is" "round" "+")) -> ("someone" "is" "kind" "+"))
The lion visits the dog.
True
1
proof
[(triple16)]
("lion" "visits" "dog" "+")
triple16
The lion is not rough.
False
1
inv-proof
[(triple13)]
("lion" "is" "rough" "-")
triple13
The lion is not kind.
Unknown
inv-rconc
[@1: The lion is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "is" "kind" "-")
The bear likes the dog.
Unknown
random
[@0: The bear likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "dog" "+")
@0: The bear does not need the lion.[(triple3)] The bear is nice.[(triple1)] The bear is round.[(triple2)] The bear visits the dog.[(triple4)] The bear visits the lion.[(triple5)] The dog does not need the lion.[(triple11)] The dog is kind.[(triple6)] The dog is nice.[(triple7)] The dog is rough.[(triple8)] The dog likes the bear.[(triple9)] The dog likes the lion.[(triple10)] The dog visits the lion.[(triple12)] The lion is rough.[(triple13)] The lion needs the bear.[(triple14)] The lion visits the bear.[(triple15)] The lion visits the dog.[(triple16)] @1: The bear is kind.[(((triple2) -> rule1))]
The bear does not need the lion.
("bear" "needs" "lion" "-")
triple3
The bear is nice.
("bear" "is" "nice" "+")
triple1
The bear is round.
("bear" "is" "round" "+")
triple2
The bear visits the dog.
("bear" "visits" "dog" "+")
triple4
The bear visits the lion.
("bear" "visits" "lion" "+")
triple5
The dog does not need the lion.
("dog" "needs" "lion" "-")
triple11
The dog is kind.
("dog" "is" "kind" "+")
triple6
The dog is nice.
("dog" "is" "nice" "+")
triple7
The dog is rough.
("dog" "is" "rough" "+")
triple8
The dog likes the bear.
("dog" "likes" "bear" "+")
triple9
The dog likes the lion.
("dog" "likes" "lion" "+")
triple10
The dog visits the lion.
("dog" "visits" "lion" "+")
triple12
The lion is rough.
("lion" "is" "rough" "+")
triple13
The lion needs the bear.
("lion" "needs" "bear" "+")
triple14
The lion visits the bear.
("lion" "visits" "bear" "+")
triple15
The lion visits the dog.
("lion" "visits" "dog" "+")
triple16
The bear is kind.
("bear" "is" "kind" "+")
((triple2) -> (rule1 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1