The cat chases the squirrel. The cat eats the squirrel. The cat is cold. The cat is kind. The cat is round. The cat sees the squirrel. The squirrel chases the cat. The squirrel eats the cat. The squirrel is cold. The squirrel is nice. The squirrel is round. The squirrel sees the cat. If someone sees the cat and they chase the squirrel then they eat the squirrel. If the cat does not see the squirrel then the squirrel does not eat the cat. If someone sees the cat then they chase the squirrel. If someone sees the cat then they are round. Big people are round. If someone eats the cat and the cat does not chase the squirrel then they are round.
The cat is big.
@0: The cat chases the squirrel.[(triple1)] The cat eats the squirrel.[(triple2)] The cat is cold.[(triple3)] The cat is kind.[(triple4)] The cat is round.[(triple5)] The cat sees the squirrel.[(triple6)] The squirrel chases the cat.[(triple7)] The squirrel eats the cat.[(triple8)] The squirrel is cold.[(triple9)] The squirrel is nice.[(triple10)] The squirrel is round.[(triple11 OR ((triple12) -> rule4))] The squirrel sees the cat.[(triple12)] @1: The squirrel chases the squirrel.[(((triple12) -> rule3))] @2: The squirrel eats the squirrel.[(((triple12 ((triple12) -> rule3)) -> rule1))]