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