The cow chases the rabbit. The lion likes the squirrel. The rabbit chases the cow. The squirrel likes the cow. If something is young then it likes the rabbit. If something chases the rabbit then the rabbit chases the cow. If something needs the rabbit then the rabbit chases the lion.
The squirrel is cold.
@0: The cow chases the rabbit.[(triple1)] The lion likes the squirrel.[(triple2)] The rabbit chases the cow.[(triple3 OR ((triple1) -> rule2))] The squirrel likes the cow.[(triple4)]