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