The bear does not eat the rabbit. The bear is blue. The bear is rough. The rabbit chases the bear. The rabbit eats the bear. The rabbit is blue. The rabbit is cold. The rabbit is green. The rabbit is round. The rabbit likes the bear. If something chases the rabbit and it does not eat the rabbit then it does not eat the bear. If something likes the bear then the bear chases the rabbit. If something is blue and it does not eat the bear then the bear likes the rabbit.
The bear does not eat the rabbit.
("bear" "eats" "rabbit" "-")
The bear is blue.
("bear" "is" "blue" "+")
The bear is rough.
("bear" "is" "rough" "+")
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
If something chases the rabbit and it does not eat the rabbit then it does not eat the bear.
((("something" "chases" "rabbit" "+") ("something" "eats" "rabbit" "~")) -> ("something" "eats" "bear" "-"))
If something likes the bear then the bear chases the rabbit.
((("something" "likes" "bear" "+")) -> ("bear" "chases" "rabbit" "+"))
If something is blue and it does not eat the bear then the bear likes the rabbit.
((("something" "is" "blue" "+") ("something" "eats" "bear" "~")) -> ("bear" "likes" "rabbit" "+"))
The rabbit is cold.
True
1
proof
[(triple7)]
("rabbit" "is" "cold" "+")
triple7
The bear is not blue.
False
1
inv-proof
[(triple2)]
("bear" "is" "blue" "-")
triple2
The rabbit does not chase the rabbit.
Unknown
inv-random
[@0: The rabbit chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "rabbit" "-")
The bear likes the bear.
Unknown
random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "+")
@0: The bear does not eat the rabbit.[(triple1)] The bear is blue.[(triple2)] The bear is rough.[(triple3)] The rabbit chases the bear.[(triple4)] The rabbit eats the bear.[(triple5)] The rabbit is blue.[(triple6)] The rabbit is cold.[(triple7)] The rabbit is green.[(triple8)] The rabbit is round.[(triple9)] The rabbit likes the bear.[(triple10)] @1: The bear chases the rabbit.[(((triple10) -> rule2))] @2: The bear does not eat the bear.[(((((triple10) -> rule2) triple1) -> rule1))] @3: The bear likes the rabbit.[(((triple2 ((((triple10) -> rule2) triple1) -> rule1)) -> rule3))]
The bear does not eat the rabbit.
("bear" "eats" "rabbit" "-")
triple1
The bear is blue.
("bear" "is" "blue" "+")
triple2
The bear is rough.
("bear" "is" "rough" "+")
triple3
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
triple4
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
triple5
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple6
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple7
The rabbit is green.
("rabbit" "is" "green" "+")
triple8
The rabbit is round.
("rabbit" "is" "round" "+")
triple9
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
triple10
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
((triple10) -> (rule2 % int1))
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
int1
The bear does not eat the bear.
("bear" "eats" "bear" "-")
((((triple10) -> (rule2 % int2)) triple1) -> (rule1 % int1))
The bear does not eat the bear.
("bear" "eats" "bear" "-")
int1
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
int2
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
((triple2 ((((triple10) -> (rule2 % int3)) triple1) -> (rule1 % int2))) -> (rule3 % int1))
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
int1
The bear does not eat the bear.
("bear" "eats" "bear" "-")
int2
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
int3