The lion eats the rabbit. The lion is blue. The lion is red. The lion likes the rabbit. The lion visits the rabbit. The rabbit eats the lion. The rabbit visits the lion. If the rabbit visits the lion and the lion is nice then the lion is not young. If something visits the lion then the lion is nice. If something likes the rabbit and it is not young then it is rough. If something is rough and it visits the rabbit then it does not eat the lion. If something eats the lion and it is rough then it likes the lion. If something is rough and it eats the rabbit then it does not like the lion.
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion is red.
("lion" "is" "red" "+")
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
If the rabbit visits the lion and the lion is nice then the lion is not young.
((("rabbit" "visits" "lion" "+") ("lion" "is" "nice" "+")) -> ("lion" "is" "young" "-"))
If something visits the lion then the lion is nice.
((("something" "visits" "lion" "+")) -> ("lion" "is" "nice" "+"))
If something likes the rabbit and it is not young then it is rough.
((("something" "likes" "rabbit" "+") ("something" "is" "young" "~")) -> ("something" "is" "rough" "+"))
If something is rough and it visits the rabbit then it does not eat the lion.
((("something" "is" "rough" "+") ("something" "visits" "rabbit" "+")) -> ("something" "eats" "lion" "-"))
If something eats the lion and it is rough then it likes the lion.
((("something" "eats" "lion" "+") ("something" "is" "rough" "+")) -> ("something" "likes" "lion" "+"))
If something is rough and it eats the rabbit then it does not like the lion.
((("something" "is" "rough" "+") ("something" "eats" "rabbit" "+")) -> ("something" "likes" "lion" "-"))
The lion eats the rabbit.
True
1
proof
[(triple1)]
("lion" "eats" "rabbit" "+")
triple1
The lion does not visit the rabbit.
False
1
inv-proof
[(triple5)]
("lion" "visits" "rabbit" "-")
triple5
The lion is nice.
True
2
proof
[(((triple7) -> rule2))]
("lion" "is" "nice" "+")
((triple7) -> (rule2 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The lion is not nice.
False
2
inv-proof
[(((triple7) -> rule2))]
("lion" "is" "nice" "-")
((triple7) -> (rule2 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The lion is not young.
True
4
proof
[(((triple7 ((triple7) -> rule2)) -> rule1))]
("lion" "is" "young" "-")
((triple7 ((triple7) -> (rule2 % int2))) -> (rule1 % int1))
The lion is not young.
("lion" "is" "young" "-")
int1
The lion is nice.
("lion" "is" "nice" "+")
int2
The lion is young.
False
4
inv-proof
[(((triple7 ((triple7) -> rule2)) -> rule1))]
("lion" "is" "young" "+")
((triple7 ((triple7) -> (rule2 % int2))) -> (rule1 % int1))
The lion is not young.
("lion" "is" "young" "-")
int1
The lion is nice.
("lion" "is" "nice" "+")
int2
The lion is rough.
True
6
proof
[(((triple4 ((triple7 ((triple7) -> rule2)) -> rule1)) -> rule3))]
("lion" "is" "rough" "+")
((triple4 ((triple7 ((triple7) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
The lion is not young.
("lion" "is" "young" "-")
int2
The lion is nice.
("lion" "is" "nice" "+")
int3
The lion is not rough.
False
6
inv-proof
[(((triple4 ((triple7 ((triple7) -> rule2)) -> rule1)) -> rule3))]
("lion" "is" "rough" "-")
((triple4 ((triple7 ((triple7) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
The lion is not young.
("lion" "is" "young" "-")
int2
The lion is nice.
("lion" "is" "nice" "+")
int3
The rabbit is not rough.
Unknown
inv-rconc
[@1: The rabbit is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("rabbit" "is" "rough" "-")
The rabbit likes the lion.
Unknown
rconc
[@2: The rabbit likes the lion.[CWA. Example of deepest failure = (rule5 <- rule3 <- FAIL)]]
("rabbit" "likes" "lion" "+")
The rabbit is not red.
Unknown
inv-random
[@0: The rabbit is red.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "red" "-")
The lion visits the lion.
Unknown
random
[@0: The lion visits the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "lion" "+")
The rabbit does not eat the rabbit.
Unknown
inv-random
[@0: The rabbit eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "rabbit" "-")
The rabbit is nice.
Unknown
random
[@0: The rabbit is nice.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "nice" "+")
The rabbit is not young.
Unknown
inv-random
[@0: The rabbit is young.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "young" "-")
The rabbit likes the rabbit.
Unknown
random
[@0: The rabbit likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "rabbit" "+")
@0: The lion eats the rabbit.[(triple1)] The lion is blue.[(triple2)] The lion is red.[(triple3)] The lion likes the rabbit.[(triple4)] The lion visits the rabbit.[(triple5)] The rabbit eats the lion.[(triple6)] The rabbit visits the lion.[(triple7)] @1: The lion is nice.[(((triple7) -> rule2))] @2: The lion is not young.[(((triple7 ((triple7) -> rule2)) -> rule1))] @3: The lion is rough.[(((triple4 ((triple7 ((triple7) -> rule2)) -> rule1)) -> rule3))] @4: The lion does not eat the lion.[(((((triple4 ((triple7 ((triple7) -> rule2)) -> rule1)) -> rule3) triple5) -> rule4))] The lion does not like the lion.[(((((triple4 ((triple7 ((triple7) -> rule2)) -> rule1)) -> rule3) triple1) -> rule6))]
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
triple1
The lion is blue.
("lion" "is" "blue" "+")
triple2
The lion is red.
("lion" "is" "red" "+")
triple3
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
triple4
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
triple5
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
triple6
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
triple7
The lion is nice.
("lion" "is" "nice" "+")
((triple7) -> (rule2 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The lion is not young.
("lion" "is" "young" "-")
((triple7 ((triple7) -> (rule2 % int2))) -> (rule1 % int1))
The lion is not young.
("lion" "is" "young" "-")
int1
The lion is nice.
("lion" "is" "nice" "+")
int2
The lion is rough.
("lion" "is" "rough" "+")
((triple4 ((triple7 ((triple7) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
The lion is not young.
("lion" "is" "young" "-")
int2
The lion is nice.
("lion" "is" "nice" "+")
int3
The lion does not eat the lion.
("lion" "eats" "lion" "-")
((((triple4 ((triple7 ((triple7) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) triple5) -> (rule4 % int1))
The lion does not eat the lion.
("lion" "eats" "lion" "-")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The lion is not young.
("lion" "is" "young" "-")
int3
The lion is nice.
("lion" "is" "nice" "+")
int4
The lion does not like the lion.
("lion" "likes" "lion" "-")
((((triple4 ((triple7 ((triple7) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) triple1) -> (rule6 % int1))
The lion does not like the lion.
("lion" "likes" "lion" "-")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The lion is not young.
("lion" "is" "young" "-")
int3
The lion is nice.
("lion" "is" "nice" "+")
int4