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