The cat chases the lion. The cat chases the rabbit. The cat is green. The cat likes the lion. The lion is kind. The lion likes the cat. The lion likes the rabbit. The rabbit chases the cat. The rabbit chases the lion. The rabbit likes the cat. The rabbit likes the lion. The rabbit needs the lion. If someone is cold and round then they need the lion. If the lion needs the rabbit and the rabbit likes the cat then the lion needs the cat. If someone is green then they need the cat.
The rabbit chases the cat.
@0: The cat chases the lion.[(triple1)] The cat chases the rabbit.[(triple2)] The cat is green.[(triple3)] The cat likes the lion.[(triple4)] The lion is kind.[(triple5)] The lion likes the cat.[(triple6)] The lion likes the rabbit.[(triple7)] The rabbit chases the cat.[(triple8)] The rabbit chases the lion.[(triple9)] The rabbit likes the cat.[(triple10)] The rabbit likes the lion.[(triple11)] The rabbit needs the lion.[(triple12)] @1: The cat needs the cat.[(((triple3) -> rule3))]