The cow is cold. The cow is green. The cow likes the lion. The cow visits the tiger. The lion is blue. The lion is green. The lion is red. The lion likes the cow. The lion sees the cow. The lion sees the tiger. The lion visits the cow. The lion visits the tiger. The tiger is blue. The tiger is nice. The tiger likes the cow. If the lion sees the cow then the lion likes the tiger. If someone visits the tiger and the tiger likes the lion then the lion likes the tiger.
The lion is blue.
@0: The cow is cold.[(triple1)] The cow is green.[(triple2)] The cow likes the lion.[(triple3)] The cow visits the tiger.[(triple4)] The lion is blue.[(triple5)] The lion is green.[(triple6)] The lion is red.[(triple7)] The lion likes the cow.[(triple8)] The lion sees the cow.[(triple9)] The lion sees the tiger.[(triple10)] The lion visits the cow.[(triple11)] The lion visits the tiger.[(triple12)] The tiger is blue.[(triple13)] The tiger is nice.[(triple14)] The tiger likes the cow.[(triple15)] @1: The lion likes the tiger.[(((triple9) -> rule1))]