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