The cat is blue. The cat is rough. The cat sees the rabbit. The cat visits the rabbit. The cat visits the squirrel. The rabbit eats the cat. The rabbit is young. The rabbit sees the cat. The rabbit sees the squirrel. The rabbit visits the cat. The squirrel is rough. The squirrel visits the rabbit. If the cat visits the rabbit and the cat eats the squirrel then the squirrel eats the cat. If someone visits the squirrel and they eat the rabbit then the rabbit is kind. If someone visits the squirrel and the squirrel eats the rabbit then they see the cat. If the cat eats the squirrel and the cat is young then the cat sees the rabbit. If someone sees the cat then they eat the rabbit. If someone is blue and they see the cat then they visit the rabbit.
The cat does not visit the squirrel.
@0: The cat is blue.[(triple1)] The cat is rough.[(triple2)] The cat sees the rabbit.[(triple3)] The cat visits the rabbit.[(triple4)] The cat visits the squirrel.[(triple5)] The rabbit eats the cat.[(triple6)] The rabbit is young.[(triple7)] The rabbit sees the cat.[(triple8)] The rabbit sees the squirrel.[(triple9)] The rabbit visits the cat.[(triple10)] The squirrel is rough.[(triple11)] The squirrel visits the rabbit.[(triple12)] @1: The rabbit eats the rabbit.[(((triple8) -> rule5))]