The lion chases the tiger. The lion eats the tiger. The lion is blue. The lion is green. The lion is kind. The lion is red. The lion visits the tiger. The tiger chases the lion. The tiger eats the lion. The tiger is big. The tiger is blue. The tiger is green. The tiger is kind. The tiger is red. The tiger visits the lion. If something visits the lion then the lion visits the tiger. If something eats the lion and it is kind then it is big. If something is blue then it eats the lion.
The lion eats the lion.
@0: The lion chases the tiger.[(triple1)] The lion eats the tiger.[(triple2)] The lion is blue.[(triple3)] The lion is green.[(triple4)] The lion is kind.[(triple5)] The lion is red.[(triple6)] The lion visits the tiger.[(triple7 OR ((triple15) -> rule1))] The tiger chases the lion.[(triple8)] The tiger eats the lion.[(triple9 OR ((triple11) -> rule3))] The tiger is big.[(triple10 OR ((triple9 triple13) -> rule2) OR ((((triple11) -> rule3) triple13) -> rule2))] The tiger is blue.[(triple11)] The tiger is green.[(triple12)] The tiger is kind.[(triple13)] The tiger is red.[(triple14)] The tiger visits the lion.[(triple15)] @1: The lion eats the lion.[(((triple3) -> rule3))] @2: The lion is big.[(((((triple3) -> rule3) triple5) -> rule2))]