The cat chases the squirrel. The cat is big. The cat is round. The cat likes the tiger. The squirrel chases the tiger. The squirrel is rough. The squirrel likes the cat. The squirrel likes the tiger. The tiger chases the cat. The tiger chases the squirrel. The tiger is red. The tiger is rough. The tiger is round. The tiger likes the squirrel. The tiger sees the squirrel. If someone is big then they chase the cat. If someone is round then they see the tiger.
The squirrel does not chase the cat.
@0: The cat chases the squirrel.[(triple1)] The cat is big.[(triple2)] The cat is round.[(triple3)] The cat likes the tiger.[(triple4)] The squirrel chases the tiger.[(triple5)] The squirrel is rough.[(triple6)] The squirrel likes the cat.[(triple7)] The squirrel likes the tiger.[(triple8)] The tiger chases the cat.[(triple9)] The tiger chases the squirrel.[(triple10)] The tiger is red.[(triple11)] The tiger is rough.[(triple12)] The tiger is round.[(triple13)] The tiger likes the squirrel.[(triple14)] The tiger sees the squirrel.[(triple15)] @1: The cat chases the cat.[(((triple2) -> rule1))] The cat sees the tiger.[(((triple3) -> rule2))] The tiger sees the tiger.[(((triple13) -> rule2))]