The cat visits the squirrel. The lion needs the cat. The squirrel visits the lion. The tiger is not kind. If someone visits the squirrel then the squirrel needs the lion. If the cat is blue and the cat is young then the cat is rough. If someone needs the lion then the lion needs the squirrel. If the tiger chases the lion and the tiger chases the cat then the cat visits the tiger. If someone is blue and they do not chase the lion then the lion visits the cat. If someone needs the lion and they do not visit the tiger then they need the cat.
The squirrel needs the lion.
@0: The cat visits the squirrel.[(triple1)] The lion needs the cat.[(triple2)] The squirrel visits the lion.[(triple3)] The tiger is not kind.[(triple4)] @1: The squirrel needs the lion.[(((triple1) -> rule1))] @2: The lion needs the squirrel.[(((((triple1) -> rule1)) -> rule3))]