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