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