The bear is rough. The bear needs the squirrel. The cat chases the squirrel. The cat is cold. The cat is green. The cat is red. The squirrel is cold. The squirrel is red. The squirrel needs the tiger. The tiger is nice. The tiger is red. The tiger needs the squirrel. If someone chases the bear then they are rough. If someone needs the cat and they are red then the cat is rough. If someone chases the cat then the cat eats the tiger. If someone needs the bear then they are cold. If someone eats the bear then the bear eats the cat. If someone chases the squirrel then the squirrel chases the bear.
The cat is green.
@0: The bear is rough.[(triple1)] The bear needs the squirrel.[(triple2)] The cat chases the squirrel.[(triple3)] The cat is cold.[(triple4)] The cat is green.[(triple5)] The cat is red.[(triple6)] The squirrel is cold.[(triple7)] The squirrel is red.[(triple8)] The squirrel needs the tiger.[(triple9)] The tiger is nice.[(triple10)] The tiger is red.[(triple11)] The tiger needs the squirrel.[(triple12)] @1: The squirrel chases the bear.[(((triple3) -> rule6))] @2: The squirrel is rough.[(((((triple3) -> rule6)) -> rule1))]