The lion does not chase the tiger. The lion is blue. The lion is green. The lion is kind. The lion is red. The lion sees the tiger. The lion visits the tiger. The tiger chases the lion. The tiger is blue. The tiger is kind. The tiger sees the lion. The tiger does not visit the lion. If someone is green and kind then they do not chase the tiger. If the tiger does not chase the lion then the tiger visits the lion. If someone is blue and red then they do not see the lion. If someone chases the lion then the lion visits the tiger. If the tiger does not chase the lion then the tiger is round. If someone visits the lion then the lion is round.
The lion does not chase the tiger.
@0: The lion does not chase the tiger.[(triple1 OR ((triple3 triple4) -> rule1))] The lion is blue.[(triple2)] The lion is green.[(triple3)] The lion is kind.[(triple4)] The lion is red.[(triple5)] The lion sees the tiger.[(triple6)] The lion visits the tiger.[(triple7 OR ((triple8) -> rule4))] The tiger chases the lion.[(triple8)] The tiger does not visit the lion.[(triple12)] The tiger is blue.[(triple9)] The tiger is kind.[(triple10)] The tiger sees the lion.[(triple11)] @1: The lion does not see the lion.[(((triple2 triple5) -> rule3))]