The bear chases the rabbit. The bear is big. The bear needs the rabbit. The rabbit is nice. The rabbit likes the bear. The squirrel chases the bear. The squirrel does not chase the rabbit. The squirrel is round. The squirrel does not like the rabbit. The squirrel needs the bear. If something chases the bear then the bear does not like the rabbit. If something likes the squirrel then the squirrel is not kind. If the rabbit is kind and the rabbit needs the bear then the rabbit is round. If something likes the bear then it does not chase the bear. If something is nice then it likes the squirrel. If something is nice and it needs the squirrel then it is kind.
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
The bear is big.
("bear" "is" "big" "+")
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
The squirrel does not chase the rabbit.
("squirrel" "chases" "rabbit" "-")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel does not like the rabbit.
("squirrel" "likes" "rabbit" "-")
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
If something chases the bear then the bear does not like the rabbit.
((("something" "chases" "bear" "+")) -> ("bear" "likes" "rabbit" "-"))
If something likes the squirrel then the squirrel is not kind.
((("something" "likes" "squirrel" "+")) -> ("squirrel" "is" "kind" "-"))
If the rabbit is kind and the rabbit needs the bear then the rabbit is round.
((("rabbit" "is" "kind" "+") ("rabbit" "needs" "bear" "+")) -> ("rabbit" "is" "round" "+"))
If something likes the bear then it does not chase the bear.
((("something" "likes" "bear" "+")) -> ("something" "chases" "bear" "-"))
If something is nice then it likes the squirrel.
((("something" "is" "nice" "+")) -> ("something" "likes" "squirrel" "+"))
If something is nice and it needs the squirrel then it is kind.
((("something" "is" "nice" "+") ("something" "needs" "squirrel" "+")) -> ("something" "is" "kind" "+"))
The squirrel is round.
True
1
proof
[(triple8)]
("squirrel" "is" "round" "+")
triple8
The squirrel is not round.
False
1
inv-proof
[(triple8)]
("squirrel" "is" "round" "-")
triple8
The bear does not like the rabbit.
True
2
proof
[(((triple6) -> rule1))]
("bear" "likes" "rabbit" "-")
((triple6) -> (rule1 % int1))
The bear does not like the rabbit.
("bear" "likes" "rabbit" "-")
int1
The rabbit does not like the squirrel.
False
2
inv-proof
[(((triple4) -> rule5))]
("rabbit" "likes" "squirrel" "-")
((triple4) -> (rule5 % int1))
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int1
The squirrel is not kind.
True
3
proof
[(((((triple4) -> rule5)) -> rule2))]
("squirrel" "is" "kind" "-")
((((triple4) -> (rule5 % int2))) -> (rule2 % int1))
The squirrel is not kind.
("squirrel" "is" "kind" "-")
int1
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int2
The squirrel is kind.
False
3
inv-proof
[(((((triple4) -> rule5)) -> rule2))]
("squirrel" "is" "kind" "+")
((((triple4) -> (rule5 % int2))) -> (rule2 % int1))
The squirrel is not kind.
("squirrel" "is" "kind" "-")
int1
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int2
The rabbit is not kind.
Unknown
inv-rconc
[@1: The rabbit is kind.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("rabbit" "is" "kind" "-")
The bear is kind.
Unknown
rconc
[@1: The bear is kind.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bear" "is" "kind" "+")
The bear does not like the squirrel.
Unknown
inv-rconc
[@1: The bear likes the squirrel.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bear" "likes" "squirrel" "-")
The rabbit chases the rabbit.
Unknown
random
[@0: The rabbit chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "rabbit" "+")
The rabbit does not need the squirrel.
Unknown
inv-random
[@0: The rabbit needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "squirrel" "-")
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 chases the rabbit.[(triple1)] The bear is big.[(triple2)] The bear needs the rabbit.[(triple3)] The rabbit is nice.[(triple4)] The rabbit likes the bear.[(triple5)] The squirrel chases the bear.[(triple6)] The squirrel does not chase the rabbit.[(triple7)] The squirrel does not like the rabbit.[(triple9)] The squirrel is round.[(triple8)] The squirrel needs the bear.[(triple10)] @1: The bear does not like the rabbit.[(((triple6) -> rule1))] The rabbit does not chase the bear.[(((triple5) -> rule4))] The rabbit likes the squirrel.[(((triple4) -> rule5))] @2: The squirrel is not kind.[(((((triple4) -> rule5)) -> rule2))]
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
triple1
The bear is big.
("bear" "is" "big" "+")
triple2
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
triple3
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple4
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
triple5
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
triple6
The squirrel does not chase the rabbit.
("squirrel" "chases" "rabbit" "-")
triple7
The squirrel does not like the rabbit.
("squirrel" "likes" "rabbit" "-")
triple9
The squirrel is round.
("squirrel" "is" "round" "+")
triple8
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
triple10
The bear does not like the rabbit.
("bear" "likes" "rabbit" "-")
((triple6) -> (rule1 % int1))
The bear does not like the rabbit.
("bear" "likes" "rabbit" "-")
int1
The rabbit does not chase the bear.
("rabbit" "chases" "bear" "-")
((triple5) -> (rule4 % int1))
The rabbit does not chase the bear.
("rabbit" "chases" "bear" "-")
int1
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
((triple4) -> (rule5 % int1))
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int1
The squirrel is not kind.
("squirrel" "is" "kind" "-")
((((triple4) -> (rule5 % int2))) -> (rule2 % int1))
The squirrel is not kind.
("squirrel" "is" "kind" "-")
int1
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int2