The cat chases the tiger. The cat eats the dog. The cat is big. The dog chases the lion. The dog is nice. The dog sees the lion. The lion chases the tiger. The lion eats the cat. The lion eats the tiger. The lion is big. The tiger is big. The tiger is nice. The tiger is young. The tiger sees the cat. The tiger sees the dog. If someone eats the tiger and they chase the tiger then the tiger sees the dog. If someone sees the dog and they chase the lion then the dog eats the tiger. If the tiger chases the cat then the cat sees the lion. If someone eats the cat and they are big then they are red. If someone sees the lion and the lion chases the tiger then the lion sees the tiger. If someone sees the tiger then the tiger chases the cat. If someone eats the tiger and they chase the lion then they are big. If someone sees the lion and they chase the lion then they are big.
The cat chases the tiger.
("cat" "chases" "tiger" "+")
The cat eats the dog.
("cat" "eats" "dog" "+")
The cat is big.
("cat" "is" "big" "+")
The dog chases the lion.
("dog" "chases" "lion" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog sees the lion.
("dog" "sees" "lion" "+")
The lion chases the tiger.
("lion" "chases" "tiger" "+")
The lion eats the cat.
("lion" "eats" "cat" "+")
The lion eats the tiger.
("lion" "eats" "tiger" "+")
The lion is big.
("lion" "is" "big" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger is young.
("tiger" "is" "young" "+")
The tiger sees the cat.
("tiger" "sees" "cat" "+")
The tiger sees the dog.
("tiger" "sees" "dog" "+")
If someone eats the tiger and they chase the tiger then the tiger sees the dog.
((("someone" "eats" "tiger" "+") ("someone" "chases" "tiger" "+")) -> ("tiger" "sees" "dog" "+"))
If someone sees the dog and they chase the lion then the dog eats the tiger.
((("someone" "sees" "dog" "+") ("someone" "chases" "lion" "+")) -> ("dog" "eats" "tiger" "+"))
If the tiger chases the cat then the cat sees the lion.
((("tiger" "chases" "cat" "+")) -> ("cat" "sees" "lion" "+"))
If someone eats the cat and they are big then they are red.
((("someone" "eats" "cat" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "red" "+"))
If someone sees the lion and the lion chases the tiger then the lion sees the tiger.
((("someone" "sees" "lion" "+") ("lion" "chases" "tiger" "+")) -> ("lion" "sees" "tiger" "+"))
If someone sees the tiger then the tiger chases the cat.
((("someone" "sees" "tiger" "+")) -> ("tiger" "chases" "cat" "+"))
If someone eats the tiger and they chase the lion then they are big.
((("someone" "eats" "tiger" "+") ("someone" "chases" "lion" "+")) -> ("someone" "is" "big" "+"))
If someone sees the lion and they chase the lion then they are big.
((("someone" "sees" "lion" "+") ("someone" "chases" "lion" "+")) -> ("someone" "is" "big" "+"))
The tiger is young.
True
1
proof
[(triple13)]
("tiger" "is" "young" "+")
triple13
The tiger does not see the dog.
False
1
inv-proof
[(triple15 OR ((triple9 triple7) -> rule1))]
("tiger" "sees" "dog" "-")
triple15
((triple9 triple7) -> (rule1 % int1))
The tiger sees the dog.
("tiger" "sees" "dog" "+")
int1
The lion is red.
True
3
proof
[(((triple8 triple10) -> rule4))]
("lion" "is" "red" "+")
((triple8 triple10) -> (rule4 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The dog is not big.
False
3
inv-proof
[(((triple6 triple4) -> rule8))]
("dog" "is" "big" "-")
((triple6 triple4) -> (rule8 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The tiger chases the cat.
True
4
proof
[(((((triple6 triple7) -> rule5)) -> rule6))]
("tiger" "chases" "cat" "+")
((((triple6 triple7) -> (rule5 % int2))) -> (rule6 % int1))
The tiger chases the cat.
("tiger" "chases" "cat" "+")
int1
The lion sees the tiger.
("lion" "sees" "tiger" "+")
int2
The tiger does not chase the cat.
False
4
inv-proof
[(((((triple6 triple7) -> rule5)) -> rule6))]
("tiger" "chases" "cat" "-")
((((triple6 triple7) -> (rule5 % int2))) -> (rule6 % int1))
The tiger chases the cat.
("tiger" "chases" "cat" "+")
int1
The lion sees the tiger.
("lion" "sees" "tiger" "+")
int2
The cat sees the lion.
True
5
proof
[(((((((triple6 triple7) -> rule5)) -> rule6)) -> rule3))]
("cat" "sees" "lion" "+")
((((((triple6 triple7) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The cat sees the lion.
("cat" "sees" "lion" "+")
int1
The tiger chases the cat.
("tiger" "chases" "cat" "+")
int2
The lion sees the tiger.
("lion" "sees" "tiger" "+")
int3
The cat does not see the lion.
False
5
inv-proof
[(((((((triple6 triple7) -> rule5)) -> rule6)) -> rule3))]
("cat" "sees" "lion" "-")
((((((triple6 triple7) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The cat sees the lion.
("cat" "sees" "lion" "+")
int1
The tiger chases the cat.
("tiger" "chases" "cat" "+")
int2
The lion sees the tiger.
("lion" "sees" "tiger" "+")
int3
The cat is not red.
Unknown
inv-rconc
[@1: The cat is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cat" "is" "red" "-")
The dog is red.
Unknown
rconc
[@1: The dog is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("dog" "is" "red" "+")
The tiger is not red.
Unknown
inv-rconc
[@1: The tiger is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("tiger" "is" "red" "-")
The dog eats the tiger.
Unknown
rconc
[@1: The dog eats the tiger.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "eats" "tiger" "+")
The cat does not eat the cat.
Unknown
inv-random
[@0: The cat eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "cat" "-")
The cat sees the tiger.
Unknown
random
[@0: The cat sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "tiger" "+")
The tiger does not eat the tiger.
Unknown
inv-random
[@0: The tiger eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "tiger" "-")
The lion sees the cat.
Unknown
random
[@0: The lion sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "cat" "+")
@0: The cat chases the tiger.[(triple1)] The cat eats the dog.[(triple2)] The cat is big.[(triple3)] The dog chases the lion.[(triple4)] The dog is nice.[(triple5)] The dog sees the lion.[(triple6)] The lion chases the tiger.[(triple7)] The lion eats the cat.[(triple8)] The lion eats the tiger.[(triple9)] The lion is big.[(triple10)] The tiger is big.[(triple11)] The tiger is nice.[(triple12)] The tiger is young.[(triple13)] The tiger sees the cat.[(triple14)] The tiger sees the dog.[(triple15 OR ((triple9 triple7) -> rule1))] @1: The dog is big.[(((triple6 triple4) -> rule8))] The lion is red.[(((triple8 triple10) -> rule4))] The lion sees the tiger.[(((triple6 triple7) -> rule5))] @2: The tiger chases the cat.[(((((triple6 triple7) -> rule5)) -> rule6))] @3: The cat sees the lion.[(((((((triple6 triple7) -> rule5)) -> rule6)) -> rule3))]
The cat chases the tiger.
("cat" "chases" "tiger" "+")
triple1
The cat eats the dog.
("cat" "eats" "dog" "+")
triple2
The cat is big.
("cat" "is" "big" "+")
triple3
The dog chases the lion.
("dog" "chases" "lion" "+")
triple4
The dog is nice.
("dog" "is" "nice" "+")
triple5
The dog sees the lion.
("dog" "sees" "lion" "+")
triple6
The lion chases the tiger.
("lion" "chases" "tiger" "+")
triple7
The lion eats the cat.
("lion" "eats" "cat" "+")
triple8
The lion eats the tiger.
("lion" "eats" "tiger" "+")
triple9
The lion is big.
("lion" "is" "big" "+")
triple10
The tiger is big.
("tiger" "is" "big" "+")
triple11
The tiger is nice.
("tiger" "is" "nice" "+")
triple12
The tiger is young.
("tiger" "is" "young" "+")
triple13
The tiger sees the cat.
("tiger" "sees" "cat" "+")
triple14
The tiger sees the dog.
("tiger" "sees" "dog" "+")
triple15
((triple9 triple7) -> (rule1 % int1))
The tiger sees the dog.
("tiger" "sees" "dog" "+")
int1
The dog is big.
("dog" "is" "big" "+")
((triple6 triple4) -> (rule8 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The lion is red.
("lion" "is" "red" "+")
((triple8 triple10) -> (rule4 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The lion sees the tiger.
("lion" "sees" "tiger" "+")
((triple6 triple7) -> (rule5 % int1))
The lion sees the tiger.
("lion" "sees" "tiger" "+")
int1
The tiger chases the cat.
("tiger" "chases" "cat" "+")
((((triple6 triple7) -> (rule5 % int2))) -> (rule6 % int1))
The tiger chases the cat.
("tiger" "chases" "cat" "+")
int1
The lion sees the tiger.
("lion" "sees" "tiger" "+")
int2
The cat sees the lion.
("cat" "sees" "lion" "+")
((((((triple6 triple7) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The cat sees the lion.
("cat" "sees" "lion" "+")
int1
The tiger chases the cat.
("tiger" "chases" "cat" "+")
int2
The lion sees the tiger.
("lion" "sees" "tiger" "+")
int3