The bear is kind. The rabbit eats the bear. The rabbit eats the squirrel. The rabbit likes the tiger. The rabbit visits the squirrel. The squirrel eats the bear. The squirrel eats the tiger. The squirrel is blue. The squirrel is red. The squirrel is young. The squirrel likes the bear. The squirrel visits the tiger. The tiger eats the bear. The tiger is rough. The tiger likes the squirrel. The tiger visits the rabbit. If someone visits the rabbit then they are rough. If someone eats the tiger then the tiger visits the bear. If someone eats the tiger and they visit the squirrel then they are red. If someone eats the squirrel then they visit the rabbit. If someone likes the rabbit and the rabbit is kind then they like the bear. If someone is red and they eat the bear then the bear visits the tiger. If someone visits the squirrel and they like the tiger then the squirrel eats the tiger. If someone is kind and blue then they eat the squirrel. If someone visits the tiger then they are blue.
The bear is kind.
("bear" "is" "kind" "+")
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
The tiger eats the bear.
("tiger" "eats" "bear" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
If someone visits the rabbit then they are rough.
((("someone" "visits" "rabbit" "+")) -> ("someone" "is" "rough" "+"))
If someone eats the tiger then the tiger visits the bear.
((("someone" "eats" "tiger" "+")) -> ("tiger" "visits" "bear" "+"))
If someone eats the tiger and they visit the squirrel then they are red.
((("someone" "eats" "tiger" "+") ("someone" "visits" "squirrel" "+")) -> ("someone" "is" "red" "+"))
If someone eats the squirrel then they visit the rabbit.
((("someone" "eats" "squirrel" "+")) -> ("someone" "visits" "rabbit" "+"))
If someone likes the rabbit and the rabbit is kind then they like the bear.
((("someone" "likes" "rabbit" "+") ("rabbit" "is" "kind" "+")) -> ("someone" "likes" "bear" "+"))
If someone is red and they eat the bear then the bear visits the tiger.
((("someone" "is" "red" "+") ("someone" "eats" "bear" "+")) -> ("bear" "visits" "tiger" "+"))
If someone visits the squirrel and they like the tiger then the squirrel eats the tiger.
((("someone" "visits" "squirrel" "+") ("someone" "likes" "tiger" "+")) -> ("squirrel" "eats" "tiger" "+"))
If someone is kind and blue then they eat the squirrel.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "eats" "squirrel" "+"))
If someone visits the tiger then they are blue.
((("someone" "visits" "tiger" "+")) -> ("someone" "is" "blue" "+"))
The tiger eats the bear.
True
1
proof
[(triple13)]
("tiger" "eats" "bear" "+")
triple13
The rabbit does not eat the bear.
False
1
inv-proof
[(triple2)]
("rabbit" "eats" "bear" "-")
triple2
The rabbit visits the rabbit.
True
2
proof
[(((triple3) -> rule4))]
("rabbit" "visits" "rabbit" "+")
((triple3) -> (rule4 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The tiger does not visit the bear.
False
2
inv-proof
[(((triple7) -> rule2) OR ((((triple5 triple4) -> rule7)) -> rule2))]
("tiger" "visits" "bear" "-")
((triple7) -> (rule2 % int1))
The tiger visits the bear.
("tiger" "visits" "bear" "+")
int1
((((triple5 triple4) -> (rule7 % int2))) -> (rule2 % int1))
The tiger visits the bear.
("tiger" "visits" "bear" "+")
int1
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int2
The rabbit is rough.
True
3
proof
[(((((triple3) -> rule4)) -> rule1))]
("rabbit" "is" "rough" "+")
((((triple3) -> (rule4 % int2))) -> (rule1 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The bear is not blue.
False
4
inv-proof
[(((((triple9 triple6) -> rule6)) -> rule9))]
("bear" "is" "blue" "-")
((((triple9 triple6) -> (rule6 % int2))) -> (rule9 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear visits the tiger.
("bear" "visits" "tiger" "+")
int2
The bear eats the squirrel.
True
6
proof
[(((triple1 ((((triple9 triple6) -> rule6)) -> rule9)) -> rule8))]
("bear" "eats" "squirrel" "+")
((triple1 ((((triple9 triple6) -> (rule6 % int3))) -> (rule9 % int2))) -> (rule8 % int1))
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear visits the tiger.
("bear" "visits" "tiger" "+")
int3
The bear does not eat the squirrel.
False
6
inv-proof
[(((triple1 ((((triple9 triple6) -> rule6)) -> rule9)) -> rule8))]
("bear" "eats" "squirrel" "-")
((triple1 ((((triple9 triple6) -> (rule6 % int3))) -> (rule9 % int2))) -> (rule8 % int1))
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear visits the tiger.
("bear" "visits" "tiger" "+")
int3
The bear visits the rabbit.
True
7
proof
[(((((triple1 ((((triple9 triple6) -> rule6)) -> rule9)) -> rule8)) -> rule4))]
("bear" "visits" "rabbit" "+")
((((triple1 ((((triple9 triple6) -> (rule6 % int4))) -> (rule9 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int1
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
int2
The bear is blue.
("bear" "is" "blue" "+")
int3
The bear visits the tiger.
("bear" "visits" "tiger" "+")
int4
The bear does not visit the rabbit.
False
7
inv-proof
[(((((triple1 ((((triple9 triple6) -> rule6)) -> rule9)) -> rule8)) -> rule4))]
("bear" "visits" "rabbit" "-")
((((triple1 ((((triple9 triple6) -> (rule6 % int4))) -> (rule9 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int1
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
int2
The bear is blue.
("bear" "is" "blue" "+")
int3
The bear visits the tiger.
("bear" "visits" "tiger" "+")
int4
The bear is rough.
True
8
proof
[(((((((triple1 ((((triple9 triple6) -> rule6)) -> rule9)) -> rule8)) -> rule4)) -> rule1))]
("bear" "is" "rough" "+")
((((((triple1 ((((triple9 triple6) -> (rule6 % int5))) -> (rule9 % int4))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int2
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
int3
The bear is blue.
("bear" "is" "blue" "+")
int4
The bear visits the tiger.
("bear" "visits" "tiger" "+")
int5
The bear is not rough.
False
8
inv-proof
[(((((((triple1 ((((triple9 triple6) -> rule6)) -> rule9)) -> rule8)) -> rule4)) -> rule1))]
("bear" "is" "rough" "-")
((((((triple1 ((((triple9 triple6) -> (rule6 % int5))) -> (rule9 % int4))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int2
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
int3
The bear is blue.
("bear" "is" "blue" "+")
int4
The bear visits the tiger.
("bear" "visits" "tiger" "+")
int5
The tiger is not red.
Unknown
inv-rconc
[@1: The tiger is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("tiger" "is" "red" "-")
The squirrel is rough.
Unknown
rconc
[@3: The squirrel is rough.[CWA. Example of deepest failure = (rule1 <- rule4 <- rule8 <- FAIL)]]
("squirrel" "is" "rough" "+")
The rabbit is not blue.
Unknown
inv-rconc
[@1: The rabbit is blue.[CWA. Example of deepest failure = (rule9 <- FAIL)]]
("rabbit" "is" "blue" "-")
The tiger is blue.
Unknown
rconc
[@1: The tiger is blue.[CWA. Example of deepest failure = (rule9 <- FAIL)]]
("tiger" "is" "blue" "+")
The rabbit is not red.
Unknown
inv-rconc
[@1: The rabbit is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("rabbit" "is" "red" "-")
The bear is red.
Unknown
rconc
[@1: The bear is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "is" "red" "+")
The rabbit does not visit the bear.
Unknown
inv-random
[@0: The rabbit visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "bear" "-")
The squirrel likes the tiger.
Unknown
random
[@0: The squirrel likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "tiger" "+")
The bear does not eat the rabbit.
Unknown
inv-random
[@0: The bear eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "rabbit" "-")
The tiger likes the rabbit.
Unknown
random
[@0: The tiger likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "rabbit" "+")
The squirrel does not visit the squirrel.
Unknown
inv-random
[@0: The squirrel visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "squirrel" "-")
The tiger visits the squirrel.
Unknown
random
[@0: The tiger visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "visits" "squirrel" "+")
@0: The bear is kind.[(triple1)] The rabbit eats the bear.[(triple2)] The rabbit eats the squirrel.[(triple3)] The rabbit likes the tiger.[(triple4)] The rabbit visits the squirrel.[(triple5)] The squirrel eats the bear.[(triple6)] The squirrel eats the tiger.[(triple7 OR ((triple5 triple4) -> rule7))] The squirrel is blue.[(triple8 OR ((triple12) -> rule9))] The squirrel is red.[(triple9)] The squirrel is young.[(triple10)] The squirrel likes the bear.[(triple11)] The squirrel visits the tiger.[(triple12)] The tiger eats the bear.[(triple13)] The tiger is rough.[(triple14 OR ((triple16) -> rule1))] The tiger likes the squirrel.[(triple15)] The tiger visits the rabbit.[(triple16)] @1: The bear visits the tiger.[(((triple9 triple6) -> rule6))] The rabbit visits the rabbit.[(((triple3) -> rule4))] The tiger visits the bear.[(((triple7) -> rule2) OR ((((triple5 triple4) -> rule7)) -> rule2))] @2: The bear is blue.[(((((triple9 triple6) -> rule6)) -> rule9))] The rabbit is rough.[(((((triple3) -> rule4)) -> rule1))] @3: The bear eats the squirrel.[(((triple1 ((((triple9 triple6) -> rule6)) -> rule9)) -> rule8))] @4: The bear visits the rabbit.[(((((triple1 ((((triple9 triple6) -> rule6)) -> rule9)) -> rule8)) -> rule4))] @5: The bear is rough.[(((((((triple1 ((((triple9 triple6) -> rule6)) -> rule9)) -> rule8)) -> rule4)) -> rule1))]
The bear is kind.
("bear" "is" "kind" "+")
triple1
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
triple2
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
triple3
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
triple4
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
triple5
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
triple6
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
triple7
((triple5 triple4) -> (rule7 % int1))
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple8
((triple12) -> (rule9 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
triple9
The squirrel is young.
("squirrel" "is" "young" "+")
triple10
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
triple11
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
triple12
The tiger eats the bear.
("tiger" "eats" "bear" "+")
triple13
The tiger is rough.
("tiger" "is" "rough" "+")
triple14
((triple16) -> (rule1 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
triple15
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
triple16
The bear visits the tiger.
("bear" "visits" "tiger" "+")
((triple9 triple6) -> (rule6 % int1))
The bear visits the tiger.
("bear" "visits" "tiger" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
((triple3) -> (rule4 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The tiger visits the bear.
("tiger" "visits" "bear" "+")
((triple7) -> (rule2 % int1))
The tiger visits the bear.
("tiger" "visits" "bear" "+")
int1
((((triple5 triple4) -> (rule7 % int2))) -> (rule2 % int1))
The tiger visits the bear.
("tiger" "visits" "bear" "+")
int1
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int2
The bear is blue.
("bear" "is" "blue" "+")
((((triple9 triple6) -> (rule6 % int2))) -> (rule9 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear visits the tiger.
("bear" "visits" "tiger" "+")
int2
The rabbit is rough.
("rabbit" "is" "rough" "+")
((((triple3) -> (rule4 % int2))) -> (rule1 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
((triple1 ((((triple9 triple6) -> (rule6 % int3))) -> (rule9 % int2))) -> (rule8 % int1))
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear visits the tiger.
("bear" "visits" "tiger" "+")
int3
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
((((triple1 ((((triple9 triple6) -> (rule6 % int4))) -> (rule9 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int1
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
int2
The bear is blue.
("bear" "is" "blue" "+")
int3
The bear visits the tiger.
("bear" "visits" "tiger" "+")
int4
The bear is rough.
("bear" "is" "rough" "+")
((((((triple1 ((((triple9 triple6) -> (rule6 % int5))) -> (rule9 % int4))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int2
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
int3
The bear is blue.
("bear" "is" "blue" "+")
int4
The bear visits the tiger.
("bear" "visits" "tiger" "+")
int5