The lion is blue. The lion is kind. The lion is nice. The lion likes the tiger. The lion needs the tiger. The tiger chases the lion. The tiger needs the lion. If someone is big then they need the lion. If someone likes the lion then the lion likes the tiger. If someone likes the tiger and they chase the tiger then the tiger needs the lion. If someone chases the tiger then they need the lion. If someone is green and kind then they need the tiger. If someone likes the tiger then the tiger chases the lion. If someone likes the tiger and they need the tiger then they like the lion. If someone likes the lion and the lion likes the tiger then the lion chases the tiger.
The lion likes the tiger.
@0: The lion is blue.[(triple1)] The lion is kind.[(triple2)] The lion is nice.[(triple3)] The lion likes the tiger.[(triple4)] The lion needs the tiger.[(triple5)] The tiger chases the lion.[(triple6 OR ((triple4) -> rule6))] The tiger needs the lion.[(triple7 OR ((triple4 ((((triple4 triple5) -> rule7) triple4) -> rule8)) -> rule3))] @1: The lion likes the lion.[(((triple4 triple5) -> rule7))] @2: The lion chases the tiger.[(((((triple4 triple5) -> rule7) triple4) -> rule8))] @3: The lion needs the lion.[(((((((triple4 triple5) -> rule7) triple4) -> rule8)) -> rule4))]