The cow chases the lion. The cow chases the tiger. The cow eats the tiger. The cow is blue. The cow is rough. The cow is round. The cow sees the lion. The lion eats the cow. The lion is cold. The lion is red. The lion is rough. The lion is round. The lion sees the tiger. The tiger eats the lion. The tiger is round. If something chases the tiger then the tiger is rough. If something chases the cow and it sees the tiger then the cow chases the tiger.
The tiger chases the cow.
@0: The cow chases the lion.[(triple1)] The cow chases the tiger.[(triple2)] The cow eats the tiger.[(triple3)] The cow is blue.[(triple4)] The cow is rough.[(triple5)] The cow is round.[(triple6)] The cow sees the lion.[(triple7)] The lion eats the cow.[(triple8)] The lion is cold.[(triple9)] The lion is red.[(triple10)] The lion is rough.[(triple11)] The lion is round.[(triple12)] The lion sees the tiger.[(triple13)] The tiger eats the lion.[(triple14)] The tiger is round.[(triple15)] @1: The tiger is rough.[(((triple2) -> rule1))]