The bear is rough. The bear needs the rabbit. The cat chases the rabbit. The cat needs the bear. The cow is cold. The cow is round. The cow needs the rabbit. The rabbit eats the bear. The rabbit eats the cat. The rabbit is cold. If the rabbit chases the bear then the bear is nice. If someone needs the rabbit and they do not eat the cat then the cat is nice. If someone is cold then they chase the bear.
The bear is rough.
("bear" "is" "rough" "+")
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
The cat needs the bear.
("cat" "needs" "bear" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow is round.
("cow" "is" "round" "+")
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
If the rabbit chases the bear then the bear is nice.
((("rabbit" "chases" "bear" "+")) -> ("bear" "is" "nice" "+"))
If someone needs the rabbit and they do not eat the cat then the cat is nice.
((("someone" "needs" "rabbit" "+") ("someone" "eats" "cat" "~")) -> ("cat" "is" "nice" "+"))
If someone is cold then they chase the bear.
((("someone" "is" "cold" "+")) -> ("someone" "chases" "bear" "+"))
The rabbit is cold.
True
1
proof
[(triple10)]
("rabbit" "is" "cold" "+")
triple10
The rabbit does not eat the cat.
False
1
inv-proof
[(triple9)]
("rabbit" "eats" "cat" "-")
triple9
The cow chases the bear.
True
2
proof
[(((triple5) -> rule3))]
("cow" "chases" "bear" "+")
((triple5) -> (rule3 % int1))
The cow chases the bear.
("cow" "chases" "bear" "+")
int1
The cow does not chase the bear.
False
2
inv-proof
[(((triple5) -> rule3))]
("cow" "chases" "bear" "-")
((triple5) -> (rule3 % int1))
The cow chases the bear.
("cow" "chases" "bear" "+")
int1
The bear is nice.
True
3
proof
[(((((triple10) -> rule3)) -> rule1))]
("bear" "is" "nice" "+")
((((triple10) -> (rule3 % int2))) -> (rule1 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int2
The bear is not nice.
False
3
inv-proof
[(((((triple10) -> rule3)) -> rule1))]
("bear" "is" "nice" "-")
((((triple10) -> (rule3 % int2))) -> (rule1 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int2
The cat is not nice.
Unknown
inv-rconc
[@1: The cat is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "is" "nice" "-")
The bear chases the bear.
Unknown
rconc
[@1: The bear chases the bear.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "chases" "bear" "+")
The cat does not chase the bear.
Unknown
inv-rconc
[@1: The cat chases the bear.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cat" "chases" "bear" "-")
The cat is red.
Unknown
random
[@0: The cat is red.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "red" "+")
The bear does not chase the rabbit.
Unknown
inv-random
[@0: The bear chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "rabbit" "-")
The cow eats the bear.
Unknown
random
[@0: The cow eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "bear" "+")
@0: The bear is rough.[(triple1)] The bear needs the rabbit.[(triple2)] The cat chases the rabbit.[(triple3)] The cat needs the bear.[(triple4)] The cow is cold.[(triple5)] The cow is round.[(triple6)] The cow needs the rabbit.[(triple7)] The rabbit eats the bear.[(triple8)] The rabbit eats the cat.[(triple9)] The rabbit is cold.[(triple10)] @1: The cow chases the bear.[(((triple5) -> rule3))] The rabbit chases the bear.[(((triple10) -> rule3))] @2: The bear is nice.[(((((triple10) -> rule3)) -> rule1))]
The bear is rough.
("bear" "is" "rough" "+")
triple1
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
triple2
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
triple3
The cat needs the bear.
("cat" "needs" "bear" "+")
triple4
The cow is cold.
("cow" "is" "cold" "+")
triple5
The cow is round.
("cow" "is" "round" "+")
triple6
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
triple7
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
triple8
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
triple9
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple10
The cow chases the bear.
("cow" "chases" "bear" "+")
((triple5) -> (rule3 % int1))
The cow chases the bear.
("cow" "chases" "bear" "+")
int1
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
((triple10) -> (rule3 % int1))
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
((((triple10) -> (rule3 % int2))) -> (rule1 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int2