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