The bear needs the mouse. The bear visits the lion. The lion needs the bear. The mouse chases the lion. The mouse is big. The mouse is cold. The mouse is rough. The mouse needs the lion. The squirrel chases the bear. The squirrel chases the mouse. The squirrel is big. The squirrel needs the bear. The squirrel needs the lion. The squirrel needs the mouse. If someone is red then they chase the mouse. If someone is cold and they chase the mouse then the mouse chases the squirrel. If the mouse chases the bear then the mouse is red. Rough people are cold. If someone is red and they chase the bear then the bear is rough. If someone visits the squirrel and they are rough then they are big. If someone visits the lion then the lion is big. If the squirrel is green and the squirrel is cold then the squirrel visits the bear. If someone is rough and cold then they chase the bear.
The bear needs the mouse.
("bear" "needs" "mouse" "+")
The bear visits the lion.
("bear" "visits" "lion" "+")
The lion needs the bear.
("lion" "needs" "bear" "+")
The mouse chases the lion.
("mouse" "chases" "lion" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse needs the lion.
("mouse" "needs" "lion" "+")
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
If someone is red then they chase the mouse.
((("someone" "is" "red" "+")) -> ("someone" "chases" "mouse" "+"))
If someone is cold and they chase the mouse then the mouse chases the squirrel.
((("someone" "is" "cold" "+") ("someone" "chases" "mouse" "+")) -> ("mouse" "chases" "squirrel" "+"))
If the mouse chases the bear then the mouse is red.
((("mouse" "chases" "bear" "+")) -> ("mouse" "is" "red" "+"))
Rough people are cold.
((("someone" "is" "rough" "+")) -> ("someone" "is" "cold" "+"))
If someone is red and they chase the bear then the bear is rough.
((("someone" "is" "red" "+") ("someone" "chases" "bear" "+")) -> ("bear" "is" "rough" "+"))
If someone visits the squirrel and they are rough then they are big.
((("someone" "visits" "squirrel" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone visits the lion then the lion is big.
((("someone" "visits" "lion" "+")) -> ("lion" "is" "big" "+"))
If the squirrel is green and the squirrel is cold then the squirrel visits the bear.
((("squirrel" "is" "green" "+") ("squirrel" "is" "cold" "+")) -> ("squirrel" "visits" "bear" "+"))
If someone is rough and cold then they chase the bear.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "chases" "bear" "+"))
The mouse is big.
True
1
proof
[(triple5)]
("mouse" "is" "big" "+")
triple5
The squirrel is not big.
False
1
inv-proof
[(triple11)]
("squirrel" "is" "big" "-")
triple11
The lion is big.
True
2
proof
[(((triple2) -> rule7))]
("lion" "is" "big" "+")
((triple2) -> (rule7 % int1))
The lion is big.
("lion" "is" "big" "+")
int1
The mouse does not chase the bear.
False
3
inv-proof
[(((triple7 triple6) -> rule9) OR ((triple7 ((triple7) -> rule4)) -> rule9))]
("mouse" "chases" "bear" "-")
((triple7 triple6) -> (rule9 % int1))
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int1
((triple7 ((triple7) -> (rule4 % int2))) -> (rule9 % int1))
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int1
The mouse is cold.
("mouse" "is" "cold" "+")
int2
The mouse is red.
True
4
proof
[(((((triple7 triple6) -> rule9)) -> rule3) OR ((((triple7 ((triple7) -> rule4)) -> rule9)) -> rule3))]
("mouse" "is" "red" "+")
((((triple7 triple6) -> (rule9 % int2))) -> (rule3 % int1))
The mouse is red.
("mouse" "is" "red" "+")
int1
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int2
((((triple7 ((triple7) -> (rule4 % int3))) -> (rule9 % int2))) -> (rule3 % int1))
The mouse is red.
("mouse" "is" "red" "+")
int1
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int2
The mouse is cold.
("mouse" "is" "cold" "+")
int3
The mouse is not red.
False
4
inv-proof
[(((((triple7 triple6) -> rule9)) -> rule3) OR ((((triple7 ((triple7) -> rule4)) -> rule9)) -> rule3))]
("mouse" "is" "red" "-")
((((triple7 triple6) -> (rule9 % int2))) -> (rule3 % int1))
The mouse is red.
("mouse" "is" "red" "+")
int1
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int2
((((triple7 ((triple7) -> (rule4 % int3))) -> (rule9 % int2))) -> (rule3 % int1))
The mouse is red.
("mouse" "is" "red" "+")
int1
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int2
The mouse is cold.
("mouse" "is" "cold" "+")
int3
The mouse chases the mouse.
True
5
proof
[(((((((triple7 triple6) -> rule9)) -> rule3)) -> rule1) OR ((((((triple7 ((triple7) -> rule4)) -> rule9)) -> rule3)) -> rule1))]
("mouse" "chases" "mouse" "+")
((((((triple7 triple6) -> (rule9 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse is red.
("mouse" "is" "red" "+")
int2
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int3
((((((triple7 ((triple7) -> (rule4 % int4))) -> (rule9 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse is red.
("mouse" "is" "red" "+")
int2
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int3
The mouse is cold.
("mouse" "is" "cold" "+")
int4
The bear is not rough.
False
8
inv-proof
[(((((((triple7 triple6) -> rule9)) -> rule3) ((triple7 triple6) -> rule9)) -> rule5) OR ((((((triple7 triple6) -> rule9)) -> rule3) ((triple7 ((triple7) -> rule4)) -> rule9)) -> rule5) OR ((((((triple7 ((triple7) -> rule4)) -> rule9)) -> rule3) ((triple7 triple6) -> rule9)) -> rule5) OR ((((((triple7 ((triple7) -> rule4)) -> rule9)) -> rule3) ((triple7 ((triple7) -> rule4)) -> rule9)) -> rule5))]
("bear" "is" "rough" "-")
((((((triple7 triple6) -> (rule9 % int3))) -> (rule3 % int2)) ((triple7 triple6) -> (rule9 % int3))) -> (rule5 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The mouse is red.
("mouse" "is" "red" "+")
int2
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int3
((((((triple7 triple6) -> (rule9 % int4))) -> (rule3 % int3)) ((triple7 ((triple7) -> (rule4 % int2))) -> (rule9 % int4))) -> (rule5 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The mouse is cold.
("mouse" "is" "cold" "+")
int2
The mouse is red.
("mouse" "is" "red" "+")
int3
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int4
((((((triple7 ((triple7) -> (rule4 % int4))) -> (rule9 % int3))) -> (rule3 % int2)) ((triple7 triple6) -> (rule9 % int3))) -> (rule5 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The mouse is red.
("mouse" "is" "red" "+")
int2
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int3
The mouse is cold.
("mouse" "is" "cold" "+")
int4
((((((triple7 ((triple7) -> (rule4 % int4))) -> (rule9 % int3))) -> (rule3 % int2)) ((triple7 ((triple7) -> (rule4 % int4))) -> (rule9 % int3))) -> (rule5 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The mouse is red.
("mouse" "is" "red" "+")
int2
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int3
The mouse is cold.
("mouse" "is" "cold" "+")
int4
The bear is cold.
True
9
proof
[(((((((((triple7 triple6) -> rule9)) -> rule3) ((triple7 triple6) -> rule9)) -> rule5)) -> rule4) OR ((((((((triple7 triple6) -> rule9)) -> rule3) ((triple7 ((triple7) -> rule4)) -> rule9)) -> rule5)) -> rule4) OR ((((((((triple7 ((triple7) -> rule4)) -> rule9)) -> rule3) ((triple7 triple6) -> rule9)) -> rule5)) -> rule4) OR ((((((((triple7 ((triple7) -> rule4)) -> rule9)) -> rule3) ((triple7 ((triple7) -> rule4)) -> rule9)) -> rule5)) -> rule4))]
("bear" "is" "cold" "+")
((((((((triple7 triple6) -> (rule9 % int4))) -> (rule3 % int3)) ((triple7 triple6) -> (rule9 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear is rough.
("bear" "is" "rough" "+")
int2
The mouse is red.
("mouse" "is" "red" "+")
int3
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int4
((((((((triple7 triple6) -> (rule9 % int5))) -> (rule3 % int4)) ((triple7 ((triple7) -> (rule4 % int3))) -> (rule9 % int5))) -> (rule5 % int2))) -> (rule4 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear is rough.
("bear" "is" "rough" "+")
int2
The mouse is cold.
("mouse" "is" "cold" "+")
int3
The mouse is red.
("mouse" "is" "red" "+")
int4
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int5
((((((((triple7 ((triple7) -> (rule4 % int5))) -> (rule9 % int4))) -> (rule3 % int3)) ((triple7 triple6) -> (rule9 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear is rough.
("bear" "is" "rough" "+")
int2
The mouse is red.
("mouse" "is" "red" "+")
int3
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int4
The mouse is cold.
("mouse" "is" "cold" "+")
int5
((((((((triple7 ((triple7) -> (rule4 % int5))) -> (rule9 % int4))) -> (rule3 % int3)) ((triple7 ((triple7) -> (rule4 % int5))) -> (rule9 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear is rough.
("bear" "is" "rough" "+")
int2
The mouse is red.
("mouse" "is" "red" "+")
int3
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int4
The mouse is cold.
("mouse" "is" "cold" "+")
int5
The mouse does not chase the squirrel.
False
7
inv-proof
[(((triple6 ((((((triple7 triple6) -> rule9)) -> rule3)) -> rule1)) -> rule2) OR ((((triple7) -> rule4) ((((((triple7 triple6) -> rule9)) -> rule3)) -> rule1)) -> rule2) OR ((triple6 ((((((triple7 ((triple7) -> rule4)) -> rule9)) -> rule3)) -> rule1)) -> rule2) OR ((((triple7) -> rule4) ((((((triple7 ((triple7) -> rule4)) -> rule9)) -> rule3)) -> rule1)) -> rule2))]
("mouse" "chases" "squirrel" "-")
((triple6 ((((((triple7 triple6) -> (rule9 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
int1
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int2
The mouse is red.
("mouse" "is" "red" "+")
int3
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int4
((((triple7) -> (rule4 % int5)) ((((((triple7 triple6) -> (rule9 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
int1
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int2
The mouse is red.
("mouse" "is" "red" "+")
int3
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int4
The mouse is cold.
("mouse" "is" "cold" "+")
int5
((triple6 ((((((triple7 ((triple7) -> (rule4 % int5))) -> (rule9 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
int1
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int2
The mouse is red.
("mouse" "is" "red" "+")
int3
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int4
The mouse is cold.
("mouse" "is" "cold" "+")
int5
((((triple7) -> (rule4 % int5)) ((((((triple7 ((triple7) -> (rule4 % int5))) -> (rule9 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
int1
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int2
The mouse is red.
("mouse" "is" "red" "+")
int3
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int4
The mouse is cold.
("mouse" "is" "cold" "+")
int5
The bear chases the bear.
True
18
proof
[(((((((((triple7 triple6) -> rule9)) -> rule3) ((triple7 triple6) -> rule9)) -> rule5) ((((((((triple7 triple6) -> rule9)) -> rule3) ((triple7 triple6) -> rule9)) -> rule5)) -> rule4)) -> rule9) OR ((((((((triple7 triple6) -> rule9)) -> rule3) ((triple7 triple6) -> rule9)) -> rule5) ((((((((triple7 triple6) -> rule9)) -> rule3) ((triple7 ((triple7) -> rule4)) -> rule9)) -> rule5)) -> rule4)) -> rule9) OR ((((((((triple7 triple6) -> rule9)) -> rule3) ((triple7 ((triple7) -> rule4)) -> rule9)) -> rule5) ((((((((triple7 triple6) -> rule9)) -> rule3) ((triple7 triple6) -> rule9)) -> rule5)) -> rule4)) -> rule9) OR ((((((((triple7 ((triple7) -> rule4)) -> rule9)) -> rule3) ((triple7 triple6) -> rule9)) -> rule5) ((((((((triple7 triple6) -> rule9)) -> rule3) ((triple7 triple6) -> rule9)) -> rule5)) -> rule4)) -> rule9) OR ((((((((triple7 triple6) -> rule9)) -> rule3) ((triple7 ((triple7) -> rule4)) -> rule9)) -> rule5) ((((((((triple7 triple6) -> rule9)) -> rule3) ((triple7 ((triple7) -> rule4)) -> rule9)) -> rule5)) -> rule4)) -> rule9) OR ((((((((triple7 ((triple7) -> rule4)) -> rule9)) -> rule3) ((triple7 triple6) -> rule9)) -> rule5) ((((((((triple7 triple6) -> rule9)) -> rule3) ((triple7 ((triple7) -> rule4)) -> rule9)) -> rule5)) -> rule4)) -> rule9) OR ((((((((triple7 ((triple7) -> rule4)) -> rule9)) -> rule3) ((triple7 ((triple7) -> rule4)) -> rule9)) -> rule5) ((((((((triple7 triple6) -> rule9)) -> rule3) ((triple7 triple6) -> rule9)) -> rule5)) -> rule4)) -> rule9) OR ((((((((triple7 ((triple7) -> rule4)) -> rule9)) -> rule3) ((triple7 ((triple7) -> rule4)) -> rule9)) -> rule5) ((((((((triple7 triple6) -> rule9)) -> rule3) ((triple7 ((triple7) -> rule4)) -> rule9)) -> rule5)) -> rule4)) -> rule9) OR ((((((((triple7 triple6) -> rule9)) -> rule3) ((triple7 triple6) -> rule9)) -> rule5) ((((((((triple7 ((triple7) -> rule4)) -> rule9)) -> rule3) ((triple7 triple6) -> rule9)) -> rule5)) -> rule4)) -> rule9) OR ((((((((triple7 triple6) -> rule9)) -> rule3) ((triple7 triple6) -> rule9)) -> rule5) ((((((((triple7 ((triple7) -> rule4)) -> rule9)) -> rule3) ((triple7 ((triple7) -> rule4)) -> rule9)) -> rule5)) -> rule4)) -> rule9) OR ((((((((triple7 triple6) -> rule9)) -> rule3) ((triple7 ((triple7) -> rule4)) -> rule9)) -> rule5) ((((((((triple7 ((triple7) -> rule4)) -> rule9)) -> rule3) ((triple7 triple6) -> rule9)) -> rule5)) -> rule4)) -> rule9) OR ((((((((triple7 ((triple7) -> rule4)) -> rule9)) -> rule3) ((triple7 triple6) -> rule9)) -> rule5) ((((((((triple7 ((triple7) -> rule4)) -> rule9)) -> rule3) ((triple7 triple6) -> rule9)) -> rule5)) -> rule4)) -> rule9) OR ((((((((triple7 triple6) -> rule9)) -> rule3) ((triple7 ((triple7) -> rule4)) -> rule9)) -> rule5) ((((((((triple7 ((triple7) -> rule4)) -> rule9)) -> rule3) ((triple7 ((triple7) -> rule4)) -> rule9)) -> rule5)) -> rule4)) -> rule9) OR ((((((((triple7 ((triple7) -> rule4)) -> rule9)) -> rule3) ((triple7 triple6) -> rule9)) -> rule5) ((((((((triple7 ((triple7) -> rule4)) -> rule9)) -> rule3) ((triple7 ((triple7) -> rule4)) -> rule9)) -> rule5)) -> rule4)) -> rule9) OR ((((((((triple7 ((triple7) -> rule4)) -> rule9)) -> rule3) ((triple7 ((triple7) -> rule4)) -> rule9)) -> rule5) ((((((((triple7 ((triple7) -> rule4)) -> rule9)) -> rule3) ((triple7 triple6) -> rule9)) -> rule5)) -> rule4)) -> rule9) OR ((((((((triple7 ((triple7) -> rule4)) -> rule9)) -> rule3) ((triple7 ((triple7) -> rule4)) -> rule9)) -> rule5) ((((((((triple7 ((triple7) -> rule4)) -> rule9)) -> rule3) ((triple7 ((triple7) -> rule4)) -> rule9)) -> rule5)) -> rule4)) -> rule9))]
("bear" "chases" "bear" "+")
((((((((triple7 triple6) -> (rule9 % int5))) -> (rule3 % int4)) ((triple7 triple6) -> (rule9 % int5))) -> (rule5 % int3)) ((((((((triple7 triple6) -> (rule9 % int5))) -> (rule3 % int4)) ((triple7 triple6) -> (rule9 % int5))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The bear is rough.
("bear" "is" "rough" "+")
int3
The mouse is red.
("mouse" "is" "red" "+")
int4
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int5
((((((((triple7 triple6) -> (rule9 % int6))) -> (rule3 % int5)) ((triple7 triple6) -> (rule9 % int6))) -> (rule5 % int4)) ((((((((triple7 triple6) -> (rule9 % int6))) -> (rule3 % int5)) ((triple7 ((triple7) -> (rule4 % int3))) -> (rule9 % int6))) -> (rule5 % int4))) -> (rule4 % int2))) -> (rule9 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The mouse is cold.
("mouse" "is" "cold" "+")
int3
The bear is rough.
("bear" "is" "rough" "+")
int4
The mouse is red.
("mouse" "is" "red" "+")
int5
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int6
((((((((triple7 triple6) -> (rule9 % int6))) -> (rule3 % int5)) ((triple7 ((triple7) -> (rule4 % int4))) -> (rule9 % int6))) -> (rule5 % int3)) ((((((((triple7 triple6) -> (rule9 % int6))) -> (rule3 % int5)) ((triple7 triple6) -> (rule9 % int6))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The bear is rough.
("bear" "is" "rough" "+")
int3
The mouse is cold.
("mouse" "is" "cold" "+")
int4
The mouse is red.
("mouse" "is" "red" "+")
int5
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int6
((((((((triple7 ((triple7) -> (rule4 % int6))) -> (rule9 % int5))) -> (rule3 % int4)) ((triple7 triple6) -> (rule9 % int5))) -> (rule5 % int3)) ((((((((triple7 triple6) -> (rule9 % int5))) -> (rule3 % int4)) ((triple7 triple6) -> (rule9 % int5))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The bear is rough.
("bear" "is" "rough" "+")
int3
The mouse is red.
("mouse" "is" "red" "+")
int4
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int5
The mouse is cold.
("mouse" "is" "cold" "+")
int6
((((((((triple7 triple6) -> (rule9 % int6))) -> (rule3 % int5)) ((triple7 ((triple7) -> (rule4 % int4))) -> (rule9 % int6))) -> (rule5 % int3)) ((((((((triple7 triple6) -> (rule9 % int6))) -> (rule3 % int5)) ((triple7 ((triple7) -> (rule4 % int4))) -> (rule9 % int6))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The bear is rough.
("bear" "is" "rough" "+")
int3
The mouse is cold.
("mouse" "is" "cold" "+")
int4
The mouse is red.
("mouse" "is" "red" "+")
int5
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int6
((((((((triple7 ((triple7) -> (rule4 % int6))) -> (rule9 % int5))) -> (rule3 % int4)) ((triple7 triple6) -> (rule9 % int5))) -> (rule5 % int3)) ((((((((triple7 triple6) -> (rule9 % int5))) -> (rule3 % int4)) ((triple7 ((triple7) -> (rule4 % int6))) -> (rule9 % int5))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The bear is rough.
("bear" "is" "rough" "+")
int3
The mouse is red.
("mouse" "is" "red" "+")
int4
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int5
The mouse is cold.
("mouse" "is" "cold" "+")
int6
((((((((triple7 ((triple7) -> (rule4 % int6))) -> (rule9 % int5))) -> (rule3 % int4)) ((triple7 ((triple7) -> (rule4 % int6))) -> (rule9 % int5))) -> (rule5 % int3)) ((((((((triple7 triple6) -> (rule9 % int5))) -> (rule3 % int4)) ((triple7 triple6) -> (rule9 % int5))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The bear is rough.
("bear" "is" "rough" "+")
int3
The mouse is red.
("mouse" "is" "red" "+")
int4
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int5
The mouse is cold.
("mouse" "is" "cold" "+")
int6
((((((((triple7 ((triple7) -> (rule4 % int6))) -> (rule9 % int5))) -> (rule3 % int4)) ((triple7 ((triple7) -> (rule4 % int6))) -> (rule9 % int5))) -> (rule5 % int3)) ((((((((triple7 triple6) -> (rule9 % int5))) -> (rule3 % int4)) ((triple7 ((triple7) -> (rule4 % int6))) -> (rule9 % int5))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The bear is rough.
("bear" "is" "rough" "+")
int3
The mouse is red.
("mouse" "is" "red" "+")
int4
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int5
The mouse is cold.
("mouse" "is" "cold" "+")
int6
((((((((triple7 triple6) -> (rule9 % int6))) -> (rule3 % int5)) ((triple7 triple6) -> (rule9 % int6))) -> (rule5 % int4)) ((((((((triple7 ((triple7) -> (rule4 % int3))) -> (rule9 % int6))) -> (rule3 % int5)) ((triple7 triple6) -> (rule9 % int6))) -> (rule5 % int4))) -> (rule4 % int2))) -> (rule9 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The mouse is cold.
("mouse" "is" "cold" "+")
int3
The bear is rough.
("bear" "is" "rough" "+")
int4
The mouse is red.
("mouse" "is" "red" "+")
int5
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int6
((((((((triple7 triple6) -> (rule9 % int6))) -> (rule3 % int5)) ((triple7 triple6) -> (rule9 % int6))) -> (rule5 % int4)) ((((((((triple7 ((triple7) -> (rule4 % int3))) -> (rule9 % int6))) -> (rule3 % int5)) ((triple7 ((triple7) -> (rule4 % int3))) -> (rule9 % int6))) -> (rule5 % int4))) -> (rule4 % int2))) -> (rule9 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The mouse is cold.
("mouse" "is" "cold" "+")
int3
The bear is rough.
("bear" "is" "rough" "+")
int4
The mouse is red.
("mouse" "is" "red" "+")
int5
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int6
((((((((triple7 triple6) -> (rule9 % int6))) -> (rule3 % int5)) ((triple7 ((triple7) -> (rule4 % int4))) -> (rule9 % int6))) -> (rule5 % int3)) ((((((((triple7 ((triple7) -> (rule4 % int4))) -> (rule9 % int6))) -> (rule3 % int5)) ((triple7 triple6) -> (rule9 % int6))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The bear is rough.
("bear" "is" "rough" "+")
int3
The mouse is cold.
("mouse" "is" "cold" "+")
int4
The mouse is red.
("mouse" "is" "red" "+")
int5
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int6
((((((((triple7 ((triple7) -> (rule4 % int6))) -> (rule9 % int5))) -> (rule3 % int4)) ((triple7 triple6) -> (rule9 % int5))) -> (rule5 % int3)) ((((((((triple7 ((triple7) -> (rule4 % int6))) -> (rule9 % int5))) -> (rule3 % int4)) ((triple7 triple6) -> (rule9 % int5))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The bear is rough.
("bear" "is" "rough" "+")
int3
The mouse is red.
("mouse" "is" "red" "+")
int4
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int5
The mouse is cold.
("mouse" "is" "cold" "+")
int6
((((((((triple7 triple6) -> (rule9 % int6))) -> (rule3 % int5)) ((triple7 ((triple7) -> (rule4 % int4))) -> (rule9 % int6))) -> (rule5 % int3)) ((((((((triple7 ((triple7) -> (rule4 % int4))) -> (rule9 % int6))) -> (rule3 % int5)) ((triple7 ((triple7) -> (rule4 % int4))) -> (rule9 % int6))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The bear is rough.
("bear" "is" "rough" "+")
int3
The mouse is cold.
("mouse" "is" "cold" "+")
int4
The mouse is red.
("mouse" "is" "red" "+")
int5
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int6
((((((((triple7 ((triple7) -> (rule4 % int6))) -> (rule9 % int5))) -> (rule3 % int4)) ((triple7 triple6) -> (rule9 % int5))) -> (rule5 % int3)) ((((((((triple7 ((triple7) -> (rule4 % int6))) -> (rule9 % int5))) -> (rule3 % int4)) ((triple7 ((triple7) -> (rule4 % int6))) -> (rule9 % int5))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The bear is rough.
("bear" "is" "rough" "+")
int3
The mouse is red.
("mouse" "is" "red" "+")
int4
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int5
The mouse is cold.
("mouse" "is" "cold" "+")
int6
((((((((triple7 ((triple7) -> (rule4 % int6))) -> (rule9 % int5))) -> (rule3 % int4)) ((triple7 ((triple7) -> (rule4 % int6))) -> (rule9 % int5))) -> (rule5 % int3)) ((((((((triple7 ((triple7) -> (rule4 % int6))) -> (rule9 % int5))) -> (rule3 % int4)) ((triple7 triple6) -> (rule9 % int5))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The bear is rough.
("bear" "is" "rough" "+")
int3
The mouse is red.
("mouse" "is" "red" "+")
int4
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int5
The mouse is cold.
("mouse" "is" "cold" "+")
int6
((((((((triple7 ((triple7) -> (rule4 % int6))) -> (rule9 % int5))) -> (rule3 % int4)) ((triple7 ((triple7) -> (rule4 % int6))) -> (rule9 % int5))) -> (rule5 % int3)) ((((((((triple7 ((triple7) -> (rule4 % int6))) -> (rule9 % int5))) -> (rule3 % int4)) ((triple7 ((triple7) -> (rule4 % int6))) -> (rule9 % int5))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The bear is rough.
("bear" "is" "rough" "+")
int3
The mouse is red.
("mouse" "is" "red" "+")
int4
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int5
The mouse is cold.
("mouse" "is" "cold" "+")
int6
The bear does not chase the bear.
False
18
inv-proof
[(((((((((triple7 triple6) -> rule9)) -> rule3) ((triple7 triple6) -> rule9)) -> rule5) ((((((((triple7 triple6) -> rule9)) -> rule3) ((triple7 triple6) -> rule9)) -> rule5)) -> rule4)) -> rule9) OR ((((((((triple7 triple6) -> rule9)) -> rule3) ((triple7 triple6) -> rule9)) -> rule5) ((((((((triple7 triple6) -> rule9)) -> rule3) ((triple7 ((triple7) -> rule4)) -> rule9)) -> rule5)) -> rule4)) -> rule9) OR ((((((((triple7 triple6) -> rule9)) -> rule3) ((triple7 ((triple7) -> rule4)) -> rule9)) -> rule5) ((((((((triple7 triple6) -> rule9)) -> rule3) ((triple7 triple6) -> rule9)) -> rule5)) -> rule4)) -> rule9) OR ((((((((triple7 ((triple7) -> rule4)) -> rule9)) -> rule3) ((triple7 triple6) -> rule9)) -> rule5) ((((((((triple7 triple6) -> rule9)) -> rule3) ((triple7 triple6) -> rule9)) -> rule5)) -> rule4)) -> rule9) OR ((((((((triple7 triple6) -> rule9)) -> rule3) ((triple7 ((triple7) -> rule4)) -> rule9)) -> rule5) ((((((((triple7 triple6) -> rule9)) -> rule3) ((triple7 ((triple7) -> rule4)) -> rule9)) -> rule5)) -> rule4)) -> rule9) OR ((((((((triple7 ((triple7) -> rule4)) -> rule9)) -> rule3) ((triple7 triple6) -> rule9)) -> rule5) ((((((((triple7 triple6) -> rule9)) -> rule3) ((triple7 ((triple7) -> rule4)) -> rule9)) -> rule5)) -> rule4)) -> rule9) OR ((((((((triple7 ((triple7) -> rule4)) -> rule9)) -> rule3) ((triple7 ((triple7) -> rule4)) -> rule9)) -> rule5) ((((((((triple7 triple6) -> rule9)) -> rule3) ((triple7 triple6) -> rule9)) -> rule5)) -> rule4)) -> rule9) OR ((((((((triple7 ((triple7) -> rule4)) -> rule9)) -> rule3) ((triple7 ((triple7) -> rule4)) -> rule9)) -> rule5) ((((((((triple7 triple6) -> rule9)) -> rule3) ((triple7 ((triple7) -> rule4)) -> rule9)) -> rule5)) -> rule4)) -> rule9) OR ((((((((triple7 triple6) -> rule9)) -> rule3) ((triple7 triple6) -> rule9)) -> rule5) ((((((((triple7 ((triple7) -> rule4)) -> rule9)) -> rule3) ((triple7 triple6) -> rule9)) -> rule5)) -> rule4)) -> rule9) OR ((((((((triple7 triple6) -> rule9)) -> rule3) ((triple7 triple6) -> rule9)) -> rule5) ((((((((triple7 ((triple7) -> rule4)) -> rule9)) -> rule3) ((triple7 ((triple7) -> rule4)) -> rule9)) -> rule5)) -> rule4)) -> rule9) OR ((((((((triple7 triple6) -> rule9)) -> rule3) ((triple7 ((triple7) -> rule4)) -> rule9)) -> rule5) ((((((((triple7 ((triple7) -> rule4)) -> rule9)) -> rule3) ((triple7 triple6) -> rule9)) -> rule5)) -> rule4)) -> rule9) OR ((((((((triple7 ((triple7) -> rule4)) -> rule9)) -> rule3) ((triple7 triple6) -> rule9)) -> rule5) ((((((((triple7 ((triple7) -> rule4)) -> rule9)) -> rule3) ((triple7 triple6) -> rule9)) -> rule5)) -> rule4)) -> rule9) OR ((((((((triple7 triple6) -> rule9)) -> rule3) ((triple7 ((triple7) -> rule4)) -> rule9)) -> rule5) ((((((((triple7 ((triple7) -> rule4)) -> rule9)) -> rule3) ((triple7 ((triple7) -> rule4)) -> rule9)) -> rule5)) -> rule4)) -> rule9) OR ((((((((triple7 ((triple7) -> rule4)) -> rule9)) -> rule3) ((triple7 triple6) -> rule9)) -> rule5) ((((((((triple7 ((triple7) -> rule4)) -> rule9)) -> rule3) ((triple7 ((triple7) -> rule4)) -> rule9)) -> rule5)) -> rule4)) -> rule9) OR ((((((((triple7 ((triple7) -> rule4)) -> rule9)) -> rule3) ((triple7 ((triple7) -> rule4)) -> rule9)) -> rule5) ((((((((triple7 ((triple7) -> rule4)) -> rule9)) -> rule3) ((triple7 triple6) -> rule9)) -> rule5)) -> rule4)) -> rule9) OR ((((((((triple7 ((triple7) -> rule4)) -> rule9)) -> rule3) ((triple7 ((triple7) -> rule4)) -> rule9)) -> rule5) ((((((((triple7 ((triple7) -> rule4)) -> rule9)) -> rule3) ((triple7 ((triple7) -> rule4)) -> rule9)) -> rule5)) -> rule4)) -> rule9))]
("bear" "chases" "bear" "-")
((((((((triple7 triple6) -> (rule9 % int5))) -> (rule3 % int4)) ((triple7 triple6) -> (rule9 % int5))) -> (rule5 % int3)) ((((((((triple7 triple6) -> (rule9 % int5))) -> (rule3 % int4)) ((triple7 triple6) -> (rule9 % int5))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The bear is rough.
("bear" "is" "rough" "+")
int3
The mouse is red.
("mouse" "is" "red" "+")
int4
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int5
((((((((triple7 triple6) -> (rule9 % int6))) -> (rule3 % int5)) ((triple7 triple6) -> (rule9 % int6))) -> (rule5 % int4)) ((((((((triple7 triple6) -> (rule9 % int6))) -> (rule3 % int5)) ((triple7 ((triple7) -> (rule4 % int3))) -> (rule9 % int6))) -> (rule5 % int4))) -> (rule4 % int2))) -> (rule9 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The mouse is cold.
("mouse" "is" "cold" "+")
int3
The bear is rough.
("bear" "is" "rough" "+")
int4
The mouse is red.
("mouse" "is" "red" "+")
int5
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int6
((((((((triple7 triple6) -> (rule9 % int6))) -> (rule3 % int5)) ((triple7 ((triple7) -> (rule4 % int4))) -> (rule9 % int6))) -> (rule5 % int3)) ((((((((triple7 triple6) -> (rule9 % int6))) -> (rule3 % int5)) ((triple7 triple6) -> (rule9 % int6))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The bear is rough.
("bear" "is" "rough" "+")
int3
The mouse is cold.
("mouse" "is" "cold" "+")
int4
The mouse is red.
("mouse" "is" "red" "+")
int5
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int6
((((((((triple7 ((triple7) -> (rule4 % int6))) -> (rule9 % int5))) -> (rule3 % int4)) ((triple7 triple6) -> (rule9 % int5))) -> (rule5 % int3)) ((((((((triple7 triple6) -> (rule9 % int5))) -> (rule3 % int4)) ((triple7 triple6) -> (rule9 % int5))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The bear is rough.
("bear" "is" "rough" "+")
int3
The mouse is red.
("mouse" "is" "red" "+")
int4
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int5
The mouse is cold.
("mouse" "is" "cold" "+")
int6
((((((((triple7 triple6) -> (rule9 % int6))) -> (rule3 % int5)) ((triple7 ((triple7) -> (rule4 % int4))) -> (rule9 % int6))) -> (rule5 % int3)) ((((((((triple7 triple6) -> (rule9 % int6))) -> (rule3 % int5)) ((triple7 ((triple7) -> (rule4 % int4))) -> (rule9 % int6))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The bear is rough.
("bear" "is" "rough" "+")
int3
The mouse is cold.
("mouse" "is" "cold" "+")
int4
The mouse is red.
("mouse" "is" "red" "+")
int5
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int6
((((((((triple7 ((triple7) -> (rule4 % int6))) -> (rule9 % int5))) -> (rule3 % int4)) ((triple7 triple6) -> (rule9 % int5))) -> (rule5 % int3)) ((((((((triple7 triple6) -> (rule9 % int5))) -> (rule3 % int4)) ((triple7 ((triple7) -> (rule4 % int6))) -> (rule9 % int5))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The bear is rough.
("bear" "is" "rough" "+")
int3
The mouse is red.
("mouse" "is" "red" "+")
int4
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int5
The mouse is cold.
("mouse" "is" "cold" "+")
int6
((((((((triple7 ((triple7) -> (rule4 % int6))) -> (rule9 % int5))) -> (rule3 % int4)) ((triple7 ((triple7) -> (rule4 % int6))) -> (rule9 % int5))) -> (rule5 % int3)) ((((((((triple7 triple6) -> (rule9 % int5))) -> (rule3 % int4)) ((triple7 triple6) -> (rule9 % int5))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The bear is rough.
("bear" "is" "rough" "+")
int3
The mouse is red.
("mouse" "is" "red" "+")
int4
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int5
The mouse is cold.
("mouse" "is" "cold" "+")
int6
((((((((triple7 ((triple7) -> (rule4 % int6))) -> (rule9 % int5))) -> (rule3 % int4)) ((triple7 ((triple7) -> (rule4 % int6))) -> (rule9 % int5))) -> (rule5 % int3)) ((((((((triple7 triple6) -> (rule9 % int5))) -> (rule3 % int4)) ((triple7 ((triple7) -> (rule4 % int6))) -> (rule9 % int5))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The bear is rough.
("bear" "is" "rough" "+")
int3
The mouse is red.
("mouse" "is" "red" "+")
int4
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int5
The mouse is cold.
("mouse" "is" "cold" "+")
int6
((((((((triple7 triple6) -> (rule9 % int6))) -> (rule3 % int5)) ((triple7 triple6) -> (rule9 % int6))) -> (rule5 % int4)) ((((((((triple7 ((triple7) -> (rule4 % int3))) -> (rule9 % int6))) -> (rule3 % int5)) ((triple7 triple6) -> (rule9 % int6))) -> (rule5 % int4))) -> (rule4 % int2))) -> (rule9 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The mouse is cold.
("mouse" "is" "cold" "+")
int3
The bear is rough.
("bear" "is" "rough" "+")
int4
The mouse is red.
("mouse" "is" "red" "+")
int5
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int6
((((((((triple7 triple6) -> (rule9 % int6))) -> (rule3 % int5)) ((triple7 triple6) -> (rule9 % int6))) -> (rule5 % int4)) ((((((((triple7 ((triple7) -> (rule4 % int3))) -> (rule9 % int6))) -> (rule3 % int5)) ((triple7 ((triple7) -> (rule4 % int3))) -> (rule9 % int6))) -> (rule5 % int4))) -> (rule4 % int2))) -> (rule9 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The mouse is cold.
("mouse" "is" "cold" "+")
int3
The bear is rough.
("bear" "is" "rough" "+")
int4
The mouse is red.
("mouse" "is" "red" "+")
int5
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int6
((((((((triple7 triple6) -> (rule9 % int6))) -> (rule3 % int5)) ((triple7 ((triple7) -> (rule4 % int4))) -> (rule9 % int6))) -> (rule5 % int3)) ((((((((triple7 ((triple7) -> (rule4 % int4))) -> (rule9 % int6))) -> (rule3 % int5)) ((triple7 triple6) -> (rule9 % int6))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The bear is rough.
("bear" "is" "rough" "+")
int3
The mouse is cold.
("mouse" "is" "cold" "+")
int4
The mouse is red.
("mouse" "is" "red" "+")
int5
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int6
((((((((triple7 ((triple7) -> (rule4 % int6))) -> (rule9 % int5))) -> (rule3 % int4)) ((triple7 triple6) -> (rule9 % int5))) -> (rule5 % int3)) ((((((((triple7 ((triple7) -> (rule4 % int6))) -> (rule9 % int5))) -> (rule3 % int4)) ((triple7 triple6) -> (rule9 % int5))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The bear is rough.
("bear" "is" "rough" "+")
int3
The mouse is red.
("mouse" "is" "red" "+")
int4
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int5
The mouse is cold.
("mouse" "is" "cold" "+")
int6
((((((((triple7 triple6) -> (rule9 % int6))) -> (rule3 % int5)) ((triple7 ((triple7) -> (rule4 % int4))) -> (rule9 % int6))) -> (rule5 % int3)) ((((((((triple7 ((triple7) -> (rule4 % int4))) -> (rule9 % int6))) -> (rule3 % int5)) ((triple7 ((triple7) -> (rule4 % int4))) -> (rule9 % int6))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The bear is rough.
("bear" "is" "rough" "+")
int3
The mouse is cold.
("mouse" "is" "cold" "+")
int4
The mouse is red.
("mouse" "is" "red" "+")
int5
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int6
((((((((triple7 ((triple7) -> (rule4 % int6))) -> (rule9 % int5))) -> (rule3 % int4)) ((triple7 triple6) -> (rule9 % int5))) -> (rule5 % int3)) ((((((((triple7 ((triple7) -> (rule4 % int6))) -> (rule9 % int5))) -> (rule3 % int4)) ((triple7 ((triple7) -> (rule4 % int6))) -> (rule9 % int5))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The bear is rough.
("bear" "is" "rough" "+")
int3
The mouse is red.
("mouse" "is" "red" "+")
int4
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int5
The mouse is cold.
("mouse" "is" "cold" "+")
int6
((((((((triple7 ((triple7) -> (rule4 % int6))) -> (rule9 % int5))) -> (rule3 % int4)) ((triple7 ((triple7) -> (rule4 % int6))) -> (rule9 % int5))) -> (rule5 % int3)) ((((((((triple7 ((triple7) -> (rule4 % int6))) -> (rule9 % int5))) -> (rule3 % int4)) ((triple7 triple6) -> (rule9 % int5))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The bear is rough.
("bear" "is" "rough" "+")
int3
The mouse is red.
("mouse" "is" "red" "+")
int4
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int5
The mouse is cold.
("mouse" "is" "cold" "+")
int6
((((((((triple7 ((triple7) -> (rule4 % int6))) -> (rule9 % int5))) -> (rule3 % int4)) ((triple7 ((triple7) -> (rule4 % int6))) -> (rule9 % int5))) -> (rule5 % int3)) ((((((((triple7 ((triple7) -> (rule4 % int6))) -> (rule9 % int5))) -> (rule3 % int4)) ((triple7 ((triple7) -> (rule4 % int6))) -> (rule9 % int5))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The bear is rough.
("bear" "is" "rough" "+")
int3
The mouse is red.
("mouse" "is" "red" "+")
int4
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int5
The mouse is cold.
("mouse" "is" "cold" "+")
int6
The squirrel is not cold.
Unknown
inv-rconc
[@1: The squirrel is cold.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("squirrel" "is" "cold" "-")
The lion chases the bear.
Unknown
rconc
[@1: The lion chases the bear.[CWA. Example of deepest failure = (rule9 <- FAIL)]]
("lion" "chases" "bear" "+")
The squirrel does not visit the bear.
Unknown
inv-rconc
[@1: The squirrel visits the bear.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("squirrel" "visits" "bear" "-")
The bear is big.
Unknown
rconc
[@1: The bear is big.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bear" "is" "big" "+")
The bear does not chase the mouse.
Unknown
inv-rconc
[@1: The bear chases the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "chases" "mouse" "-")
The lion is cold.
Unknown
rconc
[@1: The lion is cold.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("lion" "is" "cold" "+")
The squirrel does not visit the mouse.
Unknown
inv-random
[@0: The squirrel visits the mouse.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "mouse" "-")
The bear is red.
Unknown
random
[@0: The bear is red.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "red" "+")
The bear does not visit the squirrel.
Unknown
inv-random
[@0: The bear visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "squirrel" "-")
The lion visits the lion.
Unknown
random
[@0: The lion visits the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "lion" "+")
The lion does not chase the lion.
Unknown
inv-random
[@0: The lion chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "lion" "-")
The lion is rough.
Unknown
random
[@0: The lion is rough.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "rough" "+")
@0: The bear needs the mouse.[(triple1)] The bear visits the lion.[(triple2)] The lion needs the bear.[(triple3)] The mouse chases the lion.[(triple4)] The mouse is big.[(triple5)] The mouse is cold.[(triple6 OR ((triple7) -> rule4))] The mouse is rough.[(triple7)] The mouse needs the lion.[(triple8)] The squirrel chases the bear.[(triple9)] The squirrel chases the mouse.[(triple10)] The squirrel is big.[(triple11)] The squirrel needs the bear.[(triple12)] The squirrel needs the lion.[(triple13)] The squirrel needs the mouse.[(triple14)] @1: The lion is big.[(((triple2) -> rule7))] The mouse chases the bear.[(((triple7 triple6) -> rule9) OR ((triple7 ((triple7) -> rule4)) -> rule9))] @2: The mouse is red.[(((((triple7 triple6) -> rule9)) -> rule3) OR ((((triple7 ((triple7) -> rule4)) -> rule9)) -> rule3))] @3: The bear is rough.[(((((((triple7 triple6) -> rule9)) -> rule3) ((triple7 triple6) -> rule9)) -> rule5) OR ((((((triple7 triple6) -> rule9)) -> rule3) ((triple7 ((triple7) -> rule4)) -> rule9)) -> rule5) OR ((((((triple7 ((triple7) -> rule4)) -> rule9)) -> rule3) ((triple7 triple6) -> rule9)) -> rule5) OR ((((((triple7 ((triple7) -> rule4)) -> rule9)) -> rule3) ((triple7 ((triple7) -> rule4)) -> rule9)) -> rule5))] The mouse chases the mouse.[(((((((triple7 triple6) -> rule9)) -> rule3)) -> rule1) OR ((((((triple7 ((triple7) -> rule4)) -> rule9)) -> rule3)) -> rule1))] @4: The bear is cold.[(((((((((triple7 triple6) -> rule9)) -> rule3) ((triple7 triple6) -> rule9)) -> rule5)) -> rule4) OR ((((((((triple7 triple6) -> rule9)) -> rule3) ((triple7 ((triple7) -> rule4)) -> rule9)) -> rule5)) -> rule4) OR ((((((((triple7 ((triple7) -> rule4)) -> rule9)) -> rule3) ((triple7 triple6) -> rule9)) -> rule5)) -> rule4) OR ((((((((triple7 ((triple7) -> rule4)) -> rule9)) -> rule3) ((triple7 ((triple7) -> rule4)) -> rule9)) -> rule5)) -> rule4))] The mouse chases the squirrel.[(((triple6 ((((((triple7 triple6) -> rule9)) -> rule3)) -> rule1)) -> rule2) OR ((((triple7) -> rule4) ((((((triple7 triple6) -> rule9)) -> rule3)) -> rule1)) -> rule2) OR ((triple6 ((((((triple7 ((triple7) -> rule4)) -> rule9)) -> rule3)) -> rule1)) -> rule2) OR ((((triple7) -> rule4) ((((((triple7 ((triple7) -> rule4)) -> rule9)) -> rule3)) -> rule1)) -> rule2))] @5: The bear chases the bear.[(((((((((triple7 triple6) -> rule9)) -> rule3) ((triple7 triple6) -> rule9)) -> rule5) ((((((((triple7 triple6) -> rule9)) -> rule3) ((triple7 triple6) -> rule9)) -> rule5)) -> rule4)) -> rule9) OR ((((((((triple7 triple6) -> rule9)) -> rule3) ((triple7 triple6) -> rule9)) -> rule5) ((((((((triple7 triple6) -> rule9)) -> rule3) ((triple7 ((triple7) -> rule4)) -> rule9)) -> rule5)) -> rule4)) -> rule9) OR ((((((((triple7 triple6) -> rule9)) -> rule3) ((triple7 ((triple7) -> rule4)) -> rule9)) -> rule5) ((((((((triple7 triple6) -> rule9)) -> rule3) ((triple7 triple6) -> rule9)) -> rule5)) -> rule4)) -> rule9) OR ((((((((triple7 ((triple7) -> rule4)) -> rule9)) -> rule3) ((triple7 triple6) -> rule9)) -> rule5) ((((((((triple7 triple6) -> rule9)) -> rule3) ((triple7 triple6) -> rule9)) -> rule5)) -> rule4)) -> rule9) OR ((((((((triple7 triple6) -> rule9)) -> rule3) ((triple7 ((triple7) -> rule4)) -> rule9)) -> rule5) ((((((((triple7 triple6) -> rule9)) -> rule3) ((triple7 ((triple7) -> rule4)) -> rule9)) -> rule5)) -> rule4)) -> rule9) OR ((((((((triple7 ((triple7) -> rule4)) -> rule9)) -> rule3) ((triple7 triple6) -> rule9)) -> rule5) ((((((((triple7 triple6) -> rule9)) -> rule3) ((triple7 ((triple7) -> rule4)) -> rule9)) -> rule5)) -> rule4)) -> rule9) OR ((((((((triple7 ((triple7) -> rule4)) -> rule9)) -> rule3) ((triple7 ((triple7) -> rule4)) -> rule9)) -> rule5) ((((((((triple7 triple6) -> rule9)) -> rule3) ((triple7 triple6) -> rule9)) -> rule5)) -> rule4)) -> rule9) OR ((((((((triple7 ((triple7) -> rule4)) -> rule9)) -> rule3) ((triple7 ((triple7) -> rule4)) -> rule9)) -> rule5) ((((((((triple7 triple6) -> rule9)) -> rule3) ((triple7 ((triple7) -> rule4)) -> rule9)) -> rule5)) -> rule4)) -> rule9) OR ((((((((triple7 triple6) -> rule9)) -> rule3) ((triple7 triple6) -> rule9)) -> rule5) ((((((((triple7 ((triple7) -> rule4)) -> rule9)) -> rule3) ((triple7 triple6) -> rule9)) -> rule5)) -> rule4)) -> rule9) OR ((((((((triple7 triple6) -> rule9)) -> rule3) ((triple7 triple6) -> rule9)) -> rule5) ((((((((triple7 ((triple7) -> rule4)) -> rule9)) -> rule3) ((triple7 ((triple7) -> rule4)) -> rule9)) -> rule5)) -> rule4)) -> rule9) OR ((((((((triple7 triple6) -> rule9)) -> rule3) ((triple7 ((triple7) -> rule4)) -> rule9)) -> rule5) ((((((((triple7 ((triple7) -> rule4)) -> rule9)) -> rule3) ((triple7 triple6) -> rule9)) -> rule5)) -> rule4)) -> rule9) OR ((((((((triple7 ((triple7) -> rule4)) -> rule9)) -> rule3) ((triple7 triple6) -> rule9)) -> rule5) ((((((((triple7 ((triple7) -> rule4)) -> rule9)) -> rule3) ((triple7 triple6) -> rule9)) -> rule5)) -> rule4)) -> rule9) OR ((((((((triple7 triple6) -> rule9)) -> rule3) ((triple7 ((triple7) -> rule4)) -> rule9)) -> rule5) ((((((((triple7 ((triple7) -> rule4)) -> rule9)) -> rule3) ((triple7 ((triple7) -> rule4)) -> rule9)) -> rule5)) -> rule4)) -> rule9) OR ((((((((triple7 ((triple7) -> rule4)) -> rule9)) -> rule3) ((triple7 triple6) -> rule9)) -> rule5) ((((((((triple7 ((triple7) -> rule4)) -> rule9)) -> rule3) ((triple7 ((triple7) -> rule4)) -> rule9)) -> rule5)) -> rule4)) -> rule9) OR ((((((((triple7 ((triple7) -> rule4)) -> rule9)) -> rule3) ((triple7 ((triple7) -> rule4)) -> rule9)) -> rule5) ((((((((triple7 ((triple7) -> rule4)) -> rule9)) -> rule3) ((triple7 triple6) -> rule9)) -> rule5)) -> rule4)) -> rule9) OR ((((((((triple7 ((triple7) -> rule4)) -> rule9)) -> rule3) ((triple7 ((triple7) -> rule4)) -> rule9)) -> rule5) ((((((((triple7 ((triple7) -> rule4)) -> rule9)) -> rule3) ((triple7 ((triple7) -> rule4)) -> rule9)) -> rule5)) -> rule4)) -> rule9))]
The bear needs the mouse.
("bear" "needs" "mouse" "+")
triple1
The bear visits the lion.
("bear" "visits" "lion" "+")
triple2
The lion needs the bear.
("lion" "needs" "bear" "+")
triple3
The mouse chases the lion.
("mouse" "chases" "lion" "+")
triple4
The mouse is big.
("mouse" "is" "big" "+")
triple5
The mouse is cold.
("mouse" "is" "cold" "+")
triple6
((triple7) -> (rule4 % int1))
The mouse is cold.
("mouse" "is" "cold" "+")
int1
The mouse is rough.
("mouse" "is" "rough" "+")
triple7
The mouse needs the lion.
("mouse" "needs" "lion" "+")
triple8
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
triple9
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
triple10
The squirrel is big.
("squirrel" "is" "big" "+")
triple11
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
triple12
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
triple13
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
triple14
The lion is big.
("lion" "is" "big" "+")
((triple2) -> (rule7 % int1))
The lion is big.
("lion" "is" "big" "+")
int1
The mouse chases the bear.
("mouse" "chases" "bear" "+")
((triple7 triple6) -> (rule9 % int1))
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int1
((triple7 ((triple7) -> (rule4 % int2))) -> (rule9 % int1))
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int1
The mouse is cold.
("mouse" "is" "cold" "+")
int2
The mouse is red.
("mouse" "is" "red" "+")
((((triple7 triple6) -> (rule9 % int2))) -> (rule3 % int1))
The mouse is red.
("mouse" "is" "red" "+")
int1
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int2
((((triple7 ((triple7) -> (rule4 % int3))) -> (rule9 % int2))) -> (rule3 % int1))
The mouse is red.
("mouse" "is" "red" "+")
int1
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int2
The mouse is cold.
("mouse" "is" "cold" "+")
int3
The bear is rough.
("bear" "is" "rough" "+")
((((((triple7 triple6) -> (rule9 % int3))) -> (rule3 % int2)) ((triple7 triple6) -> (rule9 % int3))) -> (rule5 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The mouse is red.
("mouse" "is" "red" "+")
int2
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int3
((((((triple7 triple6) -> (rule9 % int4))) -> (rule3 % int3)) ((triple7 ((triple7) -> (rule4 % int2))) -> (rule9 % int4))) -> (rule5 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The mouse is cold.
("mouse" "is" "cold" "+")
int2
The mouse is red.
("mouse" "is" "red" "+")
int3
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int4
((((((triple7 ((triple7) -> (rule4 % int4))) -> (rule9 % int3))) -> (rule3 % int2)) ((triple7 triple6) -> (rule9 % int3))) -> (rule5 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The mouse is red.
("mouse" "is" "red" "+")
int2
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int3
The mouse is cold.
("mouse" "is" "cold" "+")
int4
((((((triple7 ((triple7) -> (rule4 % int4))) -> (rule9 % int3))) -> (rule3 % int2)) ((triple7 ((triple7) -> (rule4 % int4))) -> (rule9 % int3))) -> (rule5 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The mouse is red.
("mouse" "is" "red" "+")
int2
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int3
The mouse is cold.
("mouse" "is" "cold" "+")
int4
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
((((((triple7 triple6) -> (rule9 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse is red.
("mouse" "is" "red" "+")
int2
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int3
((((((triple7 ((triple7) -> (rule4 % int4))) -> (rule9 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse is red.
("mouse" "is" "red" "+")
int2
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int3
The mouse is cold.
("mouse" "is" "cold" "+")
int4
The bear is cold.
("bear" "is" "cold" "+")
((((((((triple7 triple6) -> (rule9 % int4))) -> (rule3 % int3)) ((triple7 triple6) -> (rule9 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear is rough.
("bear" "is" "rough" "+")
int2
The mouse is red.
("mouse" "is" "red" "+")
int3
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int4
((((((((triple7 triple6) -> (rule9 % int5))) -> (rule3 % int4)) ((triple7 ((triple7) -> (rule4 % int3))) -> (rule9 % int5))) -> (rule5 % int2))) -> (rule4 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear is rough.
("bear" "is" "rough" "+")
int2
The mouse is cold.
("mouse" "is" "cold" "+")
int3
The mouse is red.
("mouse" "is" "red" "+")
int4
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int5
((((((((triple7 ((triple7) -> (rule4 % int5))) -> (rule9 % int4))) -> (rule3 % int3)) ((triple7 triple6) -> (rule9 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear is rough.
("bear" "is" "rough" "+")
int2
The mouse is red.
("mouse" "is" "red" "+")
int3
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int4
The mouse is cold.
("mouse" "is" "cold" "+")
int5
((((((((triple7 ((triple7) -> (rule4 % int5))) -> (rule9 % int4))) -> (rule3 % int3)) ((triple7 ((triple7) -> (rule4 % int5))) -> (rule9 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear is rough.
("bear" "is" "rough" "+")
int2
The mouse is red.
("mouse" "is" "red" "+")
int3
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int4
The mouse is cold.
("mouse" "is" "cold" "+")
int5
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
((triple6 ((((((triple7 triple6) -> (rule9 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
int1
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int2
The mouse is red.
("mouse" "is" "red" "+")
int3
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int4
((((triple7) -> (rule4 % int5)) ((((((triple7 triple6) -> (rule9 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
int1
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int2
The mouse is red.
("mouse" "is" "red" "+")
int3
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int4
The mouse is cold.
("mouse" "is" "cold" "+")
int5
((triple6 ((((((triple7 ((triple7) -> (rule4 % int5))) -> (rule9 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
int1
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int2
The mouse is red.
("mouse" "is" "red" "+")
int3
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int4
The mouse is cold.
("mouse" "is" "cold" "+")
int5
((((triple7) -> (rule4 % int5)) ((((((triple7 ((triple7) -> (rule4 % int5))) -> (rule9 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
int1
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int2
The mouse is red.
("mouse" "is" "red" "+")
int3
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int4
The mouse is cold.
("mouse" "is" "cold" "+")
int5
The bear chases the bear.
("bear" "chases" "bear" "+")
((((((((triple7 triple6) -> (rule9 % int5))) -> (rule3 % int4)) ((triple7 triple6) -> (rule9 % int5))) -> (rule5 % int3)) ((((((((triple7 triple6) -> (rule9 % int5))) -> (rule3 % int4)) ((triple7 triple6) -> (rule9 % int5))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The bear is rough.
("bear" "is" "rough" "+")
int3
The mouse is red.
("mouse" "is" "red" "+")
int4
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int5
((((((((triple7 triple6) -> (rule9 % int6))) -> (rule3 % int5)) ((triple7 triple6) -> (rule9 % int6))) -> (rule5 % int4)) ((((((((triple7 triple6) -> (rule9 % int6))) -> (rule3 % int5)) ((triple7 ((triple7) -> (rule4 % int3))) -> (rule9 % int6))) -> (rule5 % int4))) -> (rule4 % int2))) -> (rule9 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The mouse is cold.
("mouse" "is" "cold" "+")
int3
The bear is rough.
("bear" "is" "rough" "+")
int4
The mouse is red.
("mouse" "is" "red" "+")
int5
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int6
((((((((triple7 triple6) -> (rule9 % int6))) -> (rule3 % int5)) ((triple7 ((triple7) -> (rule4 % int4))) -> (rule9 % int6))) -> (rule5 % int3)) ((((((((triple7 triple6) -> (rule9 % int6))) -> (rule3 % int5)) ((triple7 triple6) -> (rule9 % int6))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The bear is rough.
("bear" "is" "rough" "+")
int3
The mouse is cold.
("mouse" "is" "cold" "+")
int4
The mouse is red.
("mouse" "is" "red" "+")
int5
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int6
((((((((triple7 ((triple7) -> (rule4 % int6))) -> (rule9 % int5))) -> (rule3 % int4)) ((triple7 triple6) -> (rule9 % int5))) -> (rule5 % int3)) ((((((((triple7 triple6) -> (rule9 % int5))) -> (rule3 % int4)) ((triple7 triple6) -> (rule9 % int5))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The bear is rough.
("bear" "is" "rough" "+")
int3
The mouse is red.
("mouse" "is" "red" "+")
int4
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int5
The mouse is cold.
("mouse" "is" "cold" "+")
int6
((((((((triple7 triple6) -> (rule9 % int6))) -> (rule3 % int5)) ((triple7 ((triple7) -> (rule4 % int4))) -> (rule9 % int6))) -> (rule5 % int3)) ((((((((triple7 triple6) -> (rule9 % int6))) -> (rule3 % int5)) ((triple7 ((triple7) -> (rule4 % int4))) -> (rule9 % int6))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The bear is rough.
("bear" "is" "rough" "+")
int3
The mouse is cold.
("mouse" "is" "cold" "+")
int4
The mouse is red.
("mouse" "is" "red" "+")
int5
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int6
((((((((triple7 ((triple7) -> (rule4 % int6))) -> (rule9 % int5))) -> (rule3 % int4)) ((triple7 triple6) -> (rule9 % int5))) -> (rule5 % int3)) ((((((((triple7 triple6) -> (rule9 % int5))) -> (rule3 % int4)) ((triple7 ((triple7) -> (rule4 % int6))) -> (rule9 % int5))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The bear is rough.
("bear" "is" "rough" "+")
int3
The mouse is red.
("mouse" "is" "red" "+")
int4
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int5
The mouse is cold.
("mouse" "is" "cold" "+")
int6
((((((((triple7 ((triple7) -> (rule4 % int6))) -> (rule9 % int5))) -> (rule3 % int4)) ((triple7 ((triple7) -> (rule4 % int6))) -> (rule9 % int5))) -> (rule5 % int3)) ((((((((triple7 triple6) -> (rule9 % int5))) -> (rule3 % int4)) ((triple7 triple6) -> (rule9 % int5))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The bear is rough.
("bear" "is" "rough" "+")
int3
The mouse is red.
("mouse" "is" "red" "+")
int4
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int5
The mouse is cold.
("mouse" "is" "cold" "+")
int6
((((((((triple7 ((triple7) -> (rule4 % int6))) -> (rule9 % int5))) -> (rule3 % int4)) ((triple7 ((triple7) -> (rule4 % int6))) -> (rule9 % int5))) -> (rule5 % int3)) ((((((((triple7 triple6) -> (rule9 % int5))) -> (rule3 % int4)) ((triple7 ((triple7) -> (rule4 % int6))) -> (rule9 % int5))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The bear is rough.
("bear" "is" "rough" "+")
int3
The mouse is red.
("mouse" "is" "red" "+")
int4
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int5
The mouse is cold.
("mouse" "is" "cold" "+")
int6
((((((((triple7 triple6) -> (rule9 % int6))) -> (rule3 % int5)) ((triple7 triple6) -> (rule9 % int6))) -> (rule5 % int4)) ((((((((triple7 ((triple7) -> (rule4 % int3))) -> (rule9 % int6))) -> (rule3 % int5)) ((triple7 triple6) -> (rule9 % int6))) -> (rule5 % int4))) -> (rule4 % int2))) -> (rule9 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The mouse is cold.
("mouse" "is" "cold" "+")
int3
The bear is rough.
("bear" "is" "rough" "+")
int4
The mouse is red.
("mouse" "is" "red" "+")
int5
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int6
((((((((triple7 triple6) -> (rule9 % int6))) -> (rule3 % int5)) ((triple7 triple6) -> (rule9 % int6))) -> (rule5 % int4)) ((((((((triple7 ((triple7) -> (rule4 % int3))) -> (rule9 % int6))) -> (rule3 % int5)) ((triple7 ((triple7) -> (rule4 % int3))) -> (rule9 % int6))) -> (rule5 % int4))) -> (rule4 % int2))) -> (rule9 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The mouse is cold.
("mouse" "is" "cold" "+")
int3
The bear is rough.
("bear" "is" "rough" "+")
int4
The mouse is red.
("mouse" "is" "red" "+")
int5
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int6
((((((((triple7 triple6) -> (rule9 % int6))) -> (rule3 % int5)) ((triple7 ((triple7) -> (rule4 % int4))) -> (rule9 % int6))) -> (rule5 % int3)) ((((((((triple7 ((triple7) -> (rule4 % int4))) -> (rule9 % int6))) -> (rule3 % int5)) ((triple7 triple6) -> (rule9 % int6))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The bear is rough.
("bear" "is" "rough" "+")
int3
The mouse is cold.
("mouse" "is" "cold" "+")
int4
The mouse is red.
("mouse" "is" "red" "+")
int5
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int6
((((((((triple7 ((triple7) -> (rule4 % int6))) -> (rule9 % int5))) -> (rule3 % int4)) ((triple7 triple6) -> (rule9 % int5))) -> (rule5 % int3)) ((((((((triple7 ((triple7) -> (rule4 % int6))) -> (rule9 % int5))) -> (rule3 % int4)) ((triple7 triple6) -> (rule9 % int5))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The bear is rough.
("bear" "is" "rough" "+")
int3
The mouse is red.
("mouse" "is" "red" "+")
int4
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int5
The mouse is cold.
("mouse" "is" "cold" "+")
int6
((((((((triple7 triple6) -> (rule9 % int6))) -> (rule3 % int5)) ((triple7 ((triple7) -> (rule4 % int4))) -> (rule9 % int6))) -> (rule5 % int3)) ((((((((triple7 ((triple7) -> (rule4 % int4))) -> (rule9 % int6))) -> (rule3 % int5)) ((triple7 ((triple7) -> (rule4 % int4))) -> (rule9 % int6))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The bear is rough.
("bear" "is" "rough" "+")
int3
The mouse is cold.
("mouse" "is" "cold" "+")
int4
The mouse is red.
("mouse" "is" "red" "+")
int5
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int6
((((((((triple7 ((triple7) -> (rule4 % int6))) -> (rule9 % int5))) -> (rule3 % int4)) ((triple7 triple6) -> (rule9 % int5))) -> (rule5 % int3)) ((((((((triple7 ((triple7) -> (rule4 % int6))) -> (rule9 % int5))) -> (rule3 % int4)) ((triple7 ((triple7) -> (rule4 % int6))) -> (rule9 % int5))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The bear is rough.
("bear" "is" "rough" "+")
int3
The mouse is red.
("mouse" "is" "red" "+")
int4
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int5
The mouse is cold.
("mouse" "is" "cold" "+")
int6
((((((((triple7 ((triple7) -> (rule4 % int6))) -> (rule9 % int5))) -> (rule3 % int4)) ((triple7 ((triple7) -> (rule4 % int6))) -> (rule9 % int5))) -> (rule5 % int3)) ((((((((triple7 ((triple7) -> (rule4 % int6))) -> (rule9 % int5))) -> (rule3 % int4)) ((triple7 triple6) -> (rule9 % int5))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The bear is rough.
("bear" "is" "rough" "+")
int3
The mouse is red.
("mouse" "is" "red" "+")
int4
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int5
The mouse is cold.
("mouse" "is" "cold" "+")
int6
((((((((triple7 ((triple7) -> (rule4 % int6))) -> (rule9 % int5))) -> (rule3 % int4)) ((triple7 ((triple7) -> (rule4 % int6))) -> (rule9 % int5))) -> (rule5 % int3)) ((((((((triple7 ((triple7) -> (rule4 % int6))) -> (rule9 % int5))) -> (rule3 % int4)) ((triple7 ((triple7) -> (rule4 % int6))) -> (rule9 % int5))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The bear is rough.
("bear" "is" "rough" "+")
int3
The mouse is red.
("mouse" "is" "red" "+")
int4
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int5
The mouse is cold.
("mouse" "is" "cold" "+")
int6