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