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