The cat chases the lion. The cat eats the lion. The cat is cold. The cat visits the lion. The dog eats the lion. The dog is not blue. The dog is not red. The dog is young. The dog visits the cat. The lion is blue. If someone chases the cat then they eat the dog. If someone visits the lion and the lion eats the cat then the cat is not blue. If someone visits the lion and they visit the dog then the lion does not eat the cat. If someone eats the lion and they chase the dog then the lion eats the cat. If someone visits the cat then the cat chases the dog. If the cat chases the dog then the cat is nice.
The cat chases the lion.
("cat" "chases" "lion" "+")
The cat eats the lion.
("cat" "eats" "lion" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat visits the lion.
("cat" "visits" "lion" "+")
The dog eats the lion.
("dog" "eats" "lion" "+")
The dog is not blue.
("dog" "is" "blue" "-")
The dog is not red.
("dog" "is" "red" "-")
The dog is young.
("dog" "is" "young" "+")
The dog visits the cat.
("dog" "visits" "cat" "+")
The lion is blue.
("lion" "is" "blue" "+")
If someone chases the cat then they eat the dog.
((("someone" "chases" "cat" "+")) -> ("someone" "eats" "dog" "+"))
If someone visits the lion and the lion eats the cat then the cat is not blue.
((("someone" "visits" "lion" "+") ("lion" "eats" "cat" "+")) -> ("cat" "is" "blue" "-"))
If someone visits the lion and they visit the dog then the lion does not eat the cat.
((("someone" "visits" "lion" "+") ("someone" "visits" "dog" "+")) -> ("lion" "eats" "cat" "-"))
If someone eats the lion and they chase the dog then the lion eats the cat.
((("someone" "eats" "lion" "+") ("someone" "chases" "dog" "+")) -> ("lion" "eats" "cat" "+"))
If someone visits the cat then the cat chases the dog.
((("someone" "visits" "cat" "+")) -> ("cat" "chases" "dog" "+"))
If the cat chases the dog then the cat is nice.
((("cat" "chases" "dog" "+")) -> ("cat" "is" "nice" "+"))
The cat is cold.
True
1
proof
[(triple3)]
("cat" "is" "cold" "+")
triple3
The dog is blue.
False
1
inv-proof
[(triple6)]
("dog" "is" "blue" "+")
triple6
The cat chases the dog.
True
2
proof
[(((triple9) -> rule5))]
("cat" "chases" "dog" "+")
((triple9) -> (rule5 % int1))
The cat chases the dog.
("cat" "chases" "dog" "+")
int1
The cat does not chase the dog.
False
2
inv-proof
[(((triple9) -> rule5))]
("cat" "chases" "dog" "-")
((triple9) -> (rule5 % int1))
The cat chases the dog.
("cat" "chases" "dog" "+")
int1
The cat is nice.
True
3
proof
[(((((triple9) -> rule5)) -> rule6))]
("cat" "is" "nice" "+")
((((triple9) -> (rule5 % int2))) -> (rule6 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The cat chases the dog.
("cat" "chases" "dog" "+")
int2
The lion does not eat the cat.
False
4
inv-proof
[(((triple2 ((triple9) -> rule5)) -> rule4))]
("lion" "eats" "cat" "-")
((triple2 ((triple9) -> (rule5 % int2))) -> (rule4 % int1))
The lion eats the cat.
("lion" "eats" "cat" "+")
int1
The cat chases the dog.
("cat" "chases" "dog" "+")
int2
The cat is not blue.
True
6
proof
[(((triple4 ((triple2 ((triple9) -> rule5)) -> rule4)) -> rule2))]
("cat" "is" "blue" "-")
((triple4 ((triple2 ((triple9) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
The cat is not blue.
("cat" "is" "blue" "-")
int1
The lion eats the cat.
("lion" "eats" "cat" "+")
int2
The cat chases the dog.
("cat" "chases" "dog" "+")
int3
The cat is blue.
False
6
inv-proof
[(((triple4 ((triple2 ((triple9) -> rule5)) -> rule4)) -> rule2))]
("cat" "is" "blue" "+")
((triple4 ((triple2 ((triple9) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
The cat is not blue.
("cat" "is" "blue" "-")
int1
The lion eats the cat.
("lion" "eats" "cat" "+")
int2
The cat chases the dog.
("cat" "chases" "dog" "+")
int3
The cat does not eat the dog.
Unknown
inv-rconc
[@1: The cat eats the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "eats" "dog" "-")
The dog eats the dog.
Unknown
rconc
[@1: The dog eats the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "eats" "dog" "+")
The lion does not eat the dog.
Unknown
inv-rconc
[@1: The lion eats the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "eats" "dog" "-")
The cat eats the cat.
Unknown
random
[@0: The cat eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "cat" "+")
The cat is not young.
Unknown
inv-random
[@0: The cat is young.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "young" "-")
The lion chases the cat.
Unknown
random
[@0: The lion chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "cat" "+")
The cat does not chase the cat.
Unknown
inv-random
[@0: The cat chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "cat" "-")
The dog is nice.
Unknown
random
[@0: The dog is nice.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "nice" "+")
@0: The cat chases the lion.[(triple1)] The cat eats the lion.[(triple2)] The cat is cold.[(triple3)] The cat visits the lion.[(triple4)] The dog eats the lion.[(triple5)] The dog is not blue.[(triple6)] The dog is not red.[(triple7)] The dog is young.[(triple8)] The dog visits the cat.[(triple9)] The lion is blue.[(triple10)] @1: The cat chases the dog.[(((triple9) -> rule5))] @2: The cat is nice.[(((((triple9) -> rule5)) -> rule6))] The lion eats the cat.[(((triple2 ((triple9) -> rule5)) -> rule4))] @3: The cat is not blue.[(((triple4 ((triple2 ((triple9) -> rule5)) -> rule4)) -> rule2))]
The cat chases the lion.
("cat" "chases" "lion" "+")
triple1
The cat eats the lion.
("cat" "eats" "lion" "+")
triple2
The cat is cold.
("cat" "is" "cold" "+")
triple3
The cat visits the lion.
("cat" "visits" "lion" "+")
triple4
The dog eats the lion.
("dog" "eats" "lion" "+")
triple5
The dog is not blue.
("dog" "is" "blue" "-")
triple6
The dog is not red.
("dog" "is" "red" "-")
triple7
The dog is young.
("dog" "is" "young" "+")
triple8
The dog visits the cat.
("dog" "visits" "cat" "+")
triple9
The lion is blue.
("lion" "is" "blue" "+")
triple10
The cat chases the dog.
("cat" "chases" "dog" "+")
((triple9) -> (rule5 % int1))
The cat chases the dog.
("cat" "chases" "dog" "+")
int1
The cat is nice.
("cat" "is" "nice" "+")
((((triple9) -> (rule5 % int2))) -> (rule6 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The cat chases the dog.
("cat" "chases" "dog" "+")
int2
The lion eats the cat.
("lion" "eats" "cat" "+")
((triple2 ((triple9) -> (rule5 % int2))) -> (rule4 % int1))
The lion eats the cat.
("lion" "eats" "cat" "+")
int1
The cat chases the dog.
("cat" "chases" "dog" "+")
int2
The cat is not blue.
("cat" "is" "blue" "-")
((triple4 ((triple2 ((triple9) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
The cat is not blue.
("cat" "is" "blue" "-")
int1
The lion eats the cat.
("lion" "eats" "cat" "+")
int2
The cat chases the dog.
("cat" "chases" "dog" "+")
int3