The cat chases the squirrel. The cat is kind. The cat likes the squirrel. The squirrel chases the cat. The squirrel is big. The squirrel is green. The squirrel is red. The squirrel is young. The squirrel likes the cat. The squirrel does not see the cat. If someone likes the cat then they see the squirrel. If someone is green then they see the squirrel. If someone likes the cat then they chase the cat. If the squirrel chases the cat and the cat is red then the cat does not chase the squirrel. If someone sees the cat then the cat sees the squirrel. If someone sees the squirrel and the squirrel does not see the cat then they are young. If someone likes the squirrel then they are green. If someone sees the cat and the cat is not young then they chase the squirrel.
The cat does not see the cat.
@0: The cat chases the squirrel.[(triple1)] The cat is kind.[(triple2)] The cat likes the squirrel.[(triple3)] The squirrel chases the cat.[(triple4 OR ((triple9) -> rule3))] The squirrel does not see the cat.[(triple10)] The squirrel is big.[(triple5)] The squirrel is green.[(triple6)] The squirrel is red.[(triple7)] The squirrel is young.[(triple8 OR ((((triple6) -> rule2) triple10) -> rule6) OR ((((triple9) -> rule1) triple10) -> rule6))] The squirrel likes the cat.[(triple9)] @1: The cat is green.[(((triple3) -> rule7))] The squirrel sees the squirrel.[(((triple6) -> rule2) OR ((triple9) -> rule1))] @2: The cat sees the squirrel.[(((((triple3) -> rule7)) -> rule2))] @3: The cat is young.[(((((((triple3) -> rule7)) -> rule2) triple10) -> rule6))]