The cat chases the lion. The cat eats the lion. The cat eats the tiger. The cat is not young. The cow chases the cat. The cow eats the cat. The cow eats the tiger. The cow is rough. The cow needs the tiger. The lion does not chase the cow. The lion eats the tiger. The lion is big. The lion is young. The tiger does not eat the lion. The tiger is big. The tiger needs the cat. If the tiger needs the cat then the cat is blue. If something is big and it chases the cow then the cow does not chase the tiger. If something chases the tiger then it chases the cat. If the lion does not need the cow then the lion chases the cow. If something eats the cow then the cow chases the lion. If something needs the lion and the lion chases the cat then the lion does not eat the cat. If something eats the lion then the lion needs the tiger. If the cow eats the cat then the cat chases the tiger.
The cat chases the lion.
("cat" "chases" "lion" "+")
The cat eats the lion.
("cat" "eats" "lion" "+")
The cat eats the tiger.
("cat" "eats" "tiger" "+")
The cat is not young.
("cat" "is" "young" "-")
The cow chases the cat.
("cow" "chases" "cat" "+")
The cow eats the cat.
("cow" "eats" "cat" "+")
The cow eats the tiger.
("cow" "eats" "tiger" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow needs the tiger.
("cow" "needs" "tiger" "+")
The lion does not chase the cow.
("lion" "chases" "cow" "-")
The lion eats the tiger.
("lion" "eats" "tiger" "+")
The lion is big.
("lion" "is" "big" "+")
The lion is young.
("lion" "is" "young" "+")
The tiger does not eat the lion.
("tiger" "eats" "lion" "-")
The tiger is big.
("tiger" "is" "big" "+")
The tiger needs the cat.
("tiger" "needs" "cat" "+")
If the tiger needs the cat then the cat is blue.
((("tiger" "needs" "cat" "+")) -> ("cat" "is" "blue" "+"))
If something is big and it chases the cow then the cow does not chase the tiger.
((("something" "is" "big" "+") ("something" "chases" "cow" "+")) -> ("cow" "chases" "tiger" "-"))
If something chases the tiger then it chases the cat.
((("something" "chases" "tiger" "+")) -> ("something" "chases" "cat" "+"))
If the lion does not need the cow then the lion chases the cow.
((("lion" "needs" "cow" "~")) -> ("lion" "chases" "cow" "+"))
If something eats the cow then the cow chases the lion.
((("something" "eats" "cow" "+")) -> ("cow" "chases" "lion" "+"))
If something needs the lion and the lion chases the cat then the lion does not eat the cat.
((("something" "needs" "lion" "+") ("lion" "chases" "cat" "+")) -> ("lion" "eats" "cat" "-"))
If something eats the lion then the lion needs the tiger.
((("something" "eats" "lion" "+")) -> ("lion" "needs" "tiger" "+"))
If the cow eats the cat then the cat chases the tiger.
((("cow" "eats" "cat" "+")) -> ("cat" "chases" "tiger" "+"))
The lion is young.
True
1
proof
[(triple13)]
("lion" "is" "young" "+")
triple13
The cat does not eat the lion.
False
1
inv-proof
[(triple2)]
("cat" "eats" "lion" "-")
triple2
The cat is blue.
True
2
proof
[(((triple16) -> rule1))]
("cat" "is" "blue" "+")
((triple16) -> (rule1 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
The cat does not chase the tiger.
False
2
inv-proof
[(((triple6) -> rule8))]
("cat" "chases" "tiger" "-")
((triple6) -> (rule8 % int1))
The cat chases the tiger.
("cat" "chases" "tiger" "+")
int1
The cat chases the cat.
True
3
proof
[(((((triple6) -> rule8)) -> rule3))]
("cat" "chases" "cat" "+")
((((triple6) -> (rule8 % int2))) -> (rule3 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The cat chases the tiger.
("cat" "chases" "tiger" "+")
int2
The cat does not chase the cat.
False
3
inv-proof
[(((((triple6) -> rule8)) -> rule3))]
("cat" "chases" "cat" "-")
((((triple6) -> (rule8 % int2))) -> (rule3 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The cat chases the tiger.
("cat" "chases" "tiger" "+")
int2
The cow does not chase the lion.
Unknown
inv-rconc
[@1: The cow chases the lion.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cow" "chases" "lion" "-")
The tiger chases the cat.
Unknown
rconc
[@1: The tiger chases the cat.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("tiger" "chases" "cat" "+")
The lion does not chase the cat.
Unknown
inv-rconc
[@1: The lion chases the cat.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("lion" "chases" "cat" "-")
The cat is nice.
Unknown
random
[@0: The cat is nice.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "nice" "+")
The cow does not need the cat.
Unknown
inv-random
[@0: The cow needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "cat" "-")
The cat needs the tiger.
Unknown
random
[@0: The cat needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "tiger" "+")
@0: The cat chases the lion.[(triple1)] The cat eats the lion.[(triple2)] The cat eats the tiger.[(triple3)] The cat is not young.[(triple4)] The cow chases the cat.[(triple5)] The cow eats the cat.[(triple6)] The cow eats the tiger.[(triple7)] The cow is rough.[(triple8)] The cow needs the tiger.[(triple9)] The lion does not chase the cow.[(triple10)] The lion eats the tiger.[(triple11)] The lion is big.[(triple12)] The lion is young.[(triple13)] The tiger does not eat the lion.[(triple14)] The tiger is big.[(triple15)] The tiger needs the cat.[(triple16)] @1: The cat chases the tiger.[(((triple6) -> rule8))] The cat is blue.[(((triple16) -> rule1))] The lion needs the tiger.[(((triple2) -> rule7))] @2: The cat chases the cat.[(((((triple6) -> rule8)) -> rule3))]
The cat chases the lion.
("cat" "chases" "lion" "+")
triple1
The cat eats the lion.
("cat" "eats" "lion" "+")
triple2
The cat eats the tiger.
("cat" "eats" "tiger" "+")
triple3
The cat is not young.
("cat" "is" "young" "-")
triple4
The cow chases the cat.
("cow" "chases" "cat" "+")
triple5
The cow eats the cat.
("cow" "eats" "cat" "+")
triple6
The cow eats the tiger.
("cow" "eats" "tiger" "+")
triple7
The cow is rough.
("cow" "is" "rough" "+")
triple8
The cow needs the tiger.
("cow" "needs" "tiger" "+")
triple9
The lion does not chase the cow.
("lion" "chases" "cow" "-")
triple10
The lion eats the tiger.
("lion" "eats" "tiger" "+")
triple11
The lion is big.
("lion" "is" "big" "+")
triple12
The lion is young.
("lion" "is" "young" "+")
triple13
The tiger does not eat the lion.
("tiger" "eats" "lion" "-")
triple14
The tiger is big.
("tiger" "is" "big" "+")
triple15
The tiger needs the cat.
("tiger" "needs" "cat" "+")
triple16
The cat chases the tiger.
("cat" "chases" "tiger" "+")
((triple6) -> (rule8 % int1))
The cat chases the tiger.
("cat" "chases" "tiger" "+")
int1
The cat is blue.
("cat" "is" "blue" "+")
((triple16) -> (rule1 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
The lion needs the tiger.
("lion" "needs" "tiger" "+")
((triple2) -> (rule7 % int1))
The lion needs the tiger.
("lion" "needs" "tiger" "+")
int1
The cat chases the cat.
("cat" "chases" "cat" "+")
((((triple6) -> (rule8 % int2))) -> (rule3 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The cat chases the tiger.
("cat" "chases" "tiger" "+")
int2