The cat likes the tiger. The lion is green. The lion needs the squirrel. The squirrel is blue. The squirrel is kind. The squirrel likes the lion. The squirrel needs the cat. The squirrel needs the tiger. The tiger chases the cat. The tiger chases the lion. The tiger is kind. The tiger needs the lion. If someone needs the lion and they chase the lion then they are blue. If someone needs the tiger and they are red then they like the lion. If someone needs the cat then they are red. If the cat needs the tiger and the tiger is blue then the cat likes the tiger. If someone is red then they need the tiger. If the cat likes the tiger and the cat needs the squirrel then the squirrel needs the tiger. If someone is blue then they need the cat. If someone needs the lion and they are kind then they chase the cat. If someone likes the lion then they are round.
The cat likes the tiger.
("cat" "likes" "tiger" "+")
The lion is green.
("lion" "is" "green" "+")
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
The tiger chases the cat.
("tiger" "chases" "cat" "+")
The tiger chases the lion.
("tiger" "chases" "lion" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger needs the lion.
("tiger" "needs" "lion" "+")
If someone needs the lion and they chase the lion then they are blue.
((("someone" "needs" "lion" "+") ("someone" "chases" "lion" "+")) -> ("someone" "is" "blue" "+"))
If someone needs the tiger and they are red then they like the lion.
((("someone" "needs" "tiger" "+") ("someone" "is" "red" "+")) -> ("someone" "likes" "lion" "+"))
If someone needs the cat then they are red.
((("someone" "needs" "cat" "+")) -> ("someone" "is" "red" "+"))
If the cat needs the tiger and the tiger is blue then the cat likes the tiger.
((("cat" "needs" "tiger" "+") ("tiger" "is" "blue" "+")) -> ("cat" "likes" "tiger" "+"))
If someone is red then they need the tiger.
((("someone" "is" "red" "+")) -> ("someone" "needs" "tiger" "+"))
If the cat likes the tiger and the cat needs the squirrel then the squirrel needs the tiger.
((("cat" "likes" "tiger" "+") ("cat" "needs" "squirrel" "+")) -> ("squirrel" "needs" "tiger" "+"))
If someone is blue then they need the cat.
((("someone" "is" "blue" "+")) -> ("someone" "needs" "cat" "+"))
If someone needs the lion and they are kind then they chase the cat.
((("someone" "needs" "lion" "+") ("someone" "is" "kind" "+")) -> ("someone" "chases" "cat" "+"))
If someone likes the lion then they are round.
((("someone" "likes" "lion" "+")) -> ("someone" "is" "round" "+"))
The squirrel likes the lion.
True
1
proof
[(triple6 OR ((triple8 ((triple7) -> rule3)) -> rule2) OR ((triple8 ((((triple4) -> rule7)) -> rule3)) -> rule2) OR ((((((triple7) -> rule3)) -> rule5) ((triple7) -> rule3)) -> rule2) OR ((((((triple7) -> rule3)) -> rule5) ((((triple4) -> rule7)) -> rule3)) -> rule2) OR ((((((((triple4) -> rule7)) -> rule3)) -> rule5) ((triple7) -> rule3)) -> rule2) OR ((((((((triple4) -> rule7)) -> rule3)) -> rule5) ((((triple4) -> rule7)) -> rule3)) -> rule2))]
("squirrel" "likes" "lion" "+")
triple6
((triple8 ((triple7) -> (rule3 % int2))) -> (rule2 % int1))
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2
((triple8 ((((triple4) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
int3
((((((triple7) -> (rule3 % int3))) -> (rule5 % int2)) ((triple7) -> (rule3 % int3))) -> (rule2 % int1))
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
int1
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
int3
((((((triple7) -> (rule3 % int4))) -> (rule5 % int3)) ((((triple4) -> (rule7 % int2))) -> (rule3 % int4))) -> (rule2 % int1))
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
int1
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
int2
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
int3
The squirrel is red.
("squirrel" "is" "red" "+")
int4
((((((((triple4) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) ((triple7) -> (rule3 % int3))) -> (rule2 % int1))
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
int1
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
int3
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
int4
((((((((triple4) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) ((((triple4) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule2 % int1))
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
int1
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
int3
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
int4
The lion does not need the squirrel.
False
1
inv-proof
[(triple3)]
("lion" "needs" "squirrel" "-")
triple3
The tiger is blue.
True
3
proof
[(((triple12 triple10) -> rule1))]
("tiger" "is" "blue" "+")
((triple12 triple10) -> (rule1 % int1))
The tiger is blue.
("tiger" "is" "blue" "+")
int1
The tiger is not blue.
False
3
inv-proof
[(((triple12 triple10) -> rule1))]
("tiger" "is" "blue" "-")
((triple12 triple10) -> (rule1 % int1))
The tiger is blue.
("tiger" "is" "blue" "+")
int1
The tiger needs the cat.
True
4
proof
[(((((triple12 triple10) -> rule1)) -> rule7))]
("tiger" "needs" "cat" "+")
((((triple12 triple10) -> (rule1 % int2))) -> (rule7 % int1))
The tiger needs the cat.
("tiger" "needs" "cat" "+")
int1
The tiger is blue.
("tiger" "is" "blue" "+")
int2
The tiger does not need the cat.
False
4
inv-proof
[(((((triple12 triple10) -> rule1)) -> rule7))]
("tiger" "needs" "cat" "-")
((((triple12 triple10) -> (rule1 % int2))) -> (rule7 % int1))
The tiger needs the cat.
("tiger" "needs" "cat" "+")
int1
The tiger is blue.
("tiger" "is" "blue" "+")
int2
The tiger is red.
True
5
proof
[(((((((triple12 triple10) -> rule1)) -> rule7)) -> rule3))]
("tiger" "is" "red" "+")
((((((triple12 triple10) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
The tiger is red.
("tiger" "is" "red" "+")
int1
The tiger needs the cat.
("tiger" "needs" "cat" "+")
int2
The tiger is blue.
("tiger" "is" "blue" "+")
int3
The tiger is not red.
False
5
inv-proof
[(((((((triple12 triple10) -> rule1)) -> rule7)) -> rule3))]
("tiger" "is" "red" "-")
((((((triple12 triple10) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
The tiger is red.
("tiger" "is" "red" "+")
int1
The tiger needs the cat.
("tiger" "needs" "cat" "+")
int2
The tiger is blue.
("tiger" "is" "blue" "+")
int3
The tiger needs the tiger.
True
6
proof
[(((((((((triple12 triple10) -> rule1)) -> rule7)) -> rule3)) -> rule5))]
("tiger" "needs" "tiger" "+")
((((((((triple12 triple10) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int1
The tiger is red.
("tiger" "is" "red" "+")
int2
The tiger needs the cat.
("tiger" "needs" "cat" "+")
int3
The tiger is blue.
("tiger" "is" "blue" "+")
int4
The tiger does not need the tiger.
False
6
inv-proof
[(((((((((triple12 triple10) -> rule1)) -> rule7)) -> rule3)) -> rule5))]
("tiger" "needs" "tiger" "-")
((((((((triple12 triple10) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int1
The tiger is red.
("tiger" "is" "red" "+")
int2
The tiger needs the cat.
("tiger" "needs" "cat" "+")
int3
The tiger is blue.
("tiger" "is" "blue" "+")
int4
The tiger likes the lion.
True
12
proof
[(((((((((((triple12 triple10) -> rule1)) -> rule7)) -> rule3)) -> rule5) ((((((triple12 triple10) -> rule1)) -> rule7)) -> rule3)) -> rule2))]
("tiger" "likes" "lion" "+")
((((((((((triple12 triple10) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) ((((((triple12 triple10) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule2 % int1))
The tiger likes the lion.
("tiger" "likes" "lion" "+")
int1
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int2
The tiger is red.
("tiger" "is" "red" "+")
int3
The tiger needs the cat.
("tiger" "needs" "cat" "+")
int4
The tiger is blue.
("tiger" "is" "blue" "+")
int5
The tiger does not like the lion.
False
12
inv-proof
[(((((((((((triple12 triple10) -> rule1)) -> rule7)) -> rule3)) -> rule5) ((((((triple12 triple10) -> rule1)) -> rule7)) -> rule3)) -> rule2))]
("tiger" "likes" "lion" "-")
((((((((((triple12 triple10) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) ((((((triple12 triple10) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule2 % int1))
The tiger likes the lion.
("tiger" "likes" "lion" "+")
int1
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int2
The tiger is red.
("tiger" "is" "red" "+")
int3
The tiger needs the cat.
("tiger" "needs" "cat" "+")
int4
The tiger is blue.
("tiger" "is" "blue" "+")
int5
The squirrel does not chase the cat.
Unknown
inv-rconc
[@1: The squirrel chases the cat.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("squirrel" "chases" "cat" "-")
The lion needs the tiger.
Unknown
rconc
[@4: The lion needs the tiger.[CWA. Example of deepest failure = (rule5 <- rule3 <- rule7 <- rule1 <- FAIL)]]
("lion" "needs" "tiger" "+")
The lion is not blue.
Unknown
inv-rconc
[@1: The lion is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "is" "blue" "-")
The cat needs the tiger.
Unknown
rconc
[@4: The cat needs the tiger.[CWA. Example of deepest failure = (rule5 <- rule3 <- rule7 <- rule1 <- FAIL)]]
("cat" "needs" "tiger" "+")
The cat does not like the lion.
Unknown
inv-rconc
[@4: The cat likes the lion.[CWA. Example of deepest failure = (rule2 <- rule3 <- rule7 <- rule1 <- FAIL)]]
("cat" "likes" "lion" "-")
The lion is red.
Unknown
rconc
[@3: The lion is red.[CWA. Example of deepest failure = (rule3 <- rule7 <- rule1 <- FAIL)]]
("lion" "is" "red" "+")
The tiger does not chase the tiger.
Unknown
inv-random
[@0: The tiger chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "tiger" "-")
The cat chases the lion.
Unknown
random
[@0: The cat chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "lion" "+")
The lion does not like the cat.
Unknown
inv-random
[@0: The lion likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "cat" "-")
The squirrel chases the lion.
Unknown
random
[@0: The squirrel chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "lion" "+")
The tiger does not need the squirrel.
Unknown
inv-random
[@0: The tiger needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "squirrel" "-")
The cat chases the tiger.
Unknown
random
[@0: The cat chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "tiger" "+")
@0: The cat likes the tiger.[(triple1)] The lion is green.[(triple2)] The lion needs the squirrel.[(triple3)] The squirrel is blue.[(triple4)] The squirrel is kind.[(triple5)] The squirrel likes the lion.[(triple6 OR ((triple8 ((triple7) -> rule3)) -> rule2) OR ((triple8 ((((triple4) -> rule7)) -> rule3)) -> rule2) OR ((((((triple7) -> rule3)) -> rule5) ((triple7) -> rule3)) -> rule2) OR ((((((triple7) -> rule3)) -> rule5) ((((triple4) -> rule7)) -> rule3)) -> rule2) OR ((((((((triple4) -> rule7)) -> rule3)) -> rule5) ((triple7) -> rule3)) -> rule2) OR ((((((((triple4) -> rule7)) -> rule3)) -> rule5) ((((triple4) -> rule7)) -> rule3)) -> rule2))] The squirrel needs the cat.[(triple7 OR ((triple4) -> rule7))] The squirrel needs the tiger.[(triple8 OR ((((triple7) -> rule3)) -> rule5) OR ((((((triple4) -> rule7)) -> rule3)) -> rule5))] The tiger chases the cat.[(triple9 OR ((triple12 triple11) -> rule8))] The tiger chases the lion.[(triple10)] The tiger is kind.[(triple11)] The tiger needs the lion.[(triple12)] @1: The squirrel is red.[(((triple7) -> rule3) OR ((((triple4) -> rule7)) -> rule3))] The squirrel is round.[(((triple6) -> rule9) OR ((((triple8 ((triple7) -> rule3)) -> rule2)) -> rule9) OR ((((triple8 ((((triple4) -> rule7)) -> rule3)) -> rule2)) -> rule9) OR ((((((((triple7) -> rule3)) -> rule5) ((triple7) -> rule3)) -> rule2)) -> rule9) OR ((((((((triple7) -> rule3)) -> rule5) ((((triple4) -> rule7)) -> rule3)) -> rule2)) -> rule9) OR ((((((((((triple4) -> rule7)) -> rule3)) -> rule5) ((triple7) -> rule3)) -> rule2)) -> rule9) OR ((((((((((triple4) -> rule7)) -> rule3)) -> rule5) ((((triple4) -> rule7)) -> rule3)) -> rule2)) -> rule9))] The tiger is blue.[(((triple12 triple10) -> rule1))] @2: The tiger needs the cat.[(((((triple12 triple10) -> rule1)) -> rule7))] @3: The tiger is red.[(((((((triple12 triple10) -> rule1)) -> rule7)) -> rule3))] @4: The tiger needs the tiger.[(((((((((triple12 triple10) -> rule1)) -> rule7)) -> rule3)) -> rule5))] @5: The tiger likes the lion.[(((((((((((triple12 triple10) -> rule1)) -> rule7)) -> rule3)) -> rule5) ((((((triple12 triple10) -> rule1)) -> rule7)) -> rule3)) -> rule2))] @6: The tiger is round.[(((((((((((((triple12 triple10) -> rule1)) -> rule7)) -> rule3)) -> rule5) ((((((triple12 triple10) -> rule1)) -> rule7)) -> rule3)) -> rule2)) -> rule9))]
The cat likes the tiger.
("cat" "likes" "tiger" "+")
triple1
The lion is green.
("lion" "is" "green" "+")
triple2
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
triple3
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple4
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple5
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
triple6
((triple8 ((triple7) -> (rule3 % int2))) -> (rule2 % int1))
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2
((triple8 ((((triple4) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
int3
((((((triple7) -> (rule3 % int3))) -> (rule5 % int2)) ((triple7) -> (rule3 % int3))) -> (rule2 % int1))
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
int1
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
int3
((((((triple7) -> (rule3 % int4))) -> (rule5 % int3)) ((((triple4) -> (rule7 % int2))) -> (rule3 % int4))) -> (rule2 % int1))
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
int1
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
int2
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
int3
The squirrel is red.
("squirrel" "is" "red" "+")
int4
((((((((triple4) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) ((triple7) -> (rule3 % int3))) -> (rule2 % int1))
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
int1
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
int3
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
int4
((((((((triple4) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) ((((triple4) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule2 % int1))
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
int1
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
int3
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
int4
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
triple7
((triple4) -> (rule7 % int1))
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
int1
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
triple8
((((triple7) -> (rule3 % int2))) -> (rule5 % int1))
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2
((((((triple4) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
int3
The tiger chases the cat.
("tiger" "chases" "cat" "+")
triple9
((triple12 triple11) -> (rule8 % int1))
The tiger chases the cat.
("tiger" "chases" "cat" "+")
int1
The tiger chases the lion.
("tiger" "chases" "lion" "+")
triple10
The tiger is kind.
("tiger" "is" "kind" "+")
triple11
The tiger needs the lion.
("tiger" "needs" "lion" "+")
triple12
The squirrel is red.
("squirrel" "is" "red" "+")
((triple7) -> (rule3 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
((((triple4) -> (rule7 % int2))) -> (rule3 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
int2
The squirrel is round.
("squirrel" "is" "round" "+")
((triple6) -> (rule9 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
((((triple8 ((triple7) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
int3
((((triple8 ((((triple4) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
int3
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
int4
((((((((triple7) -> (rule3 % int4))) -> (rule5 % int3)) ((triple7) -> (rule3 % int4))) -> (rule2 % int2))) -> (rule9 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
int2
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
int3
The squirrel is red.
("squirrel" "is" "red" "+")
int4
((((((((triple7) -> (rule3 % int5))) -> (rule5 % int4)) ((((triple4) -> (rule7 % int3))) -> (rule3 % int5))) -> (rule2 % int2))) -> (rule9 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
int2
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
int3
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
int4
The squirrel is red.
("squirrel" "is" "red" "+")
int5
((((((((((triple4) -> (rule7 % int5))) -> (rule3 % int4))) -> (rule5 % int3)) ((triple7) -> (rule3 % int4))) -> (rule2 % int2))) -> (rule9 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
int2
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
int3
The squirrel is red.
("squirrel" "is" "red" "+")
int4
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
int5
((((((((((triple4) -> (rule7 % int5))) -> (rule3 % int4))) -> (rule5 % int3)) ((((triple4) -> (rule7 % int5))) -> (rule3 % int4))) -> (rule2 % int2))) -> (rule9 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
int2
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
int3
The squirrel is red.
("squirrel" "is" "red" "+")
int4
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
int5
The tiger is blue.
("tiger" "is" "blue" "+")
((triple12 triple10) -> (rule1 % int1))
The tiger is blue.
("tiger" "is" "blue" "+")
int1
The tiger needs the cat.
("tiger" "needs" "cat" "+")
((((triple12 triple10) -> (rule1 % int2))) -> (rule7 % int1))
The tiger needs the cat.
("tiger" "needs" "cat" "+")
int1
The tiger is blue.
("tiger" "is" "blue" "+")
int2
The tiger is red.
("tiger" "is" "red" "+")
((((((triple12 triple10) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
The tiger is red.
("tiger" "is" "red" "+")
int1
The tiger needs the cat.
("tiger" "needs" "cat" "+")
int2
The tiger is blue.
("tiger" "is" "blue" "+")
int3
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
((((((((triple12 triple10) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int1
The tiger is red.
("tiger" "is" "red" "+")
int2
The tiger needs the cat.
("tiger" "needs" "cat" "+")
int3
The tiger is blue.
("tiger" "is" "blue" "+")
int4
The tiger likes the lion.
("tiger" "likes" "lion" "+")
((((((((((triple12 triple10) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) ((((((triple12 triple10) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule2 % int1))
The tiger likes the lion.
("tiger" "likes" "lion" "+")
int1
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int2
The tiger is red.
("tiger" "is" "red" "+")
int3
The tiger needs the cat.
("tiger" "needs" "cat" "+")
int4
The tiger is blue.
("tiger" "is" "blue" "+")
int5
The tiger is round.
("tiger" "is" "round" "+")
((((((((((((triple12 triple10) -> (rule1 % int6))) -> (rule7 % int5))) -> (rule3 % int4))) -> (rule5 % int3)) ((((((triple12 triple10) -> (rule1 % int6))) -> (rule7 % int5))) -> (rule3 % int4))) -> (rule2 % int2))) -> (rule9 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger likes the lion.
("tiger" "likes" "lion" "+")
int2
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int3
The tiger is red.
("tiger" "is" "red" "+")
int4
The tiger needs the cat.
("tiger" "needs" "cat" "+")
int5
The tiger is blue.
("tiger" "is" "blue" "+")
int6