The lion chases the tiger. The lion is cold. The lion is kind. The lion is red. The lion is rough. The lion sees the tiger. The lion visits the tiger. The tiger chases the lion. The tiger sees the lion. The tiger visits the lion. If someone is cold and they chase the tiger then they see the lion. If the tiger sees the lion then the tiger is young.
The lion is not young.
@0: The lion chases the tiger.[(triple1)] The lion is cold.[(triple2)] The lion is kind.[(triple3)] The lion is red.[(triple4)] The lion is rough.[(triple5)] The lion sees the tiger.[(triple6)] The lion visits the tiger.[(triple7)] The tiger chases the lion.[(triple8)] The tiger sees the lion.[(triple9)] The tiger visits the lion.[(triple10)] @1: The lion sees the lion.[(((triple2 triple1) -> rule1))] The tiger is young.[(((triple9) -> rule2))]