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