The bear eats the lion. The bear is green. The bear is kind. The bear likes the tiger. The dog likes the lion. The dog likes the tiger. The lion chases the dog. The lion chases the tiger. The lion eats the bear. The lion eats the tiger. The lion is kind. The tiger chases the bear. The tiger chases the dog. The tiger is big. The tiger is green. If someone chases the lion and the lion likes the tiger then the tiger is green. If someone chases the lion then the lion eats the dog. If someone is kind and they chase the dog then they chase the lion.
The bear eats the lion.
("bear" "eats" "lion" "+")
The bear is green.
("bear" "is" "green" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear likes the tiger.
("bear" "likes" "tiger" "+")
The dog likes the lion.
("dog" "likes" "lion" "+")
The dog likes the tiger.
("dog" "likes" "tiger" "+")
The lion chases the dog.
("lion" "chases" "dog" "+")
The lion chases the tiger.
("lion" "chases" "tiger" "+")
The lion eats the bear.
("lion" "eats" "bear" "+")
The lion eats the tiger.
("lion" "eats" "tiger" "+")
The lion is kind.
("lion" "is" "kind" "+")
The tiger chases the bear.
("tiger" "chases" "bear" "+")
The tiger chases the dog.
("tiger" "chases" "dog" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger is green.
("tiger" "is" "green" "+")
If someone chases the lion and the lion likes the tiger then the tiger is green.
((("someone" "chases" "lion" "+") ("lion" "likes" "tiger" "+")) -> ("tiger" "is" "green" "+"))
If someone chases the lion then the lion eats the dog.
((("someone" "chases" "lion" "+")) -> ("lion" "eats" "dog" "+"))
If someone is kind and they chase the dog then they chase the lion.
((("someone" "is" "kind" "+") ("someone" "chases" "dog" "+")) -> ("someone" "chases" "lion" "+"))
The tiger is big.
True
1
proof
[(triple14)]
("tiger" "is" "big" "+")
triple14
The tiger is not green.
False
1
inv-proof
[(triple15)]
("tiger" "is" "green" "-")
triple15
The lion chases the lion.
True
3
proof
[(((triple11 triple7) -> rule3))]
("lion" "chases" "lion" "+")
((triple11 triple7) -> (rule3 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1
The lion does not chase the lion.
False
3
inv-proof
[(((triple11 triple7) -> rule3))]
("lion" "chases" "lion" "-")
((triple11 triple7) -> (rule3 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1
The lion eats the dog.
True
4
proof
[(((((triple11 triple7) -> rule3)) -> rule2))]
("lion" "eats" "dog" "+")
((((triple11 triple7) -> (rule3 % int2))) -> (rule2 % int1))
The lion eats the dog.
("lion" "eats" "dog" "+")
int1
The lion chases the lion.
("lion" "chases" "lion" "+")
int2
The lion does not eat the dog.
False
4
inv-proof
[(((((triple11 triple7) -> rule3)) -> rule2))]
("lion" "eats" "dog" "-")
((((triple11 triple7) -> (rule3 % int2))) -> (rule2 % int1))
The lion eats the dog.
("lion" "eats" "dog" "+")
int1
The lion chases the lion.
("lion" "chases" "lion" "+")
int2
The dog does not chase the lion.
Unknown
inv-rconc
[@1: The dog chases the lion.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("dog" "chases" "lion" "-")
The bear chases the lion.
Unknown
rconc
[@1: The bear chases the lion.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "chases" "lion" "+")
The tiger does not chase the lion.
Unknown
inv-rconc
[@1: The tiger chases the lion.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("tiger" "chases" "lion" "-")
The lion is round.
Unknown
random
[@0: The lion is round.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "round" "+")
The tiger is not rough.
Unknown
inv-random
[@0: The tiger is rough.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "rough" "-")
The lion is green.
Unknown
random
[@0: The lion is green.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "green" "+")
@0: The bear eats the lion.[(triple1)] The bear is green.[(triple2)] The bear is kind.[(triple3)] The bear likes the tiger.[(triple4)] The dog likes the lion.[(triple5)] The dog likes the tiger.[(triple6)] The lion chases the dog.[(triple7)] The lion chases the tiger.[(triple8)] The lion eats the bear.[(triple9)] The lion eats the tiger.[(triple10)] The lion is kind.[(triple11)] The tiger chases the bear.[(triple12)] The tiger chases the dog.[(triple13)] The tiger is big.[(triple14)] The tiger is green.[(triple15)] @1: The lion chases the lion.[(((triple11 triple7) -> rule3))] @2: The lion eats the dog.[(((((triple11 triple7) -> rule3)) -> rule2))]
The bear eats the lion.
("bear" "eats" "lion" "+")
triple1
The bear is green.
("bear" "is" "green" "+")
triple2
The bear is kind.
("bear" "is" "kind" "+")
triple3
The bear likes the tiger.
("bear" "likes" "tiger" "+")
triple4
The dog likes the lion.
("dog" "likes" "lion" "+")
triple5
The dog likes the tiger.
("dog" "likes" "tiger" "+")
triple6
The lion chases the dog.
("lion" "chases" "dog" "+")
triple7
The lion chases the tiger.
("lion" "chases" "tiger" "+")
triple8
The lion eats the bear.
("lion" "eats" "bear" "+")
triple9
The lion eats the tiger.
("lion" "eats" "tiger" "+")
triple10
The lion is kind.
("lion" "is" "kind" "+")
triple11
The tiger chases the bear.
("tiger" "chases" "bear" "+")
triple12
The tiger chases the dog.
("tiger" "chases" "dog" "+")
triple13
The tiger is big.
("tiger" "is" "big" "+")
triple14
The tiger is green.
("tiger" "is" "green" "+")
triple15
The lion chases the lion.
("lion" "chases" "lion" "+")
((triple11 triple7) -> (rule3 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1
The lion eats the dog.
("lion" "eats" "dog" "+")
((((triple11 triple7) -> (rule3 % int2))) -> (rule2 % int1))
The lion eats the dog.
("lion" "eats" "dog" "+")
int1
The lion chases the lion.
("lion" "chases" "lion" "+")
int2