The bear chases the cat. The bear chases the squirrel. The bear eats the cow. The bear is round. The bear likes the cat. The cat does not eat the bear. The cat likes the bear. The cow eats the bear. The cow likes the cat. The squirrel eats the cow. The squirrel is green. If someone is green then they eat the cat. If someone chases the cow and they are not big then they eat the cat. If someone eats the cat and the cat chases the bear then the cat chases the squirrel. If someone is round then they chase the bear. If someone likes the cow and they do not eat the squirrel then the squirrel does not chase the cow. If someone eats the bear and the bear is big then they are rough. If the squirrel chases the bear and the bear does not chase the squirrel then the bear chases the cow. If someone chases the squirrel then they are green. If someone eats the cat then the cat is round.
The bear chases the cat.
("bear" "chases" "cat" "+")
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
The bear eats the cow.
("bear" "eats" "cow" "+")
The bear is round.
("bear" "is" "round" "+")
The bear likes the cat.
("bear" "likes" "cat" "+")
The cat does not eat the bear.
("cat" "eats" "bear" "-")
The cat likes the bear.
("cat" "likes" "bear" "+")
The cow eats the bear.
("cow" "eats" "bear" "+")
The cow likes the cat.
("cow" "likes" "cat" "+")
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
If someone is green then they eat the cat.
((("someone" "is" "green" "+")) -> ("someone" "eats" "cat" "+"))
If someone chases the cow and they are not big then they eat the cat.
((("someone" "chases" "cow" "+") ("someone" "is" "big" "~")) -> ("someone" "eats" "cat" "+"))
If someone eats the cat and the cat chases the bear then the cat chases the squirrel.
((("someone" "eats" "cat" "+") ("cat" "chases" "bear" "+")) -> ("cat" "chases" "squirrel" "+"))
If someone is round then they chase the bear.
((("someone" "is" "round" "+")) -> ("someone" "chases" "bear" "+"))
If someone likes the cow and they do not eat the squirrel then the squirrel does not chase the cow.
((("someone" "likes" "cow" "+") ("someone" "eats" "squirrel" "~")) -> ("squirrel" "chases" "cow" "-"))
If someone eats the bear and the bear is big then they are rough.
((("someone" "eats" "bear" "+") ("bear" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If the squirrel chases the bear and the bear does not chase the squirrel then the bear chases the cow.
((("squirrel" "chases" "bear" "+") ("bear" "chases" "squirrel" "~")) -> ("bear" "chases" "cow" "+"))
If someone chases the squirrel then they are green.
((("someone" "chases" "squirrel" "+")) -> ("someone" "is" "green" "+"))
If someone eats the cat then the cat is round.
((("someone" "eats" "cat" "+")) -> ("cat" "is" "round" "+"))
The cat does not eat the bear.
True
1
proof
[(triple6)]
("cat" "eats" "bear" "-")
triple6
The cat eats the bear.
False
1
inv-proof
[(triple6)]
("cat" "eats" "bear" "+")
triple6
The bear is green.
True
2
proof
[(((triple2) -> rule8))]
("bear" "is" "green" "+")
((triple2) -> (rule8 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The squirrel does not eat the cat.
False
2
inv-proof
[(((triple11) -> rule1))]
("squirrel" "eats" "cat" "-")
((triple11) -> (rule1 % int1))
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
int1
The cat is round.
True
3
proof
[(((((triple11) -> rule1)) -> rule9) OR ((((((triple2) -> rule8)) -> rule1)) -> rule9))]
("cat" "is" "round" "+")
((((triple11) -> (rule1 % int2))) -> (rule9 % int1))
The cat is round.
("cat" "is" "round" "+")
int1
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
int2
((((((triple2) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule9 % int1))
The cat is round.
("cat" "is" "round" "+")
int1
The bear eats the cat.
("bear" "eats" "cat" "+")
int2
The bear is green.
("bear" "is" "green" "+")
int3
The cat is not round.
False
3
inv-proof
[(((((triple11) -> rule1)) -> rule9) OR ((((((triple2) -> rule8)) -> rule1)) -> rule9))]
("cat" "is" "round" "-")
((((triple11) -> (rule1 % int2))) -> (rule9 % int1))
The cat is round.
("cat" "is" "round" "+")
int1
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
int2
((((((triple2) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule9 % int1))
The cat is round.
("cat" "is" "round" "+")
int1
The bear eats the cat.
("bear" "eats" "cat" "+")
int2
The bear is green.
("bear" "is" "green" "+")
int3
The cat chases the bear.
True
4
proof
[(((((((triple11) -> rule1)) -> rule9)) -> rule4) OR ((((((((triple2) -> rule8)) -> rule1)) -> rule9)) -> rule4))]
("cat" "chases" "bear" "+")
((((((triple11) -> (rule1 % int3))) -> (rule9 % int2))) -> (rule4 % int1))
The cat chases the bear.
("cat" "chases" "bear" "+")
int1
The cat is round.
("cat" "is" "round" "+")
int2
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
int3
((((((((triple2) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule9 % int2))) -> (rule4 % int1))
The cat chases the bear.
("cat" "chases" "bear" "+")
int1
The cat is round.
("cat" "is" "round" "+")
int2
The bear eats the cat.
("bear" "eats" "cat" "+")
int3
The bear is green.
("bear" "is" "green" "+")
int4
The cat does not chase the bear.
False
4
inv-proof
[(((((((triple11) -> rule1)) -> rule9)) -> rule4) OR ((((((((triple2) -> rule8)) -> rule1)) -> rule9)) -> rule4))]
("cat" "chases" "bear" "-")
((((((triple11) -> (rule1 % int3))) -> (rule9 % int2))) -> (rule4 % int1))
The cat chases the bear.
("cat" "chases" "bear" "+")
int1
The cat is round.
("cat" "is" "round" "+")
int2
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
int3
((((((((triple2) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule9 % int2))) -> (rule4 % int1))
The cat chases the bear.
("cat" "chases" "bear" "+")
int1
The cat is round.
("cat" "is" "round" "+")
int2
The bear eats the cat.
("bear" "eats" "cat" "+")
int3
The bear is green.
("bear" "is" "green" "+")
int4
The cat chases the squirrel.
True
7
proof
[(((((triple11) -> rule1) ((((((triple11) -> rule1)) -> rule9)) -> rule4)) -> rule3) OR ((((((triple2) -> rule8)) -> rule1) ((((((triple11) -> rule1)) -> rule9)) -> rule4)) -> rule3) OR ((((triple11) -> rule1) ((((((((triple2) -> rule8)) -> rule1)) -> rule9)) -> rule4)) -> rule3) OR ((((((triple2) -> rule8)) -> rule1) ((((((((triple2) -> rule8)) -> rule1)) -> rule9)) -> rule4)) -> rule3))]
("cat" "chases" "squirrel" "+")
((((triple11) -> (rule1 % int4)) ((((((triple11) -> (rule1 % int4))) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
int1
The cat chases the bear.
("cat" "chases" "bear" "+")
int2
The cat is round.
("cat" "is" "round" "+")
int3
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
int4
((((((triple2) -> (rule8 % int6))) -> (rule1 % int5)) ((((((triple11) -> (rule1 % int4))) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
int1
The cat chases the bear.
("cat" "chases" "bear" "+")
int2
The cat is round.
("cat" "is" "round" "+")
int3
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
int4
The bear eats the cat.
("bear" "eats" "cat" "+")
int5
The bear is green.
("bear" "is" "green" "+")
int6
((((triple11) -> (rule1 % int6)) ((((((((triple2) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
int1
The cat chases the bear.
("cat" "chases" "bear" "+")
int2
The cat is round.
("cat" "is" "round" "+")
int3
The bear eats the cat.
("bear" "eats" "cat" "+")
int4
The bear is green.
("bear" "is" "green" "+")
int5
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
int6
((((((triple2) -> (rule8 % int5))) -> (rule1 % int4)) ((((((((triple2) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
int1
The cat chases the bear.
("cat" "chases" "bear" "+")
int2
The cat is round.
("cat" "is" "round" "+")
int3
The bear eats the cat.
("bear" "eats" "cat" "+")
int4
The bear is green.
("bear" "is" "green" "+")
int5
The cat does not chase the squirrel.
False
7
inv-proof
[(((((triple11) -> rule1) ((((((triple11) -> rule1)) -> rule9)) -> rule4)) -> rule3) OR ((((((triple2) -> rule8)) -> rule1) ((((((triple11) -> rule1)) -> rule9)) -> rule4)) -> rule3) OR ((((triple11) -> rule1) ((((((((triple2) -> rule8)) -> rule1)) -> rule9)) -> rule4)) -> rule3) OR ((((((triple2) -> rule8)) -> rule1) ((((((((triple2) -> rule8)) -> rule1)) -> rule9)) -> rule4)) -> rule3))]
("cat" "chases" "squirrel" "-")
((((triple11) -> (rule1 % int4)) ((((((triple11) -> (rule1 % int4))) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
int1
The cat chases the bear.
("cat" "chases" "bear" "+")
int2
The cat is round.
("cat" "is" "round" "+")
int3
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
int4
((((((triple2) -> (rule8 % int6))) -> (rule1 % int5)) ((((((triple11) -> (rule1 % int4))) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
int1
The cat chases the bear.
("cat" "chases" "bear" "+")
int2
The cat is round.
("cat" "is" "round" "+")
int3
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
int4
The bear eats the cat.
("bear" "eats" "cat" "+")
int5
The bear is green.
("bear" "is" "green" "+")
int6
((((triple11) -> (rule1 % int6)) ((((((((triple2) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
int1
The cat chases the bear.
("cat" "chases" "bear" "+")
int2
The cat is round.
("cat" "is" "round" "+")
int3
The bear eats the cat.
("bear" "eats" "cat" "+")
int4
The bear is green.
("bear" "is" "green" "+")
int5
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
int6
((((((triple2) -> (rule8 % int5))) -> (rule1 % int4)) ((((((((triple2) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
int1
The cat chases the bear.
("cat" "chases" "bear" "+")
int2
The cat is round.
("cat" "is" "round" "+")
int3
The bear eats the cat.
("bear" "eats" "cat" "+")
int4
The bear is green.
("bear" "is" "green" "+")
int5
The cat is green.
True
8
proof
[(((((((triple11) -> rule1) ((((((triple11) -> rule1)) -> rule9)) -> rule4)) -> rule3)) -> rule8) OR ((((((((triple2) -> rule8)) -> rule1) ((((((triple11) -> rule1)) -> rule9)) -> rule4)) -> rule3)) -> rule8) OR ((((((triple11) -> rule1) ((((((((triple2) -> rule8)) -> rule1)) -> rule9)) -> rule4)) -> rule3)) -> rule8) OR ((((((((triple2) -> rule8)) -> rule1) ((((((((triple2) -> rule8)) -> rule1)) -> rule9)) -> rule4)) -> rule3)) -> rule8))]
("cat" "is" "green" "+")
((((((triple11) -> (rule1 % int5)) ((((((triple11) -> (rule1 % int5))) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
int2
The cat chases the bear.
("cat" "chases" "bear" "+")
int3
The cat is round.
("cat" "is" "round" "+")
int4
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
int5
((((((((triple2) -> (rule8 % int7))) -> (rule1 % int6)) ((((((triple11) -> (rule1 % int5))) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
int2
The cat chases the bear.
("cat" "chases" "bear" "+")
int3
The cat is round.
("cat" "is" "round" "+")
int4
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
int5
The bear eats the cat.
("bear" "eats" "cat" "+")
int6
The bear is green.
("bear" "is" "green" "+")
int7
((((((triple11) -> (rule1 % int7)) ((((((((triple2) -> (rule8 % int6))) -> (rule1 % int5))) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
int2
The cat chases the bear.
("cat" "chases" "bear" "+")
int3
The cat is round.
("cat" "is" "round" "+")
int4
The bear eats the cat.
("bear" "eats" "cat" "+")
int5
The bear is green.
("bear" "is" "green" "+")
int6
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
int7
((((((((triple2) -> (rule8 % int6))) -> (rule1 % int5)) ((((((((triple2) -> (rule8 % int6))) -> (rule1 % int5))) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
int2
The cat chases the bear.
("cat" "chases" "bear" "+")
int3
The cat is round.
("cat" "is" "round" "+")
int4
The bear eats the cat.
("bear" "eats" "cat" "+")
int5
The bear is green.
("bear" "is" "green" "+")
int6
The cat is not green.
False
8
inv-proof
[(((((((triple11) -> rule1) ((((((triple11) -> rule1)) -> rule9)) -> rule4)) -> rule3)) -> rule8) OR ((((((((triple2) -> rule8)) -> rule1) ((((((triple11) -> rule1)) -> rule9)) -> rule4)) -> rule3)) -> rule8) OR ((((((triple11) -> rule1) ((((((((triple2) -> rule8)) -> rule1)) -> rule9)) -> rule4)) -> rule3)) -> rule8) OR ((((((((triple2) -> rule8)) -> rule1) ((((((((triple2) -> rule8)) -> rule1)) -> rule9)) -> rule4)) -> rule3)) -> rule8))]
("cat" "is" "green" "-")
((((((triple11) -> (rule1 % int5)) ((((((triple11) -> (rule1 % int5))) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
int2
The cat chases the bear.
("cat" "chases" "bear" "+")
int3
The cat is round.
("cat" "is" "round" "+")
int4
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
int5
((((((((triple2) -> (rule8 % int7))) -> (rule1 % int6)) ((((((triple11) -> (rule1 % int5))) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
int2
The cat chases the bear.
("cat" "chases" "bear" "+")
int3
The cat is round.
("cat" "is" "round" "+")
int4
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
int5
The bear eats the cat.
("bear" "eats" "cat" "+")
int6
The bear is green.
("bear" "is" "green" "+")
int7
((((((triple11) -> (rule1 % int7)) ((((((((triple2) -> (rule8 % int6))) -> (rule1 % int5))) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
int2
The cat chases the bear.
("cat" "chases" "bear" "+")
int3
The cat is round.
("cat" "is" "round" "+")
int4
The bear eats the cat.
("bear" "eats" "cat" "+")
int5
The bear is green.
("bear" "is" "green" "+")
int6
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
int7
((((((((triple2) -> (rule8 % int6))) -> (rule1 % int5)) ((((((((triple2) -> (rule8 % int6))) -> (rule1 % int5))) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
int2
The cat chases the bear.
("cat" "chases" "bear" "+")
int3
The cat is round.
("cat" "is" "round" "+")
int4
The bear eats the cat.
("bear" "eats" "cat" "+")
int5
The bear is green.
("bear" "is" "green" "+")
int6
The cow is not rough.
Unknown
inv-rconc
[@1: The cow is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cow" "is" "rough" "-")
The cow chases the bear.
Unknown
rconc
[@1: The cow chases the bear.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cow" "chases" "bear" "+")
The cat is not rough.
Unknown
inv-rconc
[@1: The cat is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cat" "is" "rough" "-")
The bear is rough.
Unknown
rconc
[@1: The bear is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bear" "is" "rough" "+")
The cow does not eat the cat.
Unknown
inv-rconc
[@2: The cow eats the cat.[CWA. Example of deepest failure = (rule1 <- rule8 <- FAIL)]]
("cow" "eats" "cat" "-")
The squirrel chases the bear.
Unknown
rconc
[@1: The squirrel chases the bear.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("squirrel" "chases" "bear" "+")
The squirrel does not chase the squirrel.
Unknown
inv-random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "-")
The bear is young.
Unknown
random
[@0: The bear is young.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "young" "+")
The cow is not round.
Unknown
inv-random
[@0: The cow is round.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "round" "-")
The cow likes the bear.
Unknown
random
[@0: The cow likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "bear" "+")
The cow does not eat the cow.
Unknown
inv-random
[@0: The cow eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "cow" "-")
The cat eats the squirrel.
Unknown
random
[@0: The cat eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "squirrel" "+")
@0: The bear chases the cat.[(triple1)] The bear chases the squirrel.[(triple2)] The bear eats the cow.[(triple3)] The bear is round.[(triple4)] The bear likes the cat.[(triple5)] The cat does not eat the bear.[(triple6)] The cat likes the bear.[(triple7)] The cow eats the bear.[(triple8)] The cow likes the cat.[(triple9)] The squirrel eats the cow.[(triple10)] The squirrel is green.[(triple11)] @1: The bear chases the bear.[(((triple4) -> rule4))] The bear is green.[(((triple2) -> rule8))] The squirrel eats the cat.[(((triple11) -> rule1))] @2: The bear eats the cat.[(((((triple2) -> rule8)) -> rule1))] The cat is round.[(((((triple11) -> rule1)) -> rule9) OR ((((((triple2) -> rule8)) -> rule1)) -> rule9))] @3: The cat chases the bear.[(((((((triple11) -> rule1)) -> rule9)) -> rule4) OR ((((((((triple2) -> rule8)) -> rule1)) -> rule9)) -> rule4))] @4: The cat chases the squirrel.[(((((triple11) -> rule1) ((((((triple11) -> rule1)) -> rule9)) -> rule4)) -> rule3) OR ((((((triple2) -> rule8)) -> rule1) ((((((triple11) -> rule1)) -> rule9)) -> rule4)) -> rule3) OR ((((triple11) -> rule1) ((((((((triple2) -> rule8)) -> rule1)) -> rule9)) -> rule4)) -> rule3) OR ((((((triple2) -> rule8)) -> rule1) ((((((((triple2) -> rule8)) -> rule1)) -> rule9)) -> rule4)) -> rule3))] @5: The cat is green.[(((((((triple11) -> rule1) ((((((triple11) -> rule1)) -> rule9)) -> rule4)) -> rule3)) -> rule8) OR ((((((((triple2) -> rule8)) -> rule1) ((((((triple11) -> rule1)) -> rule9)) -> rule4)) -> rule3)) -> rule8) OR ((((((triple11) -> rule1) ((((((((triple2) -> rule8)) -> rule1)) -> rule9)) -> rule4)) -> rule3)) -> rule8) OR ((((((((triple2) -> rule8)) -> rule1) ((((((((triple2) -> rule8)) -> rule1)) -> rule9)) -> rule4)) -> rule3)) -> rule8))] @6: The cat eats the cat.[(((((((((triple11) -> rule1) ((((((triple11) -> rule1)) -> rule9)) -> rule4)) -> rule3)) -> rule8)) -> rule1) OR ((((((((((triple2) -> rule8)) -> rule1) ((((((triple11) -> rule1)) -> rule9)) -> rule4)) -> rule3)) -> rule8)) -> rule1) OR ((((((((triple11) -> rule1) ((((((((triple2) -> rule8)) -> rule1)) -> rule9)) -> rule4)) -> rule3)) -> rule8)) -> rule1) OR ((((((((((triple2) -> rule8)) -> rule1) ((((((((triple2) -> rule8)) -> rule1)) -> rule9)) -> rule4)) -> rule3)) -> rule8)) -> rule1))]
The bear chases the cat.
("bear" "chases" "cat" "+")
triple1
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
triple2
The bear eats the cow.
("bear" "eats" "cow" "+")
triple3
The bear is round.
("bear" "is" "round" "+")
triple4
The bear likes the cat.
("bear" "likes" "cat" "+")
triple5
The cat does not eat the bear.
("cat" "eats" "bear" "-")
triple6
The cat likes the bear.
("cat" "likes" "bear" "+")
triple7
The cow eats the bear.
("cow" "eats" "bear" "+")
triple8
The cow likes the cat.
("cow" "likes" "cat" "+")
triple9
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
triple10
The squirrel is green.
("squirrel" "is" "green" "+")
triple11
The bear chases the bear.
("bear" "chases" "bear" "+")
((triple4) -> (rule4 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is green.
("bear" "is" "green" "+")
((triple2) -> (rule8 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
((triple11) -> (rule1 % int1))
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
int1
The bear eats the cat.
("bear" "eats" "cat" "+")
((((triple2) -> (rule8 % int2))) -> (rule1 % int1))
The bear eats the cat.
("bear" "eats" "cat" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The cat is round.
("cat" "is" "round" "+")
((((triple11) -> (rule1 % int2))) -> (rule9 % int1))
The cat is round.
("cat" "is" "round" "+")
int1
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
int2
((((((triple2) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule9 % int1))
The cat is round.
("cat" "is" "round" "+")
int1
The bear eats the cat.
("bear" "eats" "cat" "+")
int2
The bear is green.
("bear" "is" "green" "+")
int3
The cat chases the bear.
("cat" "chases" "bear" "+")
((((((triple11) -> (rule1 % int3))) -> (rule9 % int2))) -> (rule4 % int1))
The cat chases the bear.
("cat" "chases" "bear" "+")
int1
The cat is round.
("cat" "is" "round" "+")
int2
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
int3
((((((((triple2) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule9 % int2))) -> (rule4 % int1))
The cat chases the bear.
("cat" "chases" "bear" "+")
int1
The cat is round.
("cat" "is" "round" "+")
int2
The bear eats the cat.
("bear" "eats" "cat" "+")
int3
The bear is green.
("bear" "is" "green" "+")
int4
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
((((triple11) -> (rule1 % int4)) ((((((triple11) -> (rule1 % int4))) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
int1
The cat chases the bear.
("cat" "chases" "bear" "+")
int2
The cat is round.
("cat" "is" "round" "+")
int3
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
int4
((((((triple2) -> (rule8 % int6))) -> (rule1 % int5)) ((((((triple11) -> (rule1 % int4))) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
int1
The cat chases the bear.
("cat" "chases" "bear" "+")
int2
The cat is round.
("cat" "is" "round" "+")
int3
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
int4
The bear eats the cat.
("bear" "eats" "cat" "+")
int5
The bear is green.
("bear" "is" "green" "+")
int6
((((triple11) -> (rule1 % int6)) ((((((((triple2) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
int1
The cat chases the bear.
("cat" "chases" "bear" "+")
int2
The cat is round.
("cat" "is" "round" "+")
int3
The bear eats the cat.
("bear" "eats" "cat" "+")
int4
The bear is green.
("bear" "is" "green" "+")
int5
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
int6
((((((triple2) -> (rule8 % int5))) -> (rule1 % int4)) ((((((((triple2) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
int1
The cat chases the bear.
("cat" "chases" "bear" "+")
int2
The cat is round.
("cat" "is" "round" "+")
int3
The bear eats the cat.
("bear" "eats" "cat" "+")
int4
The bear is green.
("bear" "is" "green" "+")
int5
The cat is green.
("cat" "is" "green" "+")
((((((triple11) -> (rule1 % int5)) ((((((triple11) -> (rule1 % int5))) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
int2
The cat chases the bear.
("cat" "chases" "bear" "+")
int3
The cat is round.
("cat" "is" "round" "+")
int4
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
int5
((((((((triple2) -> (rule8 % int7))) -> (rule1 % int6)) ((((((triple11) -> (rule1 % int5))) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
int2
The cat chases the bear.
("cat" "chases" "bear" "+")
int3
The cat is round.
("cat" "is" "round" "+")
int4
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
int5
The bear eats the cat.
("bear" "eats" "cat" "+")
int6
The bear is green.
("bear" "is" "green" "+")
int7
((((((triple11) -> (rule1 % int7)) ((((((((triple2) -> (rule8 % int6))) -> (rule1 % int5))) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
int2
The cat chases the bear.
("cat" "chases" "bear" "+")
int3
The cat is round.
("cat" "is" "round" "+")
int4
The bear eats the cat.
("bear" "eats" "cat" "+")
int5
The bear is green.
("bear" "is" "green" "+")
int6
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
int7
((((((((triple2) -> (rule8 % int6))) -> (rule1 % int5)) ((((((((triple2) -> (rule8 % int6))) -> (rule1 % int5))) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
int2
The cat chases the bear.
("cat" "chases" "bear" "+")
int3
The cat is round.
("cat" "is" "round" "+")
int4
The bear eats the cat.
("bear" "eats" "cat" "+")
int5
The bear is green.
("bear" "is" "green" "+")
int6
The cat eats the cat.
("cat" "eats" "cat" "+")
((((((((triple11) -> (rule1 % int6)) ((((((triple11) -> (rule1 % int6))) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The cat is green.
("cat" "is" "green" "+")
int2
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
int3
The cat chases the bear.
("cat" "chases" "bear" "+")
int4
The cat is round.
("cat" "is" "round" "+")
int5
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
int6
((((((((((triple2) -> (rule8 % int8))) -> (rule1 % int7)) ((((((triple11) -> (rule1 % int6))) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The cat is green.
("cat" "is" "green" "+")
int2
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
int3
The cat chases the bear.
("cat" "chases" "bear" "+")
int4
The cat is round.
("cat" "is" "round" "+")
int5
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
int6
The bear eats the cat.
("bear" "eats" "cat" "+")
int7
The bear is green.
("bear" "is" "green" "+")
int8
((((((((triple11) -> (rule1 % int8)) ((((((((triple2) -> (rule8 % int7))) -> (rule1 % int6))) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The cat is green.
("cat" "is" "green" "+")
int2
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
int3
The cat chases the bear.
("cat" "chases" "bear" "+")
int4
The cat is round.
("cat" "is" "round" "+")
int5
The bear eats the cat.
("bear" "eats" "cat" "+")
int6
The bear is green.
("bear" "is" "green" "+")
int7
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
int8
((((((((((triple2) -> (rule8 % int7))) -> (rule1 % int6)) ((((((((triple2) -> (rule8 % int7))) -> (rule1 % int6))) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The cat is green.
("cat" "is" "green" "+")
int2
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
int3
The cat chases the bear.
("cat" "chases" "bear" "+")
int4
The cat is round.
("cat" "is" "round" "+")
int5
The bear eats the cat.
("bear" "eats" "cat" "+")
int6
The bear is green.
("bear" "is" "green" "+")
int7