The cat likes the lion. The cat needs the lion. The cat visits the lion. The lion is red. The lion is rough. The lion likes the cat. The lion visits the cat. If the cat is red and the cat is green then the cat needs the lion. If someone likes the cat then they are big.
The cat visits the lion.
@0: The cat likes the lion.[(triple1)] The cat needs the lion.[(triple2)] The cat visits the lion.[(triple3)] The lion is red.[(triple4)] The lion is rough.[(triple5)] The lion likes the cat.[(triple6)] The lion visits the cat.[(triple7)] @1: The lion is big.[(((triple6) -> rule2))]