The cat is round. The dog needs the squirrel. The dog visits the rabbit. The rabbit sees the cat. The rabbit visits the cat. The rabbit visits the dog. The squirrel needs the cat. All cold people are round. If someone needs the squirrel and they see the rabbit then the squirrel sees the dog. If someone is kind and round then they visit the dog. If the dog visits the squirrel then the dog is big. If someone visits the rabbit then they are cold. If someone is rough and they see the rabbit then they are cold.
The dog visits the dog.
@0: The cat is round.[(triple1)] The dog needs the squirrel.[(triple2)] The dog visits the rabbit.[(triple3)] The rabbit sees the cat.[(triple4)] The rabbit visits the cat.[(triple5)] The rabbit visits the dog.[(triple6)] The squirrel needs the cat.[(triple7)] @1: The dog is cold.[(((triple3) -> rule5))] @2: The dog is round.[(((((triple3) -> rule5)) -> rule1))]