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