The lion chases the tiger. The lion eats the tiger. The lion is big. The lion is green. The lion is rough. The lion is young. The lion likes the tiger. The tiger chases the lion. The tiger eats the lion. The tiger is big. The tiger is green. The tiger is kind. The tiger is rough. The tiger is young. The tiger likes the lion. If someone chases the tiger and the tiger likes the lion then the tiger is kind. Young people are kind. If someone is rough then they chase the tiger. If someone is kind then they chase the lion. If someone is kind and they chase the lion then they eat the lion. If someone chases the tiger then they like the tiger. If the tiger chases the lion then the lion likes the tiger. If someone eats the tiger then they like the lion.
The lion chases the tiger.
("lion" "chases" "tiger" "+")
The lion eats the tiger.
("lion" "eats" "tiger" "+")
The lion is big.
("lion" "is" "big" "+")
The lion is green.
("lion" "is" "green" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion is young.
("lion" "is" "young" "+")
The lion likes the tiger.
("lion" "likes" "tiger" "+")
The tiger chases the lion.
("tiger" "chases" "lion" "+")
The tiger eats the lion.
("tiger" "eats" "lion" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger is young.
("tiger" "is" "young" "+")
The tiger likes the lion.
("tiger" "likes" "lion" "+")
If someone chases the tiger and the tiger likes the lion then the tiger is kind.
((("someone" "chases" "tiger" "+") ("tiger" "likes" "lion" "+")) -> ("tiger" "is" "kind" "+"))
Young people are kind.
((("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is rough then they chase the tiger.
((("someone" "is" "rough" "+")) -> ("someone" "chases" "tiger" "+"))
If someone is kind then they chase the lion.
((("someone" "is" "kind" "+")) -> ("someone" "chases" "lion" "+"))
If someone is kind and they chase the lion then they eat the lion.
((("someone" "is" "kind" "+") ("someone" "chases" "lion" "+")) -> ("someone" "eats" "lion" "+"))
If someone chases the tiger then they like the tiger.
((("someone" "chases" "tiger" "+")) -> ("someone" "likes" "tiger" "+"))
If the tiger chases the lion then the lion likes the tiger.
((("tiger" "chases" "lion" "+")) -> ("lion" "likes" "tiger" "+"))
If someone eats the tiger then they like the lion.
((("someone" "eats" "tiger" "+")) -> ("someone" "likes" "lion" "+"))
The lion likes the tiger.
True
1
proof
[(triple7 OR ((triple1) -> rule6) OR ((triple8) -> rule7) OR ((((triple12) -> rule4)) -> rule7) OR ((((triple5) -> rule3)) -> rule6) OR ((((((triple14) -> rule2)) -> rule4)) -> rule7) OR ((((((triple1 triple15) -> rule1)) -> rule4)) -> rule7) OR ((((((((triple13) -> rule3) triple15) -> rule1)) -> rule4)) -> rule7) OR ((((((((triple5) -> rule3) triple15) -> rule1)) -> rule4)) -> rule7))]
("lion" "likes" "tiger" "+")
triple7
((triple1) -> (rule6 % int1))
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int1
((triple8) -> (rule7 % int1))
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int1
((((triple12) -> (rule4 % int2))) -> (rule7 % int1))
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int1
The tiger chases the lion.
("tiger" "chases" "lion" "+")
int2
((((triple5) -> (rule3 % int2))) -> (rule6 % int1))
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int1
The lion chases the tiger.
("lion" "chases" "tiger" "+")
int2
((((((triple14) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int1
The tiger chases the lion.
("tiger" "chases" "lion" "+")
int2
The tiger is kind.
("tiger" "is" "kind" "+")
int3
((((((triple1 triple15) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int1
The tiger chases the lion.
("tiger" "chases" "lion" "+")
int2
The tiger is kind.
("tiger" "is" "kind" "+")
int3
((((((((triple13) -> (rule3 % int4)) triple15) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int1
The tiger chases the lion.
("tiger" "chases" "lion" "+")
int2
The tiger is kind.
("tiger" "is" "kind" "+")
int3
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int4
((((((((triple5) -> (rule3 % int4)) triple15) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int1
The tiger chases the lion.
("tiger" "chases" "lion" "+")
int2
The tiger is kind.
("tiger" "is" "kind" "+")
int3
The lion chases the tiger.
("lion" "chases" "tiger" "+")
int4
The tiger is not green.
False
1
inv-proof
[(triple11)]
("tiger" "is" "green" "-")
triple11
The lion is kind.
True
2
proof
[(((triple6) -> rule2))]
("lion" "is" "kind" "+")
((triple6) -> (rule2 % int1))
The lion is kind.
("lion" "is" "kind" "+")
int1
The tiger does not chase the tiger.
False
2
inv-proof
[(((triple13) -> rule3))]
("tiger" "chases" "tiger" "-")
((triple13) -> (rule3 % int1))
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int1
The lion chases the lion.
True
3
proof
[(((((triple6) -> rule2)) -> rule4))]
("lion" "chases" "lion" "+")
((((triple6) -> (rule2 % int2))) -> (rule4 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1
The lion is kind.
("lion" "is" "kind" "+")
int2
The lion does not chase the lion.
False
3
inv-proof
[(((((triple6) -> rule2)) -> rule4))]
("lion" "chases" "lion" "-")
((((triple6) -> (rule2 % int2))) -> (rule4 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1
The lion is kind.
("lion" "is" "kind" "+")
int2
The lion eats the lion.
True
6
proof
[(((((triple6) -> rule2) ((((triple6) -> rule2)) -> rule4)) -> rule5))]
("lion" "eats" "lion" "+")
((((triple6) -> (rule2 % int3)) ((((triple6) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
The lion eats the lion.
("lion" "eats" "lion" "+")
int1
The lion chases the lion.
("lion" "chases" "lion" "+")
int2
The lion is kind.
("lion" "is" "kind" "+")
int3
The lion does not eat the lion.
False
6
inv-proof
[(((((triple6) -> rule2) ((((triple6) -> rule2)) -> rule4)) -> rule5))]
("lion" "eats" "lion" "-")
((((triple6) -> (rule2 % int3)) ((((triple6) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
The lion eats the lion.
("lion" "eats" "lion" "+")
int1
The lion chases the lion.
("lion" "chases" "lion" "+")
int2
The lion is kind.
("lion" "is" "kind" "+")
int3
@0: The lion chases the tiger.[(triple1 OR ((triple5) -> rule3))] The lion eats the tiger.[(triple2)] The lion is big.[(triple3)] The lion is green.[(triple4)] The lion is rough.[(triple5)] The lion is young.[(triple6)] The lion likes the tiger.[(triple7 OR ((triple1) -> rule6) OR ((triple8) -> rule7) OR ((((triple12) -> rule4)) -> rule7) OR ((((triple5) -> rule3)) -> rule6) OR ((((((triple14) -> rule2)) -> rule4)) -> rule7) OR ((((((triple1 triple15) -> rule1)) -> rule4)) -> rule7) OR ((((((((triple13) -> rule3) triple15) -> rule1)) -> rule4)) -> rule7) OR ((((((((triple5) -> rule3) triple15) -> rule1)) -> rule4)) -> rule7))] The tiger chases the lion.[(triple8 OR ((triple12) -> rule4) OR ((((triple14) -> rule2)) -> rule4) OR ((((triple1 triple15) -> rule1)) -> rule4) OR ((((((triple13) -> rule3) triple15) -> rule1)) -> rule4) OR ((((((triple5) -> rule3) triple15) -> rule1)) -> rule4))] The tiger eats the lion.[(triple9 OR ((triple12 triple8) -> rule5) OR ((triple12 ((triple12) -> rule4)) -> rule5) OR ((((triple14) -> rule2) triple8) -> rule5) OR ((((triple1 triple15) -> rule1) triple8) -> rule5) OR ((((triple14) -> rule2) ((triple12) -> rule4)) -> rule5) OR ((((triple1 triple15) -> rule1) ((triple12) -> rule4)) -> rule5) OR ((triple12 ((((triple14) -> rule2)) -> rule4)) -> rule5) OR ((triple12 ((((triple1 triple15) -> rule1)) -> rule4)) -> rule5) OR ((((((triple13) -> rule3) triple15) -> rule1) triple8) -> rule5) OR ((((((triple5) -> rule3) triple15) -> rule1) triple8) -> rule5) OR ((((triple14) -> rule2) ((((triple14) -> rule2)) -> rule4)) -> rule5) OR ((((triple14) -> rule2) ((((triple1 triple15) -> rule1)) -> rule4)) -> rule5) OR ((((triple1 triple15) -> rule1) ((((triple14) -> rule2)) -> rule4)) -> rule5) OR ((((triple1 triple15) -> rule1) ((((triple1 triple15) -> rule1)) -> rule4)) -> rule5) OR ((((((triple13) -> rule3) triple15) -> rule1) ((triple12) -> rule4)) -> rule5) OR ((((((triple5) -> rule3) triple15) -> rule1) ((triple12) -> rule4)) -> rule5) OR ((((((triple13) -> rule3) triple15) -> rule1) ((((triple14) -> rule2)) -> rule4)) -> rule5) OR ((((((triple13) -> rule3) triple15) -> rule1) ((((triple1 triple15) -> rule1)) -> rule4)) -> rule5) OR ((((((triple5) -> rule3) triple15) -> rule1) ((((triple14) -> rule2)) -> rule4)) -> rule5) OR ((((((triple5) -> rule3) triple15) -> rule1) ((((triple1 triple15) -> rule1)) -> rule4)) -> rule5) OR ((triple12 ((((((triple13) -> rule3) triple15) -> rule1)) -> rule4)) -> rule5) OR ((triple12 ((((((triple5) -> rule3) triple15) -> rule1)) -> rule4)) -> rule5) OR ((((triple14) -> rule2) ((((((triple13) -> rule3) triple15) -> rule1)) -> rule4)) -> rule5) OR ((((triple14) -> rule2) ((((((triple5) -> rule3) triple15) -> rule1)) -> rule4)) -> rule5) OR ((((triple1 triple15) -> rule1) ((((((triple13) -> rule3) triple15) -> rule1)) -> rule4)) -> rule5) OR ((((triple1 triple15) -> rule1) ((((((triple5) -> rule3) triple15) -> rule1)) -> rule4)) -> rule5) OR ((((((triple13) -> rule3) triple15) -> rule1) ((((((triple13) -> rule3) triple15) -> rule1)) -> rule4)) -> rule5) OR ((((((triple13) -> rule3) triple15) -> rule1) ((((((triple5) -> rule3) triple15) -> rule1)) -> rule4)) -> rule5) OR ((((((triple5) -> rule3) triple15) -> rule1) ((((((triple13) -> rule3) triple15) -> rule1)) -> rule4)) -> rule5) OR ((((((triple5) -> rule3) triple15) -> rule1) ((((((triple5) -> rule3) triple15) -> rule1)) -> rule4)) -> rule5))] The tiger is big.[(triple10)] The tiger is green.[(triple11)] The tiger is kind.[(triple12 OR ((triple14) -> rule2) OR ((triple1 triple15) -> rule1) OR ((((triple13) -> rule3) triple15) -> rule1) OR ((((triple5) -> rule3) triple15) -> rule1))] The tiger is rough.[(triple13)] The tiger is young.[(triple14)] The tiger likes the lion.[(triple15)] @1: The lion is kind.[(((triple6) -> rule2))] The lion likes the lion.[(((triple2) -> rule8))] The tiger chases the tiger.[(((triple13) -> rule3))] @2: The lion chases the lion.[(((((triple6) -> rule2)) -> rule4))] The tiger likes the tiger.[(((((triple13) -> rule3)) -> rule6))] @3: The lion eats the lion.[(((((triple6) -> rule2) ((((triple6) -> rule2)) -> rule4)) -> rule5))]
The lion chases the tiger.
("lion" "chases" "tiger" "+")
triple1
((triple5) -> (rule3 % int1))
The lion chases the tiger.
("lion" "chases" "tiger" "+")
int1
The lion eats the tiger.
("lion" "eats" "tiger" "+")
triple2
The lion is big.
("lion" "is" "big" "+")
triple3
The lion is green.
("lion" "is" "green" "+")
triple4
The lion is rough.
("lion" "is" "rough" "+")
triple5
The lion is young.
("lion" "is" "young" "+")
triple6
The lion likes the tiger.
("lion" "likes" "tiger" "+")
triple7
((triple1) -> (rule6 % int1))
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int1
((triple8) -> (rule7 % int1))
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int1
((((triple12) -> (rule4 % int2))) -> (rule7 % int1))
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int1
The tiger chases the lion.
("tiger" "chases" "lion" "+")
int2
((((triple5) -> (rule3 % int2))) -> (rule6 % int1))
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int1
The lion chases the tiger.
("lion" "chases" "tiger" "+")
int2
((((((triple14) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int1
The tiger chases the lion.
("tiger" "chases" "lion" "+")
int2
The tiger is kind.
("tiger" "is" "kind" "+")
int3
((((((triple1 triple15) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int1
The tiger chases the lion.
("tiger" "chases" "lion" "+")
int2
The tiger is kind.
("tiger" "is" "kind" "+")
int3
((((((((triple13) -> (rule3 % int4)) triple15) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int1
The tiger chases the lion.
("tiger" "chases" "lion" "+")
int2
The tiger is kind.
("tiger" "is" "kind" "+")
int3
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int4
((((((((triple5) -> (rule3 % int4)) triple15) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int1
The tiger chases the lion.
("tiger" "chases" "lion" "+")
int2
The tiger is kind.
("tiger" "is" "kind" "+")
int3
The lion chases the tiger.
("lion" "chases" "tiger" "+")
int4
The tiger chases the lion.
("tiger" "chases" "lion" "+")
triple8
((triple12) -> (rule4 % int1))
The tiger chases the lion.
("tiger" "chases" "lion" "+")
int1
((((triple14) -> (rule2 % int2))) -> (rule4 % int1))
The tiger chases the lion.
("tiger" "chases" "lion" "+")
int1
The tiger is kind.
("tiger" "is" "kind" "+")
int2
((((triple1 triple15) -> (rule1 % int2))) -> (rule4 % int1))
The tiger chases the lion.
("tiger" "chases" "lion" "+")
int1
The tiger is kind.
("tiger" "is" "kind" "+")
int2
((((((triple13) -> (rule3 % int3)) triple15) -> (rule1 % int2))) -> (rule4 % int1))
The tiger chases the lion.
("tiger" "chases" "lion" "+")
int1
The tiger is kind.
("tiger" "is" "kind" "+")
int2
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int3
((((((triple5) -> (rule3 % int3)) triple15) -> (rule1 % int2))) -> (rule4 % int1))
The tiger chases the lion.
("tiger" "chases" "lion" "+")
int1
The tiger is kind.
("tiger" "is" "kind" "+")
int2
The lion chases the tiger.
("lion" "chases" "tiger" "+")
int3
The tiger eats the lion.
("tiger" "eats" "lion" "+")
triple9
((triple12 triple8) -> (rule5 % int1))
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int1
((triple12 ((triple12) -> (rule4 % int2))) -> (rule5 % int1))
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int1
The tiger chases the lion.
("tiger" "chases" "lion" "+")
int2
((((triple14) -> (rule2 % int2)) triple8) -> (rule5 % int1))
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int1
The tiger is kind.
("tiger" "is" "kind" "+")
int2
((((triple1 triple15) -> (rule1 % int2)) triple8) -> (rule5 % int1))
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int1
The tiger is kind.
("tiger" "is" "kind" "+")
int2
((((triple14) -> (rule2 % int3)) ((triple12) -> (rule4 % int2))) -> (rule5 % int1))
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int1
The tiger chases the lion.
("tiger" "chases" "lion" "+")
int2
The tiger is kind.
("tiger" "is" "kind" "+")
int3
((((triple1 triple15) -> (rule1 % int3)) ((triple12) -> (rule4 % int2))) -> (rule5 % int1))
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int1
The tiger chases the lion.
("tiger" "chases" "lion" "+")
int2
The tiger is kind.
("tiger" "is" "kind" "+")
int3
((triple12 ((((triple14) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int1
The tiger chases the lion.
("tiger" "chases" "lion" "+")
int2
The tiger is kind.
("tiger" "is" "kind" "+")
int3
((triple12 ((((triple1 triple15) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int1
The tiger chases the lion.
("tiger" "chases" "lion" "+")
int2
The tiger is kind.
("tiger" "is" "kind" "+")
int3
((((((triple13) -> (rule3 % int3)) triple15) -> (rule1 % int2)) triple8) -> (rule5 % int1))
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int1
The tiger is kind.
("tiger" "is" "kind" "+")
int2
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int3
((((((triple5) -> (rule3 % int3)) triple15) -> (rule1 % int2)) triple8) -> (rule5 % int1))
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int1
The tiger is kind.
("tiger" "is" "kind" "+")
int2
The lion chases the tiger.
("lion" "chases" "tiger" "+")
int3
((((triple14) -> (rule2 % int3)) ((((triple14) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int1
The tiger chases the lion.
("tiger" "chases" "lion" "+")
int2
The tiger is kind.
("tiger" "is" "kind" "+")
int3
((((triple14) -> (rule2 % int3)) ((((triple1 triple15) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int1
The tiger chases the lion.
("tiger" "chases" "lion" "+")
int2
The tiger is kind.
("tiger" "is" "kind" "+")
int3
((((triple1 triple15) -> (rule1 % int3)) ((((triple14) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int1
The tiger chases the lion.
("tiger" "chases" "lion" "+")
int2
The tiger is kind.
("tiger" "is" "kind" "+")
int3
((((triple1 triple15) -> (rule1 % int3)) ((((triple1 triple15) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int1
The tiger chases the lion.
("tiger" "chases" "lion" "+")
int2
The tiger is kind.
("tiger" "is" "kind" "+")
int3
((((((triple13) -> (rule3 % int4)) triple15) -> (rule1 % int3)) ((triple12) -> (rule4 % int2))) -> (rule5 % int1))
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int1
The tiger chases the lion.
("tiger" "chases" "lion" "+")
int2
The tiger is kind.
("tiger" "is" "kind" "+")
int3
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int4
((((((triple5) -> (rule3 % int4)) triple15) -> (rule1 % int3)) ((triple12) -> (rule4 % int2))) -> (rule5 % int1))
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int1
The tiger chases the lion.
("tiger" "chases" "lion" "+")
int2
The tiger is kind.
("tiger" "is" "kind" "+")
int3
The lion chases the tiger.
("lion" "chases" "tiger" "+")
int4
((((((triple13) -> (rule3 % int4)) triple15) -> (rule1 % int3)) ((((triple14) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int1
The tiger chases the lion.
("tiger" "chases" "lion" "+")
int2
The tiger is kind.
("tiger" "is" "kind" "+")
int3
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int4
((((((triple13) -> (rule3 % int4)) triple15) -> (rule1 % int3)) ((((triple1 triple15) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int1
The tiger chases the lion.
("tiger" "chases" "lion" "+")
int2
The tiger is kind.
("tiger" "is" "kind" "+")
int3
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int4
((((((triple5) -> (rule3 % int4)) triple15) -> (rule1 % int3)) ((((triple14) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int1
The tiger chases the lion.
("tiger" "chases" "lion" "+")
int2
The tiger is kind.
("tiger" "is" "kind" "+")
int3
The lion chases the tiger.
("lion" "chases" "tiger" "+")
int4
((((((triple5) -> (rule3 % int4)) triple15) -> (rule1 % int3)) ((((triple1 triple15) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int1
The tiger chases the lion.
("tiger" "chases" "lion" "+")
int2
The tiger is kind.
("tiger" "is" "kind" "+")
int3
The lion chases the tiger.
("lion" "chases" "tiger" "+")
int4
((triple12 ((((((triple13) -> (rule3 % int4)) triple15) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int1
The tiger chases the lion.
("tiger" "chases" "lion" "+")
int2
The tiger is kind.
("tiger" "is" "kind" "+")
int3
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int4
((triple12 ((((((triple5) -> (rule3 % int4)) triple15) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int1
The tiger chases the lion.
("tiger" "chases" "lion" "+")
int2
The tiger is kind.
("tiger" "is" "kind" "+")
int3
The lion chases the tiger.
("lion" "chases" "tiger" "+")
int4
((((triple14) -> (rule2 % int4)) ((((((triple13) -> (rule3 % int3)) triple15) -> (rule1 % int4))) -> (rule4 % int2))) -> (rule5 % int1))
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int1
The tiger chases the lion.
("tiger" "chases" "lion" "+")
int2
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int3
The tiger is kind.
("tiger" "is" "kind" "+")
int4
((((triple14) -> (rule2 % int4)) ((((((triple5) -> (rule3 % int3)) triple15) -> (rule1 % int4))) -> (rule4 % int2))) -> (rule5 % int1))
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int1
The tiger chases the lion.
("tiger" "chases" "lion" "+")
int2
The lion chases the tiger.
("lion" "chases" "tiger" "+")
int3
The tiger is kind.
("tiger" "is" "kind" "+")
int4
((((triple1 triple15) -> (rule1 % int4)) ((((((triple13) -> (rule3 % int3)) triple15) -> (rule1 % int4))) -> (rule4 % int2))) -> (rule5 % int1))
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int1
The tiger chases the lion.
("tiger" "chases" "lion" "+")
int2
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int3
The tiger is kind.
("tiger" "is" "kind" "+")
int4
((((triple1 triple15) -> (rule1 % int4)) ((((((triple5) -> (rule3 % int3)) triple15) -> (rule1 % int4))) -> (rule4 % int2))) -> (rule5 % int1))
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int1
The tiger chases the lion.
("tiger" "chases" "lion" "+")
int2
The lion chases the tiger.
("lion" "chases" "tiger" "+")
int3
The tiger is kind.
("tiger" "is" "kind" "+")
int4
((((((triple13) -> (rule3 % int4)) triple15) -> (rule1 % int3)) ((((((triple13) -> (rule3 % int4)) triple15) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int1
The tiger chases the lion.
("tiger" "chases" "lion" "+")
int2
The tiger is kind.
("tiger" "is" "kind" "+")
int3
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int4
((((((triple13) -> (rule3 % int5)) triple15) -> (rule1 % int4)) ((((((triple5) -> (rule3 % int3)) triple15) -> (rule1 % int4))) -> (rule4 % int2))) -> (rule5 % int1))
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int1
The tiger chases the lion.
("tiger" "chases" "lion" "+")
int2
The lion chases the tiger.
("lion" "chases" "tiger" "+")
int3
The tiger is kind.
("tiger" "is" "kind" "+")
int4
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int5
((((((triple5) -> (rule3 % int5)) triple15) -> (rule1 % int4)) ((((((triple13) -> (rule3 % int3)) triple15) -> (rule1 % int4))) -> (rule4 % int2))) -> (rule5 % int1))
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int1
The tiger chases the lion.
("tiger" "chases" "lion" "+")
int2
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int3
The tiger is kind.
("tiger" "is" "kind" "+")
int4
The lion chases the tiger.
("lion" "chases" "tiger" "+")
int5
((((((triple5) -> (rule3 % int4)) triple15) -> (rule1 % int3)) ((((((triple5) -> (rule3 % int4)) triple15) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int1
The tiger chases the lion.
("tiger" "chases" "lion" "+")
int2
The tiger is kind.
("tiger" "is" "kind" "+")
int3
The lion chases the tiger.
("lion" "chases" "tiger" "+")
int4
The tiger is big.
("tiger" "is" "big" "+")
triple10
The tiger is green.
("tiger" "is" "green" "+")
triple11
The tiger is kind.
("tiger" "is" "kind" "+")
triple12
((triple14) -> (rule2 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1
((triple1 triple15) -> (rule1 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1
((((triple13) -> (rule3 % int2)) triple15) -> (rule1 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int2
((((triple5) -> (rule3 % int2)) triple15) -> (rule1 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1
The lion chases the tiger.
("lion" "chases" "tiger" "+")
int2
The tiger is rough.
("tiger" "is" "rough" "+")
triple13
The tiger is young.
("tiger" "is" "young" "+")
triple14
The tiger likes the lion.
("tiger" "likes" "lion" "+")
triple15
The lion is kind.
("lion" "is" "kind" "+")
((triple6) -> (rule2 % int1))
The lion is kind.
("lion" "is" "kind" "+")
int1
The lion likes the lion.
("lion" "likes" "lion" "+")
((triple2) -> (rule8 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
((triple13) -> (rule3 % int1))
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int1
The lion chases the lion.
("lion" "chases" "lion" "+")
((((triple6) -> (rule2 % int2))) -> (rule4 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1
The lion is kind.
("lion" "is" "kind" "+")
int2
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
((((triple13) -> (rule3 % int2))) -> (rule6 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int2
The lion eats the lion.
("lion" "eats" "lion" "+")
((((triple6) -> (rule2 % int3)) ((((triple6) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
The lion eats the lion.
("lion" "eats" "lion" "+")
int1
The lion chases the lion.
("lion" "chases" "lion" "+")
int2
The lion is kind.
("lion" "is" "kind" "+")
int3