The cow chases the lion. The cow eats the lion. The cow is cold. The cow is kind. The cow is red. The cow is young. The cow needs the lion. The lion chases the cow. The lion eats the cow. The lion is big. The lion is cold. The lion is kind. The lion is red. The lion is young. The lion needs the cow. If something is young then it needs the cow.
The cow eats the cow.
@0: The cow chases the lion.[(triple1)] The cow eats the lion.[(triple2)] The cow is cold.[(triple3)] The cow is kind.[(triple4)] The cow is red.[(triple5)] The cow is young.[(triple6)] The cow needs the lion.[(triple7)] The lion chases the cow.[(triple8)] The lion eats the cow.[(triple9)] The lion is big.[(triple10)] The lion is cold.[(triple11)] The lion is kind.[(triple12)] The lion is red.[(triple13)] The lion is young.[(triple14)] The lion needs the cow.[(triple15 OR ((triple14) -> rule1))] @1: The cow needs the cow.[(((triple6) -> rule1))]