The bear is round. The cat sees the squirrel. The dog does not chase the squirrel. The squirrel is young. Young people are green. If someone sees the bear then they chase the bear. If someone chases the cat then they are cold. If someone likes the cat and they are rough then the cat is not rough. All young people are rough. If the bear does not chase the cat then the cat chases the bear. If someone likes the squirrel then they chase the squirrel. If the squirrel is rough then the squirrel sees the bear.
The cat chases the bear.
@0: The bear is round.[(triple1)] The cat sees the squirrel.[(triple2)] The dog does not chase the squirrel.[(triple3)] The squirrel is young.[(triple4)] @1: The squirrel is green.[(((triple4) -> rule1))] The squirrel is rough.[(((triple4) -> rule5))] @2: The squirrel sees the bear.[(((((triple4) -> rule5)) -> rule8))] @3: The squirrel chases the bear.[(((((((triple4) -> rule5)) -> rule8)) -> rule2))]