The cat is not round. The cat needs the squirrel. The dog needs the cat. The dog does not see the cat. The rabbit visits the cat. The squirrel sees the dog. The squirrel visits the cat. If someone sees the rabbit and they are cold then the rabbit sees the squirrel. If someone needs the squirrel and the squirrel sees the cat then the cat sees the squirrel. If someone needs the dog then they visit the cat. If someone sees the rabbit and the rabbit visits the squirrel then they need the dog. If someone is kind and they do not see the rabbit then they are not round. If someone sees the dog then they see the cat.
The cat sees the cat.
@0: The cat is not round.[(triple1)] The cat needs the squirrel.[(triple2)] The dog does not see the cat.[(triple4)] The dog needs the cat.[(triple3)] The rabbit visits the cat.[(triple5)] The squirrel sees the dog.[(triple6)] The squirrel visits the cat.[(triple7)] @1: The squirrel sees the cat.[(((triple6) -> rule6))] @2: The cat sees the squirrel.[(((triple2 ((triple6) -> rule6)) -> rule2))]