The cat is blue. The cat is cold. The cat is green. The cat is kind. The cat is round. The cat does not like the squirrel. The cat sees the squirrel. The cat visits the squirrel. The squirrel is cold. The squirrel is green. The squirrel is kind. The squirrel is not round. The squirrel does not like the cat. The squirrel sees the cat. The squirrel does not visit the cat. If the squirrel is not green and the squirrel is not round then the squirrel sees the cat. If the squirrel is kind and the squirrel visits the cat then the cat does not visit the squirrel. If someone likes the cat then the cat visits the squirrel. If someone is green and they like the squirrel then the squirrel does not visit the cat. If the cat likes the squirrel and the cat is not green then the cat is not cold. If someone visits the squirrel then they visit the cat. If someone likes the cat and the cat is not round then the cat sees the squirrel. If someone visits the squirrel and they do not visit the cat then the cat sees the squirrel.
The squirrel does not see the squirrel.
@0: The cat does not like the squirrel.[(triple6)] The cat is blue.[(triple1)] The cat is cold.[(triple2)] The cat is green.[(triple3)] The cat is kind.[(triple4)] The cat is round.[(triple5)] The cat sees the squirrel.[(triple7)] The cat visits the squirrel.[(triple8)] The squirrel does not like the cat.[(triple13)] The squirrel does not visit the cat.[(triple15)] The squirrel is cold.[(triple9)] The squirrel is green.[(triple10)] The squirrel is kind.[(triple11)] The squirrel is not round.[(triple12)] The squirrel sees the cat.[(triple14)] @1: The cat visits the cat.[(((triple8) -> rule6))]