The dog is red. The dog likes the rabbit. The lion eats the tiger. The lion is cold. The lion likes the rabbit. The rabbit eats the tiger. The rabbit likes the dog. The rabbit likes the lion. The rabbit likes the tiger. The rabbit sees the lion. The tiger is cold. The tiger is young. The tiger likes the rabbit. The tiger sees the rabbit. If something is cold and red then it likes the tiger. If something is young and it sees the lion then it likes the rabbit. If something eats the dog then the dog eats the lion. If something eats the tiger and it likes the tiger then it eats the dog. If something is round then it likes the tiger. If something eats the rabbit then it is young. If something eats the lion then the lion is red.
The dog is red.
("dog" "is" "red" "+")
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
The lion eats the tiger.
("lion" "eats" "tiger" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger is young.
("tiger" "is" "young" "+")
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
The tiger sees the rabbit.
("tiger" "sees" "rabbit" "+")
If something is cold and red then it likes the tiger.
((("something" "is" "cold" "+") ("something" "is" "red" "+")) -> ("something" "likes" "tiger" "+"))
If something is young and it sees the lion then it likes the rabbit.
((("something" "is" "young" "+") ("something" "sees" "lion" "+")) -> ("something" "likes" "rabbit" "+"))
If something eats the dog then the dog eats the lion.
((("something" "eats" "dog" "+")) -> ("dog" "eats" "lion" "+"))
If something eats the tiger and it likes the tiger then it eats the dog.
((("something" "eats" "tiger" "+") ("something" "likes" "tiger" "+")) -> ("something" "eats" "dog" "+"))
If something is round then it likes the tiger.
((("something" "is" "round" "+")) -> ("something" "likes" "tiger" "+"))
If something eats the rabbit then it is young.
((("something" "eats" "rabbit" "+")) -> ("something" "is" "young" "+"))
If something eats the lion then the lion is red.
((("something" "eats" "lion" "+")) -> ("lion" "is" "red" "+"))
The lion likes the rabbit.
True
1
proof
[(triple5)]
("lion" "likes" "rabbit" "+")
triple5
The lion does not like the rabbit.
False
1
inv-proof
[(triple5)]
("lion" "likes" "rabbit" "-")
triple5
The rabbit eats the dog.
True
3
proof
[(((triple6 triple9) -> rule4))]
("rabbit" "eats" "dog" "+")
((triple6 triple9) -> (rule4 % int1))
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
int1
The rabbit does not eat the dog.
False
3
inv-proof
[(((triple6 triple9) -> rule4))]
("rabbit" "eats" "dog" "-")
((triple6 triple9) -> (rule4 % int1))
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
int1
The dog eats the lion.
True
4
proof
[(((((triple6 triple9) -> rule4)) -> rule3))]
("dog" "eats" "lion" "+")
((((triple6 triple9) -> (rule4 % int2))) -> (rule3 % int1))
The dog eats the lion.
("dog" "eats" "lion" "+")
int1
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
int2
The dog does not eat the lion.
False
4
inv-proof
[(((((triple6 triple9) -> rule4)) -> rule3))]
("dog" "eats" "lion" "-")
((((triple6 triple9) -> (rule4 % int2))) -> (rule3 % int1))
The dog eats the lion.
("dog" "eats" "lion" "+")
int1
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
int2
The lion is red.
True
5
proof
[(((((((triple6 triple9) -> rule4)) -> rule3)) -> rule7))]
("lion" "is" "red" "+")
((((((triple6 triple9) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The dog eats the lion.
("dog" "eats" "lion" "+")
int2
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
int3
The lion is not red.
False
5
inv-proof
[(((((((triple6 triple9) -> rule4)) -> rule3)) -> rule7))]
("lion" "is" "red" "-")
((((((triple6 triple9) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The dog eats the lion.
("dog" "eats" "lion" "+")
int2
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
int3
The lion likes the tiger.
True
7
proof
[(((triple4 ((((((triple6 triple9) -> rule4)) -> rule3)) -> rule7)) -> rule1))]
("lion" "likes" "tiger" "+")
((triple4 ((((((triple6 triple9) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int1
The lion is red.
("lion" "is" "red" "+")
int2
The dog eats the lion.
("dog" "eats" "lion" "+")
int3
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
int4
The lion does not like the tiger.
False
7
inv-proof
[(((triple4 ((((((triple6 triple9) -> rule4)) -> rule3)) -> rule7)) -> rule1))]
("lion" "likes" "tiger" "-")
((triple4 ((((((triple6 triple9) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int1
The lion is red.
("lion" "is" "red" "+")
int2
The dog eats the lion.
("dog" "eats" "lion" "+")
int3
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
int4
The lion eats the dog.
True
9
proof
[(((triple3 ((triple4 ((((((triple6 triple9) -> rule4)) -> rule3)) -> rule7)) -> rule1)) -> rule4))]
("lion" "eats" "dog" "+")
((triple3 ((triple4 ((((((triple6 triple9) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The lion eats the dog.
("lion" "eats" "dog" "+")
int1
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int2
The lion is red.
("lion" "is" "red" "+")
int3
The dog eats the lion.
("dog" "eats" "lion" "+")
int4
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
int5
The lion does not eat the dog.
False
9
inv-proof
[(((triple3 ((triple4 ((((((triple6 triple9) -> rule4)) -> rule3)) -> rule7)) -> rule1)) -> rule4))]
("lion" "eats" "dog" "-")
((triple3 ((triple4 ((((((triple6 triple9) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The lion eats the dog.
("lion" "eats" "dog" "+")
int1
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int2
The lion is red.
("lion" "is" "red" "+")
int3
The dog eats the lion.
("dog" "eats" "lion" "+")
int4
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
int5
The dog does not eat the dog.
Unknown
inv-rconc
[@1: The dog eats the dog.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("dog" "eats" "dog" "-")
The dog likes the tiger.
Unknown
rconc
[@1: The dog likes the tiger.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "likes" "tiger" "+")
The tiger does not eat the dog.
Unknown
inv-rconc
[@1: The tiger eats the dog.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("tiger" "eats" "dog" "-")
The dog is young.
Unknown
rconc
[@1: The dog is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("dog" "is" "young" "+")
The lion is not young.
Unknown
inv-rconc
[@1: The lion is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("lion" "is" "young" "-")
The rabbit is young.
Unknown
rconc
[@1: The rabbit is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("rabbit" "is" "young" "+")
The lion does not eat the lion.
Unknown
inv-random
[@0: The lion eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "lion" "-")
The tiger is round.
Unknown
random
[@0: The tiger is round.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "round" "+")
The dog is not green.
Unknown
inv-random
[@0: The dog is green.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "green" "-")
The dog likes the dog.
Unknown
random
[@0: The dog likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "dog" "+")
The lion is not round.
Unknown
inv-random
[@0: The lion is round.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "round" "-")
The lion is green.
Unknown
random
[@0: The lion is green.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "green" "+")
@0: The dog is red.[(triple1)] The dog likes the rabbit.[(triple2)] The lion eats the tiger.[(triple3)] The lion is cold.[(triple4)] The lion likes the rabbit.[(triple5)] The rabbit eats the tiger.[(triple6)] The rabbit likes the dog.[(triple7)] The rabbit likes the lion.[(triple8)] The rabbit likes the tiger.[(triple9)] The rabbit sees the lion.[(triple10)] The tiger is cold.[(triple11)] The tiger is young.[(triple12)] The tiger likes the rabbit.[(triple13)] The tiger sees the rabbit.[(triple14)] @1: The rabbit eats the dog.[(((triple6 triple9) -> rule4))] @2: The dog eats the lion.[(((((triple6 triple9) -> rule4)) -> rule3))] @3: The lion is red.[(((((((triple6 triple9) -> rule4)) -> rule3)) -> rule7))] @4: The lion likes the tiger.[(((triple4 ((((((triple6 triple9) -> rule4)) -> rule3)) -> rule7)) -> rule1))] @5: The lion eats the dog.[(((triple3 ((triple4 ((((((triple6 triple9) -> rule4)) -> rule3)) -> rule7)) -> rule1)) -> rule4))]
The dog is red.
("dog" "is" "red" "+")
triple1
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
triple2
The lion eats the tiger.
("lion" "eats" "tiger" "+")
triple3
The lion is cold.
("lion" "is" "cold" "+")
triple4
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
triple5
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
triple6
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
triple7
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
triple8
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
triple9
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
triple10
The tiger is cold.
("tiger" "is" "cold" "+")
triple11
The tiger is young.
("tiger" "is" "young" "+")
triple12
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
triple13
The tiger sees the rabbit.
("tiger" "sees" "rabbit" "+")
triple14
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
((triple6 triple9) -> (rule4 % int1))
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
int1
The dog eats the lion.
("dog" "eats" "lion" "+")
((((triple6 triple9) -> (rule4 % int2))) -> (rule3 % int1))
The dog eats the lion.
("dog" "eats" "lion" "+")
int1
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
int2
The lion is red.
("lion" "is" "red" "+")
((((((triple6 triple9) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The dog eats the lion.
("dog" "eats" "lion" "+")
int2
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
int3
The lion likes the tiger.
("lion" "likes" "tiger" "+")
((triple4 ((((((triple6 triple9) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int1
The lion is red.
("lion" "is" "red" "+")
int2
The dog eats the lion.
("dog" "eats" "lion" "+")
int3
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
int4
The lion eats the dog.
("lion" "eats" "dog" "+")
((triple3 ((triple4 ((((((triple6 triple9) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The lion eats the dog.
("lion" "eats" "dog" "+")
int1
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int2
The lion is red.
("lion" "is" "red" "+")
int3
The dog eats the lion.
("dog" "eats" "lion" "+")
int4
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
int5