The lion is kind. The lion is red. The lion is round. The lion likes the tiger. The lion sees the tiger. The lion visits the tiger. The tiger is red. The tiger is rough. The tiger is round. The tiger likes the lion. The tiger sees the lion. The tiger visits the lion. If the lion likes the tiger and the lion is kind then the tiger is young. If someone visits the tiger and the tiger sees the lion then they are rough.
The lion likes the tiger.
@0: The lion is kind.[(triple1)] The lion is red.[(triple2)] The lion is round.[(triple3)] The lion likes the tiger.[(triple4)] The lion sees the tiger.[(triple5)] The lion visits the tiger.[(triple6)] The tiger is red.[(triple7)] The tiger is rough.[(triple8)] The tiger is round.[(triple9)] The tiger likes the lion.[(triple10)] The tiger sees the lion.[(triple11)] The tiger visits the lion.[(triple12)] @1: The lion is rough.[(((triple6 triple11) -> rule2))] The tiger is young.[(((triple4 triple1) -> rule1))]