The cow chases the mouse. The cow eats the dog. The cow sees the dog. The dog chases the cow. The dog chases the mouse. The mouse is kind. The tiger chases the dog. If something chases the cow then the cow is blue. If something sees the cow then it eats the mouse. If something eats the dog then it sees the cow. If something is blue and it sees the dog then the dog is kind. If something is kind then it eats the dog.
The cow chases the mouse.
("cow" "chases" "mouse" "+")
The cow eats the dog.
("cow" "eats" "dog" "+")
The cow sees the dog.
("cow" "sees" "dog" "+")
The dog chases the cow.
("dog" "chases" "cow" "+")
The dog chases the mouse.
("dog" "chases" "mouse" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The tiger chases the dog.
("tiger" "chases" "dog" "+")
If something chases the cow then the cow is blue.
((("something" "chases" "cow" "+")) -> ("cow" "is" "blue" "+"))
If something sees the cow then it eats the mouse.
((("something" "sees" "cow" "+")) -> ("something" "eats" "mouse" "+"))
If something eats the dog then it sees the cow.
((("something" "eats" "dog" "+")) -> ("something" "sees" "cow" "+"))
If something is blue and it sees the dog then the dog is kind.
((("something" "is" "blue" "+") ("something" "sees" "dog" "+")) -> ("dog" "is" "kind" "+"))
If something is kind then it eats the dog.
((("something" "is" "kind" "+")) -> ("something" "eats" "dog" "+"))
The cow chases the mouse.
True
1
proof
[(triple1)]
("cow" "chases" "mouse" "+")
triple1
The cow does not chase the mouse.
False
1
inv-proof
[(triple1)]
("cow" "chases" "mouse" "-")
triple1
The cow is blue.
True
2
proof
[(((triple4) -> rule1))]
("cow" "is" "blue" "+")
((triple4) -> (rule1 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The cow does not see the cow.
False
2
inv-proof
[(((triple2) -> rule3))]
("cow" "sees" "cow" "-")
((triple2) -> (rule3 % int1))
The cow sees the cow.
("cow" "sees" "cow" "+")
int1
The dog is kind.
True
4
proof
[(((((triple4) -> rule1) triple3) -> rule4))]
("dog" "is" "kind" "+")
((((triple4) -> (rule1 % int2)) triple3) -> (rule4 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2
The cow does not eat the mouse.
False
3
inv-proof
[(((((triple2) -> rule3)) -> rule2))]
("cow" "eats" "mouse" "-")
((((triple2) -> (rule3 % int2))) -> (rule2 % int1))
The cow eats the mouse.
("cow" "eats" "mouse" "+")
int1
The cow sees the cow.
("cow" "sees" "cow" "+")
int2
The mouse eats the mouse.
True
4
proof
[(((((((triple6) -> rule5)) -> rule3)) -> rule2))]
("mouse" "eats" "mouse" "+")
((((((triple6) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
The mouse sees the cow.
("mouse" "sees" "cow" "+")
int2
The mouse eats the dog.
("mouse" "eats" "dog" "+")
int3
The dog does not eat the dog.
False
5
inv-proof
[(((((((triple4) -> rule1) triple3) -> rule4)) -> rule5))]
("dog" "eats" "dog" "-")
((((((triple4) -> (rule1 % int3)) triple3) -> (rule4 % int2))) -> (rule5 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1
The dog is kind.
("dog" "is" "kind" "+")
int2
The cow is blue.
("cow" "is" "blue" "+")
int3
The dog sees the cow.
True
6
proof
[(((((((((triple4) -> rule1) triple3) -> rule4)) -> rule5)) -> rule3))]
("dog" "sees" "cow" "+")
((((((((triple4) -> (rule1 % int4)) triple3) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The dog sees the cow.
("dog" "sees" "cow" "+")
int1
The dog eats the dog.
("dog" "eats" "dog" "+")
int2
The dog is kind.
("dog" "is" "kind" "+")
int3
The cow is blue.
("cow" "is" "blue" "+")
int4
The dog does not see the cow.
False
6
inv-proof
[(((((((((triple4) -> rule1) triple3) -> rule4)) -> rule5)) -> rule3))]
("dog" "sees" "cow" "-")
((((((((triple4) -> (rule1 % int4)) triple3) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The dog sees the cow.
("dog" "sees" "cow" "+")
int1
The dog eats the dog.
("dog" "eats" "dog" "+")
int2
The dog is kind.
("dog" "is" "kind" "+")
int3
The cow is blue.
("cow" "is" "blue" "+")
int4
The dog eats the mouse.
True
7
proof
[(((((((((((triple4) -> rule1) triple3) -> rule4)) -> rule5)) -> rule3)) -> rule2))]
("dog" "eats" "mouse" "+")
((((((((((triple4) -> (rule1 % int5)) triple3) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int1
The dog sees the cow.
("dog" "sees" "cow" "+")
int2
The dog eats the dog.
("dog" "eats" "dog" "+")
int3
The dog is kind.
("dog" "is" "kind" "+")
int4
The cow is blue.
("cow" "is" "blue" "+")
int5
The dog does not eat the mouse.
False
7
inv-proof
[(((((((((((triple4) -> rule1) triple3) -> rule4)) -> rule5)) -> rule3)) -> rule2))]
("dog" "eats" "mouse" "-")
((((((((((triple4) -> (rule1 % int5)) triple3) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int1
The dog sees the cow.
("dog" "sees" "cow" "+")
int2
The dog eats the dog.
("dog" "eats" "dog" "+")
int3
The dog is kind.
("dog" "is" "kind" "+")
int4
The cow is blue.
("cow" "is" "blue" "+")
int5
The tiger does not eat the mouse.
Unknown
inv-rconc
[@3: The tiger eats the mouse.[CWA. Example of deepest failure = (rule2 <- rule3 <- rule5 <- FAIL)]]
("tiger" "eats" "mouse" "-")
The tiger sees the cow.
Unknown
rconc
[@2: The tiger sees the cow.[CWA. Example of deepest failure = (rule3 <- rule5 <- FAIL)]]
("tiger" "sees" "cow" "+")
The tiger does not eat the dog.
Unknown
inv-rconc
[@1: The tiger eats the dog.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("tiger" "eats" "dog" "-")
The mouse is red.
Unknown
random
[@0: The mouse is red.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "red" "+")
The cow is not young.
Unknown
inv-random
[@0: The cow is young.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "young" "-")
The tiger chases the cow.
Unknown
random
[@0: The tiger chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "cow" "+")
The tiger does not see the mouse.
Unknown
inv-random
[@0: The tiger sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "mouse" "-")
The cow sees the tiger.
Unknown
random
[@0: The cow sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "tiger" "+")
The dog does not eat the tiger.
Unknown
inv-random
[@0: The dog eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "tiger" "-")
The cow eats the cow.
Unknown
random
[@0: The cow eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "cow" "+")
The cow does not chase the dog.
Unknown
inv-random
[@0: The cow chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "dog" "-")
The mouse chases the dog.
Unknown
random
[@0: The mouse chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "dog" "+")
@0: The cow chases the mouse.[(triple1)] The cow eats the dog.[(triple2)] The cow sees the dog.[(triple3)] The dog chases the cow.[(triple4)] The dog chases the mouse.[(triple5)] The mouse is kind.[(triple6)] The tiger chases the dog.[(triple7)] @1: The cow is blue.[(((triple4) -> rule1))] The cow sees the cow.[(((triple2) -> rule3))] The mouse eats the dog.[(((triple6) -> rule5))] @2: The cow eats the mouse.[(((((triple2) -> rule3)) -> rule2))] The dog is kind.[(((((triple4) -> rule1) triple3) -> rule4))] The mouse sees the cow.[(((((triple6) -> rule5)) -> rule3))] @3: The dog eats the dog.[(((((((triple4) -> rule1) triple3) -> rule4)) -> rule5))] The mouse eats the mouse.[(((((((triple6) -> rule5)) -> rule3)) -> rule2))] @4: The dog sees the cow.[(((((((((triple4) -> rule1) triple3) -> rule4)) -> rule5)) -> rule3))] @5: The dog eats the mouse.[(((((((((((triple4) -> rule1) triple3) -> rule4)) -> rule5)) -> rule3)) -> rule2))]
The cow chases the mouse.
("cow" "chases" "mouse" "+")
triple1
The cow eats the dog.
("cow" "eats" "dog" "+")
triple2
The cow sees the dog.
("cow" "sees" "dog" "+")
triple3
The dog chases the cow.
("dog" "chases" "cow" "+")
triple4
The dog chases the mouse.
("dog" "chases" "mouse" "+")
triple5
The mouse is kind.
("mouse" "is" "kind" "+")
triple6
The tiger chases the dog.
("tiger" "chases" "dog" "+")
triple7
The cow is blue.
("cow" "is" "blue" "+")
((triple4) -> (rule1 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The cow sees the cow.
("cow" "sees" "cow" "+")
((triple2) -> (rule3 % int1))
The cow sees the cow.
("cow" "sees" "cow" "+")
int1
The mouse eats the dog.
("mouse" "eats" "dog" "+")
((triple6) -> (rule5 % int1))
The mouse eats the dog.
("mouse" "eats" "dog" "+")
int1
The cow eats the mouse.
("cow" "eats" "mouse" "+")
((((triple2) -> (rule3 % int2))) -> (rule2 % int1))
The cow eats the mouse.
("cow" "eats" "mouse" "+")
int1
The cow sees the cow.
("cow" "sees" "cow" "+")
int2
The dog is kind.
("dog" "is" "kind" "+")
((((triple4) -> (rule1 % int2)) triple3) -> (rule4 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2
The mouse sees the cow.
("mouse" "sees" "cow" "+")
((((triple6) -> (rule5 % int2))) -> (rule3 % int1))
The mouse sees the cow.
("mouse" "sees" "cow" "+")
int1
The mouse eats the dog.
("mouse" "eats" "dog" "+")
int2
The dog eats the dog.
("dog" "eats" "dog" "+")
((((((triple4) -> (rule1 % int3)) triple3) -> (rule4 % int2))) -> (rule5 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1
The dog is kind.
("dog" "is" "kind" "+")
int2
The cow is blue.
("cow" "is" "blue" "+")
int3
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
((((((triple6) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
The mouse sees the cow.
("mouse" "sees" "cow" "+")
int2
The mouse eats the dog.
("mouse" "eats" "dog" "+")
int3
The dog sees the cow.
("dog" "sees" "cow" "+")
((((((((triple4) -> (rule1 % int4)) triple3) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The dog sees the cow.
("dog" "sees" "cow" "+")
int1
The dog eats the dog.
("dog" "eats" "dog" "+")
int2
The dog is kind.
("dog" "is" "kind" "+")
int3
The cow is blue.
("cow" "is" "blue" "+")
int4
The dog eats the mouse.
("dog" "eats" "mouse" "+")
((((((((((triple4) -> (rule1 % int5)) triple3) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int1
The dog sees the cow.
("dog" "sees" "cow" "+")
int2
The dog eats the dog.
("dog" "eats" "dog" "+")
int3
The dog is kind.
("dog" "is" "kind" "+")
int4
The cow is blue.
("cow" "is" "blue" "+")
int5