The cat is young. The cat needs the lion. The cow is green. The cow needs the rabbit. The cow sees the cat. The cow sees the rabbit. The lion is green. The lion is round. The lion needs the cat. The lion needs the rabbit. The lion sees the cow. The lion sees the rabbit. The rabbit needs the cow. The rabbit needs the lion. The rabbit visits the lion. If someone sees the cow then they visit the rabbit. If someone visits the rabbit then they need the lion.
The rabbit visits the rabbit.
@0: The cat is young.[(triple1)] The cat needs the lion.[(triple2)] The cow is green.[(triple3)] The cow needs the rabbit.[(triple4)] The cow sees the cat.[(triple5)] The cow sees the rabbit.[(triple6)] The lion is green.[(triple7)] The lion is round.[(triple8)] The lion needs the cat.[(triple9)] The lion needs the rabbit.[(triple10)] The lion sees the cow.[(triple11)] The lion sees the rabbit.[(triple12)] The rabbit needs the cow.[(triple13)] The rabbit needs the lion.[(triple14)] The rabbit visits the lion.[(triple15)] @1: The lion visits the rabbit.[(((triple11) -> rule1))] @2: The lion needs the lion.[(((((triple11) -> rule1)) -> rule2))]