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