The cat chases the tiger. The cat eats the mouse. The cat is blue. The mouse is blue. The mouse sees the tiger. The squirrel chases the cat. The squirrel eats the mouse. The squirrel eats the tiger. The squirrel is big. The squirrel sees the mouse. The squirrel sees the tiger. The tiger chases the cat. The tiger chases the mouse. The tiger eats the squirrel. The tiger is rough. The tiger sees the squirrel. If something eats the cat then the cat sees the squirrel. If something sees the mouse and it chases the tiger then it is young. If something sees the cat then it eats the squirrel. If something eats the squirrel then the squirrel chases the tiger. If something is young and it chases the mouse then it is rough. If something is kind then it chases the mouse. If something sees the squirrel then it chases the squirrel. If something is young then it eats the cat.
The cat chases the tiger.
("cat" "chases" "tiger" "+")
The cat eats the mouse.
("cat" "eats" "mouse" "+")
The cat is blue.
("cat" "is" "blue" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel sees the mouse.
("squirrel" "sees" "mouse" "+")
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
The tiger chases the cat.
("tiger" "chases" "cat" "+")
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
If something eats the cat then the cat sees the squirrel.
((("something" "eats" "cat" "+")) -> ("cat" "sees" "squirrel" "+"))
If something sees the mouse and it chases the tiger then it is young.
((("something" "sees" "mouse" "+") ("something" "chases" "tiger" "+")) -> ("something" "is" "young" "+"))
If something sees the cat then it eats the squirrel.
((("something" "sees" "cat" "+")) -> ("something" "eats" "squirrel" "+"))
If something eats the squirrel then the squirrel chases the tiger.
((("something" "eats" "squirrel" "+")) -> ("squirrel" "chases" "tiger" "+"))
If something is young and it chases the mouse then it is rough.
((("something" "is" "young" "+") ("something" "chases" "mouse" "+")) -> ("something" "is" "rough" "+"))
If something is kind then it chases the mouse.
((("something" "is" "kind" "+")) -> ("something" "chases" "mouse" "+"))
If something sees the squirrel then it chases the squirrel.
((("something" "sees" "squirrel" "+")) -> ("something" "chases" "squirrel" "+"))
If something is young then it eats the cat.
((("something" "is" "young" "+")) -> ("something" "eats" "cat" "+"))
The tiger chases the mouse.
True
1
proof
[(triple13)]
("tiger" "chases" "mouse" "+")
triple13
The tiger does not see the squirrel.
False
1
inv-proof
[(triple16)]
("tiger" "sees" "squirrel" "-")
triple16
The tiger chases the squirrel.
True
2
proof
[(((triple16) -> rule7))]
("tiger" "chases" "squirrel" "+")
((triple16) -> (rule7 % int1))
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
int1
The tiger does not chase the squirrel.
False
2
inv-proof
[(((triple16) -> rule7))]
("tiger" "chases" "squirrel" "-")
((triple16) -> (rule7 % int1))
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
int1
The squirrel is young.
True
4
proof
[(((triple10 ((triple14) -> rule4)) -> rule2))]
("squirrel" "is" "young" "+")
((triple10 ((triple14) -> (rule4 % int2))) -> (rule2 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
int2
The squirrel is not young.
False
4
inv-proof
[(((triple10 ((triple14) -> rule4)) -> rule2))]
("squirrel" "is" "young" "-")
((triple10 ((triple14) -> (rule4 % int2))) -> (rule2 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
int2
The squirrel eats the cat.
True
5
proof
[(((((triple10 ((triple14) -> rule4)) -> rule2)) -> rule8))]
("squirrel" "eats" "cat" "+")
((((triple10 ((triple14) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
int2
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
int3
The squirrel does not eat the cat.
False
5
inv-proof
[(((((triple10 ((triple14) -> rule4)) -> rule2)) -> rule8))]
("squirrel" "eats" "cat" "-")
((((triple10 ((triple14) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
int2
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
int3
The cat sees the squirrel.
True
6
proof
[(((((((triple10 ((triple14) -> rule4)) -> rule2)) -> rule8)) -> rule1))]
("cat" "sees" "squirrel" "+")
((((((triple10 ((triple14) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
int1
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
int2
The squirrel is young.
("squirrel" "is" "young" "+")
int3
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
int4
The cat does not see the squirrel.
False
6
inv-proof
[(((((((triple10 ((triple14) -> rule4)) -> rule2)) -> rule8)) -> rule1))]
("cat" "sees" "squirrel" "-")
((((((triple10 ((triple14) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
int1
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
int2
The squirrel is young.
("squirrel" "is" "young" "+")
int3
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
int4
The cat chases the squirrel.
True
7
proof
[(((((((((triple10 ((triple14) -> rule4)) -> rule2)) -> rule8)) -> rule1)) -> rule7))]
("cat" "chases" "squirrel" "+")
((((((((triple10 ((triple14) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
int1
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
int2
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
int3
The squirrel is young.
("squirrel" "is" "young" "+")
int4
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
int5
The cat does not chase the squirrel.
False
7
inv-proof
[(((((((((triple10 ((triple14) -> rule4)) -> rule2)) -> rule8)) -> rule1)) -> rule7))]
("cat" "chases" "squirrel" "-")
((((((((triple10 ((triple14) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
int1
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
int2
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
int3
The squirrel is young.
("squirrel" "is" "young" "+")
int4
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
int5
The squirrel is not rough.
Unknown
inv-rconc
[@2: The squirrel is rough.[CWA. Example of deepest failure = (rule5 <- rule6 <- FAIL)]]
("squirrel" "is" "rough" "-")
The squirrel eats the squirrel.
Unknown
rconc
[@1: The squirrel eats the squirrel.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "eats" "squirrel" "+")
The mouse does not chase the mouse.
Unknown
inv-rconc
[@1: The mouse chases the mouse.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("mouse" "chases" "mouse" "-")
The mouse chases the squirrel.
Unknown
rconc
[@1: The mouse chases the squirrel.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("mouse" "chases" "squirrel" "+")
The tiger does not eat the cat.
Unknown
inv-rconc
[@2: The tiger eats the cat.[CWA. Example of deepest failure = (rule8 <- rule2 <- FAIL)]]
("tiger" "eats" "cat" "-")
The cat is rough.
Unknown
rconc
[@2: The cat is rough.[CWA. Example of deepest failure = (rule5 <- rule2 <- FAIL)]]
("cat" "is" "rough" "+")
The tiger does not chase the tiger.
Unknown
inv-random
[@0: The tiger chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "tiger" "-")
The cat sees the mouse.
Unknown
random
[@0: The cat sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "mouse" "+")
The cat does not eat the tiger.
Unknown
inv-random
[@0: The cat eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "tiger" "-")
The mouse sees the squirrel.
Unknown
random
[@0: The mouse sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "squirrel" "+")
The mouse does not chase the cat.
Unknown
inv-random
[@0: The mouse chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "cat" "-")
The tiger eats the tiger.
Unknown
random
[@0: The tiger eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "tiger" "+")
@0: The cat chases the tiger.[(triple1)] The cat eats the mouse.[(triple2)] The cat is blue.[(triple3)] The mouse is blue.[(triple4)] The mouse sees the tiger.[(triple5)] The squirrel chases the cat.[(triple6)] The squirrel eats the mouse.[(triple7)] The squirrel eats the tiger.[(triple8)] The squirrel is big.[(triple9)] The squirrel sees the mouse.[(triple10)] The squirrel sees the tiger.[(triple11)] The tiger chases the cat.[(triple12)] The tiger chases the mouse.[(triple13)] The tiger eats the squirrel.[(triple14)] The tiger is rough.[(triple15)] The tiger sees the squirrel.[(triple16)] @1: The squirrel chases the tiger.[(((triple14) -> rule4))] The tiger chases the squirrel.[(((triple16) -> rule7))] @2: The squirrel is young.[(((triple10 ((triple14) -> rule4)) -> rule2))] @3: The squirrel eats the cat.[(((((triple10 ((triple14) -> rule4)) -> rule2)) -> rule8))] @4: The cat sees the squirrel.[(((((((triple10 ((triple14) -> rule4)) -> rule2)) -> rule8)) -> rule1))] @5: The cat chases the squirrel.[(((((((((triple10 ((triple14) -> rule4)) -> rule2)) -> rule8)) -> rule1)) -> rule7))]
The cat chases the tiger.
("cat" "chases" "tiger" "+")
triple1
The cat eats the mouse.
("cat" "eats" "mouse" "+")
triple2
The cat is blue.
("cat" "is" "blue" "+")
triple3
The mouse is blue.
("mouse" "is" "blue" "+")
triple4
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
triple5
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
triple6
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
triple7
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
triple8
The squirrel is big.
("squirrel" "is" "big" "+")
triple9
The squirrel sees the mouse.
("squirrel" "sees" "mouse" "+")
triple10
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
triple11
The tiger chases the cat.
("tiger" "chases" "cat" "+")
triple12
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
triple13
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
triple14
The tiger is rough.
("tiger" "is" "rough" "+")
triple15
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
triple16
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
((triple14) -> (rule4 % int1))
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
int1
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
((triple16) -> (rule7 % int1))
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
((triple10 ((triple14) -> (rule4 % int2))) -> (rule2 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
int2
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
((((triple10 ((triple14) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
int2
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
int3
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
((((((triple10 ((triple14) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
int1
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
int2
The squirrel is young.
("squirrel" "is" "young" "+")
int3
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
int4
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
((((((((triple10 ((triple14) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
int1
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
int2
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
int3
The squirrel is young.
("squirrel" "is" "young" "+")
int4
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
int5