The bear is big. The bear needs the rabbit. The rabbit is blue. The rabbit is kind. The squirrel eats the bear. The squirrel is kind. The squirrel is red. The squirrel likes the bear. The squirrel likes the rabbit. The squirrel needs the bear. If something is blue then it needs the bear. If something is nice then it likes the squirrel. If something needs the bear then it is nice.
The bear is big.
("bear" "is" "big" "+")
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
If something is blue then it needs the bear.
((("something" "is" "blue" "+")) -> ("something" "needs" "bear" "+"))
If something is nice then it likes the squirrel.
((("something" "is" "nice" "+")) -> ("something" "likes" "squirrel" "+"))
If something needs the bear then it is nice.
((("something" "needs" "bear" "+")) -> ("something" "is" "nice" "+"))
The squirrel is kind.
True
1
proof
[(triple6)]
("squirrel" "is" "kind" "+")
triple6
The squirrel does not like the rabbit.
False
1
inv-proof
[(triple9)]
("squirrel" "likes" "rabbit" "-")
triple9
The squirrel is nice.
True
2
proof
[(((triple10) -> rule3))]
("squirrel" "is" "nice" "+")
((triple10) -> (rule3 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The squirrel is not nice.
False
2
inv-proof
[(((triple10) -> rule3))]
("squirrel" "is" "nice" "-")
((triple10) -> (rule3 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The rabbit is nice.
True
3
proof
[(((((triple3) -> rule1)) -> rule3))]
("rabbit" "is" "nice" "+")
((((triple3) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int2
The squirrel does not like the squirrel.
False
3
inv-proof
[(((((triple10) -> rule3)) -> rule2))]
("squirrel" "likes" "squirrel" "-")
((((triple10) -> (rule3 % int2))) -> (rule2 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
int2
The rabbit likes the squirrel.
True
4
proof
[(((((((triple3) -> rule1)) -> rule3)) -> rule2))]
("rabbit" "likes" "squirrel" "+")
((((((triple3) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int3
The rabbit does not like the squirrel.
False
4
inv-proof
[(((((((triple3) -> rule1)) -> rule3)) -> rule2))]
("rabbit" "likes" "squirrel" "-")
((((((triple3) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int3
The bear does not need the bear.
Unknown
inv-rconc
[@1: The bear needs the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "needs" "bear" "-")
The bear likes the squirrel.
Unknown
rconc
[@3: The bear likes the squirrel.[CWA. Example of deepest failure = (rule2 <- rule3 <- rule1 <- FAIL)]]
("bear" "likes" "squirrel" "+")
The bear is not nice.
Unknown
inv-rconc
[@2: The bear is nice.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("bear" "is" "nice" "-")
The rabbit eats the bear.
Unknown
random
[@0: The rabbit eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "bear" "+")
The bear does not like the rabbit.
Unknown
inv-random
[@0: The bear likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "rabbit" "-")
The bear needs the squirrel.
Unknown
random
[@0: The bear needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "squirrel" "+")
The rabbit does not like the bear.
Unknown
inv-random
[@0: The rabbit likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "bear" "-")
The rabbit eats the squirrel.
Unknown
random
[@0: The rabbit eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "squirrel" "+")
@0: The bear is big.[(triple1)] The bear needs the rabbit.[(triple2)] The rabbit is blue.[(triple3)] The rabbit is kind.[(triple4)] The squirrel eats the bear.[(triple5)] The squirrel is kind.[(triple6)] The squirrel is red.[(triple7)] The squirrel likes the bear.[(triple8)] The squirrel likes the rabbit.[(triple9)] The squirrel needs the bear.[(triple10)] @1: The rabbit needs the bear.[(((triple3) -> rule1))] The squirrel is nice.[(((triple10) -> rule3))] @2: The rabbit is nice.[(((((triple3) -> rule1)) -> rule3))] The squirrel likes the squirrel.[(((((triple10) -> rule3)) -> rule2))] @3: The rabbit likes the squirrel.[(((((((triple3) -> rule1)) -> rule3)) -> rule2))]
The bear is big.
("bear" "is" "big" "+")
triple1
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
triple2
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple3
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple4
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
triple5
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple6
The squirrel is red.
("squirrel" "is" "red" "+")
triple7
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
triple8
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
triple9
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
triple10
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
((triple3) -> (rule1 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
((triple10) -> (rule3 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
((((triple3) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int2
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
((((triple10) -> (rule3 % int2))) -> (rule2 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
int2
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
((((((triple3) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int3