The cow chases the lion. The cow is green. The cow is nice. The cow is red. The cow sees the lion. The lion chases the cow. The lion is cold. The lion is green. The lion is nice. The lion is red. The lion needs the cow. The lion sees the cow. If something sees the cow then it chases the lion.
The cow sees the cow.
@0: The cow chases the lion.[(triple1)] The cow is green.[(triple2)] The cow is nice.[(triple3)] The cow is red.[(triple4)] The cow sees the lion.[(triple5)] The lion chases the cow.[(triple6)] The lion is cold.[(triple7)] The lion is green.[(triple8)] The lion is nice.[(triple9)] The lion is red.[(triple10)] The lion needs the cow.[(triple11)] The lion sees the cow.[(triple12)] @1: The lion chases the lion.[(((triple12) -> rule1))]