The cat is kind. The rabbit is young. The squirrel is big. If someone chases the rabbit then they are big. If the rabbit sees the squirrel then the squirrel is kind. If someone likes the cat and the cat likes the rabbit then the cat sees the rabbit. If someone likes the cat then they like the squirrel. If someone chases the rabbit and they see the cat then the rabbit is nice. If someone is young then they see the squirrel. If the cat likes the rabbit and the cat likes the squirrel then the rabbit sees the squirrel. If someone chases the rabbit and they see the squirrel then they are kind.
The squirrel chases the rabbit.
@0: The cat is kind.[(triple1)] The rabbit is young.[(triple2)] The squirrel is big.[(triple3)] @1: The rabbit sees the squirrel.[(((triple2) -> rule6))] @2: The squirrel is kind.[(((((triple2) -> rule6)) -> rule2))]