The bear chases the dog. The bear is blue. The bear is rough. The bear likes the dog. The bear likes the squirrel. The dog chases the tiger. The dog is green. The dog visits the bear. The squirrel chases the dog. The squirrel is blue. The squirrel likes the bear. The tiger chases the dog. The tiger chases the squirrel. The tiger is blue. The tiger is rough. The tiger likes the dog. If something likes the dog and it is rough then it is big. If something visits the dog and the dog likes the squirrel then the dog chases the bear. If the squirrel visits the bear then the bear likes the dog. If something visits the tiger then the tiger is nice. If the bear likes the dog then the bear visits the dog. All big, blue things are nice.
The bear chases the dog.
("bear" "chases" "dog" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear likes the dog.
("bear" "likes" "dog" "+")
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
The dog chases the tiger.
("dog" "chases" "tiger" "+")
The dog is green.
("dog" "is" "green" "+")
The dog visits the bear.
("dog" "visits" "bear" "+")
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
The tiger chases the dog.
("tiger" "chases" "dog" "+")
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger likes the dog.
("tiger" "likes" "dog" "+")
If something likes the dog and it is rough then it is big.
((("something" "likes" "dog" "+") ("something" "is" "rough" "+")) -> ("something" "is" "big" "+"))
If something visits the dog and the dog likes the squirrel then the dog chases the bear.
((("something" "visits" "dog" "+") ("dog" "likes" "squirrel" "+")) -> ("dog" "chases" "bear" "+"))
If the squirrel visits the bear then the bear likes the dog.
((("squirrel" "visits" "bear" "+")) -> ("bear" "likes" "dog" "+"))
If something visits the tiger then the tiger is nice.
((("something" "visits" "tiger" "+")) -> ("tiger" "is" "nice" "+"))
If the bear likes the dog then the bear visits the dog.
((("bear" "likes" "dog" "+")) -> ("bear" "visits" "dog" "+"))
All big, blue things are nice.
((("something" "is" "big" "+") ("something" "is" "blue" "+")) -> ("something" "is" "nice" "+"))
The squirrel likes the bear.
True
1
proof
[(triple11)]
("squirrel" "likes" "bear" "+")
triple11
The tiger is not blue.
False
1
inv-proof
[(triple14)]
("tiger" "is" "blue" "-")
triple14
The dog is not nice.
Unknown
inv-rconc
[@1: The dog is nice.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("dog" "is" "nice" "-")
The tiger visits the bear.
Unknown
random
[@0: The tiger visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "visits" "bear" "+")
@0: The bear chases the dog.[(triple1)] The bear is blue.[(triple2)] The bear is rough.[(triple3)] The bear likes the dog.[(triple4)] The bear likes the squirrel.[(triple5)] The dog chases the tiger.[(triple6)] The dog is green.[(triple7)] The dog visits the bear.[(triple8)] The squirrel chases the dog.[(triple9)] The squirrel is blue.[(triple10)] The squirrel likes the bear.[(triple11)] The tiger chases the dog.[(triple12)] The tiger chases the squirrel.[(triple13)] The tiger is blue.[(triple14)] The tiger is rough.[(triple15)] The tiger likes the dog.[(triple16)] @1: The bear is big.[(((triple4 triple3) -> rule1))] The bear visits the dog.[(((triple4) -> rule5))] The tiger is big.[(((triple16 triple15) -> rule1))] @2: The bear is nice.[(((((triple4 triple3) -> rule1) triple2) -> rule6))] The tiger is nice.[(((((triple16 triple15) -> rule1) triple14) -> rule6))]
The bear chases the dog.
("bear" "chases" "dog" "+")
triple1
The bear is blue.
("bear" "is" "blue" "+")
triple2
The bear is rough.
("bear" "is" "rough" "+")
triple3
The bear likes the dog.
("bear" "likes" "dog" "+")
triple4
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
triple5
The dog chases the tiger.
("dog" "chases" "tiger" "+")
triple6
The dog is green.
("dog" "is" "green" "+")
triple7
The dog visits the bear.
("dog" "visits" "bear" "+")
triple8
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
triple9
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple10
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
triple11
The tiger chases the dog.
("tiger" "chases" "dog" "+")
triple12
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
triple13
The tiger is blue.
("tiger" "is" "blue" "+")
triple14
The tiger is rough.
("tiger" "is" "rough" "+")
triple15
The tiger likes the dog.
("tiger" "likes" "dog" "+")
triple16
The bear is big.
("bear" "is" "big" "+")
((triple4 triple3) -> (rule1 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The bear visits the dog.
("bear" "visits" "dog" "+")
((triple4) -> (rule5 % int1))
The bear visits the dog.
("bear" "visits" "dog" "+")
int1
The tiger is big.
("tiger" "is" "big" "+")
((triple16 triple15) -> (rule1 % int1))
The tiger is big.
("tiger" "is" "big" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
((((triple4 triple3) -> (rule1 % int2)) triple2) -> (rule6 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear is big.
("bear" "is" "big" "+")
int2
The tiger is nice.
("tiger" "is" "nice" "+")
((((triple16 triple15) -> (rule1 % int2)) triple14) -> (rule6 % int1))
The tiger is nice.
("tiger" "is" "nice" "+")
int1
The tiger is big.
("tiger" "is" "big" "+")
int2