The cat is big. The cat is kind. The cat likes the lion. The cat needs the lion. The cat visits the lion. The lion is blue. The lion visits the cat. If something needs the lion then the lion needs the cat. If something is kind and it visits the lion then it visits the cat.
The cat likes the cat.
@0: The cat is big.[(triple1)] The cat is kind.[(triple2)] The cat likes the lion.[(triple3)] The cat needs the lion.[(triple4)] The cat visits the lion.[(triple5)] The lion is blue.[(triple6)] The lion visits the cat.[(triple7)] @1: The cat visits the cat.[(((triple2 triple5) -> rule2))] The lion needs the cat.[(((triple4) -> rule1))]