The dog chases the lion. The dog chases the tiger. The dog is big. The dog is nice. The dog is red. The dog is young. The dog likes the lion. The dog likes the tiger. The dog needs the tiger. The lion chases the tiger. The lion likes the tiger. The lion needs the dog. The tiger chases the dog. The tiger is round. The tiger likes the dog. If someone likes the tiger and the tiger is red then they are young. If the tiger needs the lion then the tiger likes the lion.
The dog chases the lion.
("dog" "chases" "lion" "+")
The dog chases the tiger.
("dog" "chases" "tiger" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog is red.
("dog" "is" "red" "+")
The dog is young.
("dog" "is" "young" "+")
The dog likes the lion.
("dog" "likes" "lion" "+")
The dog likes the tiger.
("dog" "likes" "tiger" "+")
The dog needs the tiger.
("dog" "needs" "tiger" "+")
The lion chases the tiger.
("lion" "chases" "tiger" "+")
The lion likes the tiger.
("lion" "likes" "tiger" "+")
The lion needs the dog.
("lion" "needs" "dog" "+")
The tiger chases the dog.
("tiger" "chases" "dog" "+")
The tiger is round.
("tiger" "is" "round" "+")
The tiger likes the dog.
("tiger" "likes" "dog" "+")
If someone likes the tiger and the tiger is red then they are young.
((("someone" "likes" "tiger" "+") ("tiger" "is" "red" "+")) -> ("someone" "is" "young" "+"))
If the tiger needs the lion then the tiger likes the lion.
((("tiger" "needs" "lion" "+")) -> ("tiger" "likes" "lion" "+"))
The dog is nice.
True
1
proof
[(triple4)]
("dog" "is" "nice" "+")
triple4
The lion does not like the tiger.
False
1
inv-proof
[(triple11)]
("lion" "likes" "tiger" "-")
triple11
The lion is not young.
Unknown
inv-rconc
[@1: The lion is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "is" "young" "-")
The dog is round.
Unknown
random
[@0: The dog is round.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "round" "+")
@0: The dog chases the lion.[(triple1)] The dog chases the tiger.[(triple2)] The dog is big.[(triple3)] The dog is nice.[(triple4)] The dog is red.[(triple5)] The dog is young.[(triple6)] The dog likes the lion.[(triple7)] The dog likes the tiger.[(triple8)] The dog needs the tiger.[(triple9)] The lion chases the tiger.[(triple10)] The lion likes the tiger.[(triple11)] The lion needs the dog.[(triple12)] The tiger chases the dog.[(triple13)] The tiger is round.[(triple14)] The tiger likes the dog.[(triple15)]
The dog chases the lion.
("dog" "chases" "lion" "+")
triple1
The dog chases the tiger.
("dog" "chases" "tiger" "+")
triple2
The dog is big.
("dog" "is" "big" "+")
triple3
The dog is nice.
("dog" "is" "nice" "+")
triple4
The dog is red.
("dog" "is" "red" "+")
triple5
The dog is young.
("dog" "is" "young" "+")
triple6
The dog likes the lion.
("dog" "likes" "lion" "+")
triple7
The dog likes the tiger.
("dog" "likes" "tiger" "+")
triple8
The dog needs the tiger.
("dog" "needs" "tiger" "+")
triple9
The lion chases the tiger.
("lion" "chases" "tiger" "+")
triple10
The lion likes the tiger.
("lion" "likes" "tiger" "+")
triple11
The lion needs the dog.
("lion" "needs" "dog" "+")
triple12
The tiger chases the dog.
("tiger" "chases" "dog" "+")
triple13
The tiger is round.
("tiger" "is" "round" "+")
triple14
The tiger likes the dog.
("tiger" "likes" "dog" "+")
triple15