The bear is blue. The bear sees the dog. The bear sees the tiger. The bear visits the lion. The dog is red. The dog visits the bear. The lion is blue. The lion is nice. The lion likes the dog. The lion sees the bear. The lion sees the dog. The lion visits the dog. The tiger sees the bear. The tiger sees the dog. The tiger visits the lion. If someone visits the lion and the lion visits the tiger then the lion likes the bear. If someone is rough and they visit the lion then they like the tiger. If someone visits the bear then they like the dog. If the dog is nice then the dog sees the tiger. If the tiger likes the bear then the bear sees the lion. If someone sees the dog and they see the bear then they like the lion.
The bear is blue.
("bear" "is" "blue" "+")
The bear sees the dog.
("bear" "sees" "dog" "+")
The bear sees the tiger.
("bear" "sees" "tiger" "+")
The bear visits the lion.
("bear" "visits" "lion" "+")
The dog is red.
("dog" "is" "red" "+")
The dog visits the bear.
("dog" "visits" "bear" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion likes the dog.
("lion" "likes" "dog" "+")
The lion sees the bear.
("lion" "sees" "bear" "+")
The lion sees the dog.
("lion" "sees" "dog" "+")
The lion visits the dog.
("lion" "visits" "dog" "+")
The tiger sees the bear.
("tiger" "sees" "bear" "+")
The tiger sees the dog.
("tiger" "sees" "dog" "+")
The tiger visits the lion.
("tiger" "visits" "lion" "+")
If someone visits the lion and the lion visits the tiger then the lion likes the bear.
((("someone" "visits" "lion" "+") ("lion" "visits" "tiger" "+")) -> ("lion" "likes" "bear" "+"))
If someone is rough and they visit the lion then they like the tiger.
((("someone" "is" "rough" "+") ("someone" "visits" "lion" "+")) -> ("someone" "likes" "tiger" "+"))
If someone visits the bear then they like the dog.
((("someone" "visits" "bear" "+")) -> ("someone" "likes" "dog" "+"))
If the dog is nice then the dog sees the tiger.
((("dog" "is" "nice" "+")) -> ("dog" "sees" "tiger" "+"))
If the tiger likes the bear then the bear sees the lion.
((("tiger" "likes" "bear" "+")) -> ("bear" "sees" "lion" "+"))
If someone sees the dog and they see the bear then they like the lion.
((("someone" "sees" "dog" "+") ("someone" "sees" "bear" "+")) -> ("someone" "likes" "lion" "+"))
The lion is blue.
True
1
proof
[(triple7)]
("lion" "is" "blue" "+")
triple7
The lion does not visit the dog.
False
1
inv-proof
[(triple12)]
("lion" "visits" "dog" "-")
triple12
The bear does not like the dog.
Unknown
inv-rconc
[@1: The bear likes the dog.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "likes" "dog" "-")
The tiger sees the tiger.
Unknown
random
[@0: The tiger sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "tiger" "+")
@0: The bear is blue.[(triple1)] The bear sees the dog.[(triple2)] The bear sees the tiger.[(triple3)] The bear visits the lion.[(triple4)] The dog is red.[(triple5)] The dog visits the bear.[(triple6)] The lion is blue.[(triple7)] The lion is nice.[(triple8)] The lion likes the dog.[(triple9)] The lion sees the bear.[(triple10)] The lion sees the dog.[(triple11)] The lion visits the dog.[(triple12)] The tiger sees the bear.[(triple13)] The tiger sees the dog.[(triple14)] The tiger visits the lion.[(triple15)] @1: The dog likes the dog.[(((triple6) -> rule3))] The lion likes the lion.[(((triple11 triple10) -> rule6))] The tiger likes the lion.[(((triple14 triple13) -> rule6))]
The bear is blue.
("bear" "is" "blue" "+")
triple1
The bear sees the dog.
("bear" "sees" "dog" "+")
triple2
The bear sees the tiger.
("bear" "sees" "tiger" "+")
triple3
The bear visits the lion.
("bear" "visits" "lion" "+")
triple4
The dog is red.
("dog" "is" "red" "+")
triple5
The dog visits the bear.
("dog" "visits" "bear" "+")
triple6
The lion is blue.
("lion" "is" "blue" "+")
triple7
The lion is nice.
("lion" "is" "nice" "+")
triple8
The lion likes the dog.
("lion" "likes" "dog" "+")
triple9
The lion sees the bear.
("lion" "sees" "bear" "+")
triple10
The lion sees the dog.
("lion" "sees" "dog" "+")
triple11
The lion visits the dog.
("lion" "visits" "dog" "+")
triple12
The tiger sees the bear.
("tiger" "sees" "bear" "+")
triple13
The tiger sees the dog.
("tiger" "sees" "dog" "+")
triple14
The tiger visits the lion.
("tiger" "visits" "lion" "+")
triple15
The dog likes the dog.
("dog" "likes" "dog" "+")
((triple6) -> (rule3 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The lion likes the lion.
("lion" "likes" "lion" "+")
((triple11 triple10) -> (rule6 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The tiger likes the lion.
("tiger" "likes" "lion" "+")
((triple14 triple13) -> (rule6 % int1))
The tiger likes the lion.
("tiger" "likes" "lion" "+")
int1