The cat chases the squirrel. The cat is big. The cat is blue. The cat is nice. The cat is rough. The cat is young. The cat sees the squirrel. The cat visits the squirrel. The squirrel chases the cat. The squirrel is big. The squirrel is blue. The squirrel is nice. The squirrel is rough. The squirrel is young. The squirrel sees the cat. The squirrel visits the cat. If someone visits the cat and the cat visits the squirrel then they see the squirrel. If the squirrel sees the cat then the squirrel is nice. If someone is big and rough then they chase the cat.
The squirrel does not visit the squirrel.
@0: The cat chases the squirrel.[(triple1)] The cat is big.[(triple2)] The cat is blue.[(triple3)] The cat is nice.[(triple4)] The cat is rough.[(triple5)] The cat is young.[(triple6)] The cat sees the squirrel.[(triple7)] The cat visits the squirrel.[(triple8)] The squirrel chases the cat.[(triple9 OR ((triple10 triple13) -> rule3))] The squirrel is big.[(triple10)] The squirrel is blue.[(triple11)] The squirrel is nice.[(triple12 OR ((triple15) -> rule2))] The squirrel is rough.[(triple13)] The squirrel is young.[(triple14)] The squirrel sees the cat.[(triple15)] The squirrel visits the cat.[(triple16)] @1: The cat chases the cat.[(((triple2 triple5) -> rule3))] The squirrel sees the squirrel.[(((triple16 triple8) -> rule1))]