The cat chases the dog. The cat chases the lion. The cat does not eat the dog. The dog chases the cat. The dog eats the cat. The dog does not like the cat. The dog likes the lion. The lion eats the cat. The lion is not kind. The lion likes the cat. If someone likes the lion and the lion is round then they eat the lion. If someone likes the cat then they are round. If the lion is big then the lion does not like the dog. If someone eats the lion then the lion likes the dog. If someone is green then they chase the cat. If someone eats the dog and they are not round then they chase the dog.
The cat chases the dog.
("cat" "chases" "dog" "+")
The cat chases the lion.
("cat" "chases" "lion" "+")
The cat does not eat the dog.
("cat" "eats" "dog" "-")
The dog chases the cat.
("dog" "chases" "cat" "+")
The dog eats the cat.
("dog" "eats" "cat" "+")
The dog does not like the cat.
("dog" "likes" "cat" "-")
The dog likes the lion.
("dog" "likes" "lion" "+")
The lion eats the cat.
("lion" "eats" "cat" "+")
The lion is not kind.
("lion" "is" "kind" "-")
The lion likes the cat.
("lion" "likes" "cat" "+")
If someone likes the lion and the lion is round then they eat the lion.
((("someone" "likes" "lion" "+") ("lion" "is" "round" "+")) -> ("someone" "eats" "lion" "+"))
If someone likes the cat then they are round.
((("someone" "likes" "cat" "+")) -> ("someone" "is" "round" "+"))
If the lion is big then the lion does not like the dog.
((("lion" "is" "big" "+")) -> ("lion" "likes" "dog" "-"))
If someone eats the lion then the lion likes the dog.
((("someone" "eats" "lion" "+")) -> ("lion" "likes" "dog" "+"))
If someone is green then they chase the cat.
((("someone" "is" "green" "+")) -> ("someone" "chases" "cat" "+"))
If someone eats the dog and they are not round then they chase the dog.
((("someone" "eats" "dog" "+") ("someone" "is" "round" "~")) -> ("someone" "chases" "dog" "+"))
The cat does not eat the dog.
True
1
proof
[(triple3)]
("cat" "eats" "dog" "-")
triple3
The dog does not chase the cat.
False
1
inv-proof
[(triple4)]
("dog" "chases" "cat" "-")
triple4
The lion is round.
True
2
proof
[(((triple10) -> rule2))]
("lion" "is" "round" "+")
((triple10) -> (rule2 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The lion is not round.
False
2
inv-proof
[(((triple10) -> rule2))]
("lion" "is" "round" "-")
((triple10) -> (rule2 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The dog eats the lion.
True
4
proof
[(((triple7 ((triple10) -> rule2)) -> rule1))]
("dog" "eats" "lion" "+")
((triple7 ((triple10) -> (rule2 % int2))) -> (rule1 % int1))
The dog eats the lion.
("dog" "eats" "lion" "+")
int1
The lion is round.
("lion" "is" "round" "+")
int2
The dog does not eat the lion.
False
4
inv-proof
[(((triple7 ((triple10) -> rule2)) -> rule1))]
("dog" "eats" "lion" "-")
((triple7 ((triple10) -> (rule2 % int2))) -> (rule1 % int1))
The dog eats the lion.
("dog" "eats" "lion" "+")
int1
The lion is round.
("lion" "is" "round" "+")
int2
The lion likes the dog.
True
5
proof
[(((((triple7 ((triple10) -> rule2)) -> rule1)) -> rule4))]
("lion" "likes" "dog" "+")
((((triple7 ((triple10) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The lion likes the dog.
("lion" "likes" "dog" "+")
int1
The dog eats the lion.
("dog" "eats" "lion" "+")
int2
The lion is round.
("lion" "is" "round" "+")
int3
The lion does not like the dog.
False
5
inv-proof
[(((((triple7 ((triple10) -> rule2)) -> rule1)) -> rule4))]
("lion" "likes" "dog" "-")
((((triple7 ((triple10) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The lion likes the dog.
("lion" "likes" "dog" "+")
int1
The dog eats the lion.
("dog" "eats" "lion" "+")
int2
The lion is round.
("lion" "is" "round" "+")
int3
The dog does not chase the dog.
Unknown
inv-rconc
[@1: The dog chases the dog.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("dog" "chases" "dog" "-")
The cat is round.
Unknown
rconc
[@1: The cat is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "is" "round" "+")
The lion does not chase the dog.
Unknown
inv-rconc
[@1: The lion chases the dog.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("lion" "chases" "dog" "-")
The cat eats the lion.
Unknown
rconc
[@1: The cat eats the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "eats" "lion" "+")
The lion is not green.
Unknown
inv-random
[@0: The lion is green.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "green" "-")
The cat likes the cat.
Unknown
random
[@0: The cat likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "cat" "+")
The cat is not green.
Unknown
inv-random
[@0: The cat is green.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "green" "-")
The cat eats the cat.
Unknown
random
[@0: The cat eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "cat" "+")
@0: The cat chases the dog.[(triple1)] The cat chases the lion.[(triple2)] The cat does not eat the dog.[(triple3)] The dog chases the cat.[(triple4)] The dog does not like the cat.[(triple6)] The dog eats the cat.[(triple5)] The dog likes the lion.[(triple7)] The lion eats the cat.[(triple8)] The lion is not kind.[(triple9)] The lion likes the cat.[(triple10)] @1: The lion is round.[(((triple10) -> rule2))] @2: The dog eats the lion.[(((triple7 ((triple10) -> rule2)) -> rule1))] @3: The lion likes the dog.[(((((triple7 ((triple10) -> rule2)) -> rule1)) -> rule4))]
The cat chases the dog.
("cat" "chases" "dog" "+")
triple1
The cat chases the lion.
("cat" "chases" "lion" "+")
triple2
The cat does not eat the dog.
("cat" "eats" "dog" "-")
triple3
The dog chases the cat.
("dog" "chases" "cat" "+")
triple4
The dog does not like the cat.
("dog" "likes" "cat" "-")
triple6
The dog eats the cat.
("dog" "eats" "cat" "+")
triple5
The dog likes the lion.
("dog" "likes" "lion" "+")
triple7
The lion eats the cat.
("lion" "eats" "cat" "+")
triple8
The lion is not kind.
("lion" "is" "kind" "-")
triple9
The lion likes the cat.
("lion" "likes" "cat" "+")
triple10
The lion is round.
("lion" "is" "round" "+")
((triple10) -> (rule2 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The dog eats the lion.
("dog" "eats" "lion" "+")
((triple7 ((triple10) -> (rule2 % int2))) -> (rule1 % int1))
The dog eats the lion.
("dog" "eats" "lion" "+")
int1
The lion is round.
("lion" "is" "round" "+")
int2
The lion likes the dog.
("lion" "likes" "dog" "+")
((((triple7 ((triple10) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The lion likes the dog.
("lion" "likes" "dog" "+")
int1
The dog eats the lion.
("dog" "eats" "lion" "+")
int2
The lion is round.
("lion" "is" "round" "+")
int3