The cat chases the tiger. The cat is green. The cat is rough. The cat likes the tiger. The cat sees the squirrel. The squirrel chases the tiger. The squirrel is young. The squirrel sees the tiger. The tiger chases the cat. The tiger chases the squirrel. The tiger is rough. The tiger sees the squirrel. If something is green then it likes the cat. If something likes the cat and it likes the tiger then the cat chases the squirrel.
The squirrel likes the cat.
@0: The cat chases the tiger.[(triple1)] The cat is green.[(triple2)] The cat is rough.[(triple3)] The cat likes the tiger.[(triple4)] The cat sees the squirrel.[(triple5)] The squirrel chases the tiger.[(triple6)] The squirrel is young.[(triple7)] The squirrel sees the tiger.[(triple8)] The tiger chases the cat.[(triple9)] The tiger chases the squirrel.[(triple10)] The tiger is rough.[(triple11)] The tiger sees the squirrel.[(triple12)] @1: The cat likes the cat.[(((triple2) -> rule1))] @2: The cat chases the squirrel.[(((((triple2) -> rule1) triple4) -> rule2))]