The cat chases the squirrel. The dog chases the squirrel. The squirrel eats the cat. The tiger eats the squirrel. If something is green and it chases the tiger then the tiger chases the squirrel. If something eats the squirrel then it is green. If something likes the cat then it eats the squirrel. If something eats the squirrel then the squirrel chases the tiger. If something chases the squirrel then the squirrel chases the cat. If something chases the cat then it likes the cat.
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
If something is green and it chases the tiger then the tiger chases the squirrel.
((("something" "is" "green" "+") ("something" "chases" "tiger" "+")) -> ("tiger" "chases" "squirrel" "+"))
If something eats the squirrel then it is green.
((("something" "eats" "squirrel" "+")) -> ("something" "is" "green" "+"))
If something likes the cat then it eats the squirrel.
((("something" "likes" "cat" "+")) -> ("something" "eats" "squirrel" "+"))
If something eats the squirrel then the squirrel chases the tiger.
((("something" "eats" "squirrel" "+")) -> ("squirrel" "chases" "tiger" "+"))
If something chases the squirrel then the squirrel chases the cat.
((("something" "chases" "squirrel" "+")) -> ("squirrel" "chases" "cat" "+"))
If something chases the cat then it likes the cat.
((("something" "chases" "cat" "+")) -> ("something" "likes" "cat" "+"))
The tiger eats the squirrel.
True
1
proof
[(triple4)]
("tiger" "eats" "squirrel" "+")
triple4
The squirrel does not eat the cat.
False
1
inv-proof
[(triple3)]
("squirrel" "eats" "cat" "-")
triple3
The squirrel chases the cat.
True
2
proof
[(((triple1) -> rule5) OR ((triple2) -> rule5))]
("squirrel" "chases" "cat" "+")
((triple1) -> (rule5 % int1))
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
int1
((triple2) -> (rule5 % int1))
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
int1
The tiger is not green.
False
2
inv-proof
[(((triple4) -> rule2))]
("tiger" "is" "green" "-")
((triple4) -> (rule2 % int1))
The tiger is green.
("tiger" "is" "green" "+")
int1
The squirrel likes the cat.
True
3
proof
[(((((triple1) -> rule5)) -> rule6) OR ((((triple2) -> rule5)) -> rule6))]
("squirrel" "likes" "cat" "+")
((((triple1) -> (rule5 % int2))) -> (rule6 % int1))
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
int1
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
int2
((((triple2) -> (rule5 % int2))) -> (rule6 % int1))
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
int1
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
int2
The squirrel does not like the cat.
False
3
inv-proof
[(((((triple1) -> rule5)) -> rule6) OR ((((triple2) -> rule5)) -> rule6))]
("squirrel" "likes" "cat" "-")
((((triple1) -> (rule5 % int2))) -> (rule6 % int1))
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
int1
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
int2
((((triple2) -> (rule5 % int2))) -> (rule6 % int1))
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
int1
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
int2
The squirrel eats the squirrel.
True
4
proof
[(((((((triple1) -> rule5)) -> rule6)) -> rule3) OR ((((((triple2) -> rule5)) -> rule6)) -> rule3))]
("squirrel" "eats" "squirrel" "+")
((((((triple1) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
int2
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
int3
((((((triple2) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
int2
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
int3
The squirrel does not eat the squirrel.
False
4
inv-proof
[(((((((triple1) -> rule5)) -> rule6)) -> rule3) OR ((((((triple2) -> rule5)) -> rule6)) -> rule3))]
("squirrel" "eats" "squirrel" "-")
((((((triple1) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
int2
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
int3
((((((triple2) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
int2
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
int3
The cat does not eat the squirrel.
Unknown
inv-rconc
[@2: The cat eats the squirrel.[CWA. Example of deepest failure = (rule3 <- rule6 <- FAIL)]]
("cat" "eats" "squirrel" "-")
The dog eats the squirrel.
Unknown
rconc
[@2: The dog eats the squirrel.[CWA. Example of deepest failure = (rule3 <- rule6 <- FAIL)]]
("dog" "eats" "squirrel" "+")
The cat is not green.
Unknown
inv-rconc
[@3: The cat is green.[CWA. Example of deepest failure = (rule2 <- rule3 <- rule6 <- FAIL)]]
("cat" "is" "green" "-")
The dog is green.
Unknown
rconc
[@3: The dog is green.[CWA. Example of deepest failure = (rule2 <- rule3 <- rule6 <- FAIL)]]
("dog" "is" "green" "+")
The cat does not eat the dog.
Unknown
inv-random
[@0: The cat eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "dog" "-")
The squirrel is red.
Unknown
random
[@0: The squirrel is red.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "red" "+")
The tiger does not like the dog.
Unknown
inv-random
[@0: The tiger likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "dog" "-")
The dog is red.
Unknown
random
[@0: The dog is red.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "red" "+")
@0: The cat chases the squirrel.[(triple1)] The dog chases the squirrel.[(triple2)] The squirrel eats the cat.[(triple3)] The tiger eats the squirrel.[(triple4)] @1: The squirrel chases the cat.[(((triple1) -> rule5) OR ((triple2) -> rule5))] The squirrel chases the tiger.[(((triple4) -> rule4) OR ((((((((triple1) -> rule5)) -> rule6)) -> rule3)) -> rule4) OR ((((((((triple2) -> rule5)) -> rule6)) -> rule3)) -> rule4))] The tiger is green.[(((triple4) -> rule2))] @2: The squirrel likes the cat.[(((((triple1) -> rule5)) -> rule6) OR ((((triple2) -> rule5)) -> rule6))] @3: The squirrel eats the squirrel.[(((((((triple1) -> rule5)) -> rule6)) -> rule3) OR ((((((triple2) -> rule5)) -> rule6)) -> rule3))] @4: The squirrel is green.[(((((((((triple1) -> rule5)) -> rule6)) -> rule3)) -> rule2) OR ((((((((triple2) -> rule5)) -> rule6)) -> rule3)) -> rule2))] @5: The tiger chases the squirrel.[(((((((((((triple1) -> rule5)) -> rule6)) -> rule3)) -> rule2) ((triple4) -> rule4)) -> rule1) OR ((((((((((triple2) -> rule5)) -> rule6)) -> rule3)) -> rule2) ((triple4) -> rule4)) -> rule1) OR ((((((((((triple1) -> rule5)) -> rule6)) -> rule3)) -> rule2) ((((((((triple1) -> rule5)) -> rule6)) -> rule3)) -> rule4)) -> rule1) OR ((((((((((triple1) -> rule5)) -> rule6)) -> rule3)) -> rule2) ((((((((triple2) -> rule5)) -> rule6)) -> rule3)) -> rule4)) -> rule1) OR ((((((((((triple2) -> rule5)) -> rule6)) -> rule3)) -> rule2) ((((((((triple1) -> rule5)) -> rule6)) -> rule3)) -> rule4)) -> rule1) OR ((((((((((triple2) -> rule5)) -> rule6)) -> rule3)) -> rule2) ((((((((triple2) -> rule5)) -> rule6)) -> rule3)) -> rule4)) -> rule1))]
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
triple1
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
triple2
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
triple3
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
triple4
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
((triple1) -> (rule5 % int1))
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
int1
((triple2) -> (rule5 % int1))
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
int1
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
((triple4) -> (rule4 % int1))
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
int1
((((((((triple1) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
int1
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int2
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
int3
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
int4
((((((((triple2) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
int1
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int2
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
int3
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
int4
The tiger is green.
("tiger" "is" "green" "+")
((triple4) -> (rule2 % int1))
The tiger is green.
("tiger" "is" "green" "+")
int1
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
((((triple1) -> (rule5 % int2))) -> (rule6 % int1))
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
int1
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
int2
((((triple2) -> (rule5 % int2))) -> (rule6 % int1))
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
int1
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
int2
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
((((((triple1) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
int2
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
int3
((((((triple2) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
int2
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
int3
The squirrel is green.
("squirrel" "is" "green" "+")
((((((((triple1) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int2
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
int3
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
int4
((((((((triple2) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int2
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
int3
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
int4
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
((((((((((triple1) -> (rule5 % int6))) -> (rule6 % int5))) -> (rule3 % int4))) -> (rule2 % int3)) ((triple4) -> (rule4 % int2))) -> (rule1 % int1))
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
int1
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
int2
The squirrel is green.
("squirrel" "is" "green" "+")
int3
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int4
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
int5
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
int6
((((((((((triple2) -> (rule5 % int6))) -> (rule6 % int5))) -> (rule3 % int4))) -> (rule2 % int3)) ((triple4) -> (rule4 % int2))) -> (rule1 % int1))
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
int1
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
int2
The squirrel is green.
("squirrel" "is" "green" "+")
int3
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int4
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
int5
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
int6
((((((((((triple1) -> (rule5 % int6))) -> (rule6 % int5))) -> (rule3 % int4))) -> (rule2 % int3)) ((((((((triple1) -> (rule5 % int6))) -> (rule6 % int5))) -> (rule3 % int4))) -> (rule4 % int2))) -> (rule1 % int1))
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
int1
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
int2
The squirrel is green.
("squirrel" "is" "green" "+")
int3
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int4
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
int5
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
int6
((((((((((triple1) -> (rule5 % int6))) -> (rule6 % int5))) -> (rule3 % int4))) -> (rule2 % int3)) ((((((((triple2) -> (rule5 % int6))) -> (rule6 % int5))) -> (rule3 % int4))) -> (rule4 % int2))) -> (rule1 % int1))
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
int1
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
int2
The squirrel is green.
("squirrel" "is" "green" "+")
int3
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int4
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
int5
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
int6
((((((((((triple2) -> (rule5 % int6))) -> (rule6 % int5))) -> (rule3 % int4))) -> (rule2 % int3)) ((((((((triple1) -> (rule5 % int6))) -> (rule6 % int5))) -> (rule3 % int4))) -> (rule4 % int2))) -> (rule1 % int1))
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
int1
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
int2
The squirrel is green.
("squirrel" "is" "green" "+")
int3
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int4
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
int5
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
int6
((((((((((triple2) -> (rule5 % int6))) -> (rule6 % int5))) -> (rule3 % int4))) -> (rule2 % int3)) ((((((((triple2) -> (rule5 % int6))) -> (rule6 % int5))) -> (rule3 % int4))) -> (rule4 % int2))) -> (rule1 % int1))
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
int1
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
int2
The squirrel is green.
("squirrel" "is" "green" "+")
int3
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int4
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
int5
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
int6