The bear eats the rabbit. The bear likes the rabbit. The bear likes the squirrel. The bear does not see the rabbit. The bear sees the tiger. The rabbit likes the bear. The rabbit sees the squirrel. The squirrel is big. The squirrel does not see the rabbit. The tiger is kind. The tiger is young. If something sees the rabbit then the rabbit does not like the bear. If something is kind then it sees the bear. If something sees the squirrel then it is not rough. If the squirrel eats the rabbit and the squirrel does not see the tiger then the tiger does not see the rabbit. If something sees the bear and the bear is kind then it eats the tiger. If something eats the tiger then it is young. If something sees the bear and the bear sees the tiger then the bear is kind. If the squirrel is blue and the squirrel likes the tiger then the squirrel is not kind. If the bear eats the rabbit then the rabbit does not eat the tiger.
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
The bear does not see the rabbit.
("bear" "sees" "rabbit" "-")
The bear sees the tiger.
("bear" "sees" "tiger" "+")
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel does not see the rabbit.
("squirrel" "sees" "rabbit" "-")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger is young.
("tiger" "is" "young" "+")
If something sees the rabbit then the rabbit does not like the bear.
((("something" "sees" "rabbit" "+")) -> ("rabbit" "likes" "bear" "-"))
If something is kind then it sees the bear.
((("something" "is" "kind" "+")) -> ("something" "sees" "bear" "+"))
If something sees the squirrel then it is not rough.
((("something" "sees" "squirrel" "+")) -> ("something" "is" "rough" "-"))
If the squirrel eats the rabbit and the squirrel does not see the tiger then the tiger does not see the rabbit.
((("squirrel" "eats" "rabbit" "+") ("squirrel" "sees" "tiger" "~")) -> ("tiger" "sees" "rabbit" "-"))
If something sees the bear and the bear is kind then it eats the tiger.
((("something" "sees" "bear" "+") ("bear" "is" "kind" "+")) -> ("something" "eats" "tiger" "+"))
If something eats the tiger then it is young.
((("something" "eats" "tiger" "+")) -> ("something" "is" "young" "+"))
If something sees the bear and the bear sees the tiger then the bear is kind.
((("something" "sees" "bear" "+") ("bear" "sees" "tiger" "+")) -> ("bear" "is" "kind" "+"))
If the squirrel is blue and the squirrel likes the tiger then the squirrel is not kind.
((("squirrel" "is" "blue" "+") ("squirrel" "likes" "tiger" "+")) -> ("squirrel" "is" "kind" "-"))
If the bear eats the rabbit then the rabbit does not eat the tiger.
((("bear" "eats" "rabbit" "+")) -> ("rabbit" "eats" "tiger" "-"))
The bear likes the squirrel.
True
1
proof
[(triple3)]
("bear" "likes" "squirrel" "+")
triple3
The bear sees the rabbit.
False
1
inv-proof
[(triple4)]
("bear" "sees" "rabbit" "+")
triple4
The rabbit does not eat the tiger.
True
2
proof
[(((triple1) -> rule9))]
("rabbit" "eats" "tiger" "-")
((triple1) -> (rule9 % int1))
The rabbit does not eat the tiger.
("rabbit" "eats" "tiger" "-")
int1
The rabbit eats the tiger.
False
2
inv-proof
[(((triple1) -> rule9))]
("rabbit" "eats" "tiger" "+")
((triple1) -> (rule9 % int1))
The rabbit does not eat the tiger.
("rabbit" "eats" "tiger" "-")
int1
The bear is kind.
True
4
proof
[(((((triple10) -> rule2) triple5) -> rule7))]
("bear" "is" "kind" "+")
((((triple10) -> (rule2 % int2)) triple5) -> (rule7 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The tiger sees the bear.
("tiger" "sees" "bear" "+")
int2
The bear is not kind.
False
4
inv-proof
[(((((triple10) -> rule2) triple5) -> rule7))]
("bear" "is" "kind" "-")
((((triple10) -> (rule2 % int2)) triple5) -> (rule7 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The tiger sees the bear.
("tiger" "sees" "bear" "+")
int2
The bear sees the bear.
True
5
proof
[(((((((triple10) -> rule2) triple5) -> rule7)) -> rule2))]
("bear" "sees" "bear" "+")
((((((triple10) -> (rule2 % int3)) triple5) -> (rule7 % int2))) -> (rule2 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
The tiger sees the bear.
("tiger" "sees" "bear" "+")
int3
The bear does not see the bear.
False
5
inv-proof
[(((((((triple10) -> rule2) triple5) -> rule7)) -> rule2))]
("bear" "sees" "bear" "-")
((((((triple10) -> (rule2 % int3)) triple5) -> (rule7 % int2))) -> (rule2 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
The tiger sees the bear.
("tiger" "sees" "bear" "+")
int3
The bear eats the tiger.
True
10
proof
[(((((((((triple10) -> rule2) triple5) -> rule7)) -> rule2) ((((triple10) -> rule2) triple5) -> rule7)) -> rule5))]
("bear" "eats" "tiger" "+")
((((((((triple10) -> (rule2 % int4)) triple5) -> (rule7 % int3))) -> (rule2 % int2)) ((((triple10) -> (rule2 % int4)) triple5) -> (rule7 % int3))) -> (rule5 % int1))
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int1
The bear sees the bear.
("bear" "sees" "bear" "+")
int2
The bear is kind.
("bear" "is" "kind" "+")
int3
The tiger sees the bear.
("tiger" "sees" "bear" "+")
int4
The bear does not eat the tiger.
False
10
inv-proof
[(((((((((triple10) -> rule2) triple5) -> rule7)) -> rule2) ((((triple10) -> rule2) triple5) -> rule7)) -> rule5))]
("bear" "eats" "tiger" "-")
((((((((triple10) -> (rule2 % int4)) triple5) -> (rule7 % int3))) -> (rule2 % int2)) ((((triple10) -> (rule2 % int4)) triple5) -> (rule7 % int3))) -> (rule5 % int1))
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int1
The bear sees the bear.
("bear" "sees" "bear" "+")
int2
The bear is kind.
("bear" "is" "kind" "+")
int3
The tiger sees the bear.
("tiger" "sees" "bear" "+")
int4
The bear is young.
True
11
proof
[(((((((((((triple10) -> rule2) triple5) -> rule7)) -> rule2) ((((triple10) -> rule2) triple5) -> rule7)) -> rule5)) -> rule6))]
("bear" "is" "young" "+")
((((((((((triple10) -> (rule2 % int5)) triple5) -> (rule7 % int4))) -> (rule2 % int3)) ((((triple10) -> (rule2 % int5)) triple5) -> (rule7 % int4))) -> (rule5 % int2))) -> (rule6 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int2
The bear sees the bear.
("bear" "sees" "bear" "+")
int3
The bear is kind.
("bear" "is" "kind" "+")
int4
The tiger sees the bear.
("tiger" "sees" "bear" "+")
int5
The bear is not young.
False
11
inv-proof
[(((((((((((triple10) -> rule2) triple5) -> rule7)) -> rule2) ((((triple10) -> rule2) triple5) -> rule7)) -> rule5)) -> rule6))]
("bear" "is" "young" "-")
((((((((((triple10) -> (rule2 % int5)) triple5) -> (rule7 % int4))) -> (rule2 % int3)) ((((triple10) -> (rule2 % int5)) triple5) -> (rule7 % int4))) -> (rule5 % int2))) -> (rule6 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int2
The bear sees the bear.
("bear" "sees" "bear" "+")
int3
The bear is kind.
("bear" "is" "kind" "+")
int4
The tiger sees the bear.
("tiger" "sees" "bear" "+")
int5
The rabbit does not see the bear.
Unknown
inv-rconc
[@1: The rabbit sees the bear.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "sees" "bear" "-")
The squirrel eats the tiger.
Unknown
rconc
[@2: The squirrel eats the tiger.[CWA. Example of deepest failure = (rule5 <- rule2 <- FAIL)]]
("squirrel" "eats" "tiger" "+")
The rabbit is not young.
Unknown
inv-rconc
[@1: The rabbit is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("rabbit" "is" "young" "-")
The squirrel is young.
Unknown
rconc
[@3: The squirrel is young.[CWA. Example of deepest failure = (rule6 <- rule5 <- rule2 <- FAIL)]]
("squirrel" "is" "young" "+")
The squirrel does not see the bear.
Unknown
inv-rconc
[@1: The squirrel sees the bear.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "sees" "bear" "-")
The squirrel is kind.
Unknown
random
[@0: The squirrel is kind.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "kind" "+")
The tiger does not eat the rabbit.
Unknown
inv-random
[@0: The tiger eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "rabbit" "-")
The rabbit likes the squirrel.
Unknown
random
[@0: The rabbit likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "squirrel" "+")
The rabbit does not like the tiger.
Unknown
inv-random
[@0: The rabbit likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "tiger" "-")
The squirrel eats the squirrel.
Unknown
random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "+")
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 likes the rabbit.
Unknown
random
[@0: The rabbit likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "rabbit" "+")
@0: The bear does not see the rabbit.[(triple4)] The bear eats the rabbit.[(triple1)] The bear likes the rabbit.[(triple2)] The bear likes the squirrel.[(triple3)] The bear sees the tiger.[(triple5)] The rabbit likes the bear.[(triple6)] The rabbit sees the squirrel.[(triple7)] The squirrel does not see the rabbit.[(triple9)] The squirrel is big.[(triple8)] The tiger is kind.[(triple10)] The tiger is young.[(triple11 OR ((((((triple10) -> rule2) ((((triple10) -> rule2) triple5) -> rule7)) -> rule5)) -> rule6))] @1: The rabbit does not eat the tiger.[(((triple1) -> rule9))] The rabbit is not rough.[(((triple7) -> rule3))] The tiger sees the bear.[(((triple10) -> rule2))] @2: The bear is kind.[(((((triple10) -> rule2) triple5) -> rule7))] @3: The bear sees the bear.[(((((((triple10) -> rule2) triple5) -> rule7)) -> rule2))] The tiger eats the tiger.[(((((triple10) -> rule2) ((((triple10) -> rule2) triple5) -> rule7)) -> rule5))] @4: The bear eats the tiger.[(((((((((triple10) -> rule2) triple5) -> rule7)) -> rule2) ((((triple10) -> rule2) triple5) -> rule7)) -> rule5))] @5: The bear is young.[(((((((((((triple10) -> rule2) triple5) -> rule7)) -> rule2) ((((triple10) -> rule2) triple5) -> rule7)) -> rule5)) -> rule6))]
The bear does not see the rabbit.
("bear" "sees" "rabbit" "-")
triple4
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
triple1
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
triple2
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
triple3
The bear sees the tiger.
("bear" "sees" "tiger" "+")
triple5
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
triple6
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
triple7
The squirrel does not see the rabbit.
("squirrel" "sees" "rabbit" "-")
triple9
The squirrel is big.
("squirrel" "is" "big" "+")
triple8
The tiger is kind.
("tiger" "is" "kind" "+")
triple10
The tiger is young.
("tiger" "is" "young" "+")
triple11
((((((triple10) -> (rule2 % int4)) ((((triple10) -> (rule2 % int4)) triple5) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int2
The bear is kind.
("bear" "is" "kind" "+")
int3
The tiger sees the bear.
("tiger" "sees" "bear" "+")
int4
The rabbit does not eat the tiger.
("rabbit" "eats" "tiger" "-")
((triple1) -> (rule9 % int1))
The rabbit does not eat the tiger.
("rabbit" "eats" "tiger" "-")
int1
The rabbit is not rough.
("rabbit" "is" "rough" "-")
((triple7) -> (rule3 % int1))
The rabbit is not rough.
("rabbit" "is" "rough" "-")
int1
The tiger sees the bear.
("tiger" "sees" "bear" "+")
((triple10) -> (rule2 % int1))
The tiger sees the bear.
("tiger" "sees" "bear" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
((((triple10) -> (rule2 % int2)) triple5) -> (rule7 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The tiger sees the bear.
("tiger" "sees" "bear" "+")
int2
The bear sees the bear.
("bear" "sees" "bear" "+")
((((((triple10) -> (rule2 % int3)) triple5) -> (rule7 % int2))) -> (rule2 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
The tiger sees the bear.
("tiger" "sees" "bear" "+")
int3
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
((((triple10) -> (rule2 % int3)) ((((triple10) -> (rule2 % int3)) triple5) -> (rule7 % int2))) -> (rule5 % int1))
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
The tiger sees the bear.
("tiger" "sees" "bear" "+")
int3
The bear eats the tiger.
("bear" "eats" "tiger" "+")
((((((((triple10) -> (rule2 % int4)) triple5) -> (rule7 % int3))) -> (rule2 % int2)) ((((triple10) -> (rule2 % int4)) triple5) -> (rule7 % int3))) -> (rule5 % int1))
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int1
The bear sees the bear.
("bear" "sees" "bear" "+")
int2
The bear is kind.
("bear" "is" "kind" "+")
int3
The tiger sees the bear.
("tiger" "sees" "bear" "+")
int4
The bear is young.
("bear" "is" "young" "+")
((((((((((triple10) -> (rule2 % int5)) triple5) -> (rule7 % int4))) -> (rule2 % int3)) ((((triple10) -> (rule2 % int5)) triple5) -> (rule7 % int4))) -> (rule5 % int2))) -> (rule6 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int2
The bear sees the bear.
("bear" "sees" "bear" "+")
int3
The bear is kind.
("bear" "is" "kind" "+")
int4
The tiger sees the bear.
("tiger" "sees" "bear" "+")
int5