The cat is nice. The cat is young. The cat likes the lion. The cat needs the rabbit. The cat visits the lion. The lion is big. The lion is nice. The lion is round. The lion needs the cat. The lion needs the rabbit. The lion visits the rabbit. The rabbit likes the cat. The rabbit likes the lion. The rabbit needs the lion. The rabbit visits the cat. If someone is young then they like the lion.
The lion does not like the lion.
@0: The cat is nice.[(triple1)] The cat is young.[(triple2)] The cat likes the lion.[(triple3 OR ((triple2) -> rule1))] The cat needs the rabbit.[(triple4)] The cat visits the lion.[(triple5)] The lion is big.[(triple6)] The lion is nice.[(triple7)] The lion is round.[(triple8)] The lion needs the cat.[(triple9)] The lion needs the rabbit.[(triple10)] The lion visits the rabbit.[(triple11)] The rabbit likes the cat.[(triple12)] The rabbit likes the lion.[(triple13)] The rabbit needs the lion.[(triple14)] The rabbit visits the cat.[(triple15)]