The bear eats the squirrel. The bear eats the tiger. The bear is blue. The bear is nice. The bear likes the tiger. The bear sees the squirrel. The squirrel likes the bear. The squirrel likes the tiger. The tiger is nice. The tiger is red. The tiger is round. The tiger likes the bear. If someone likes the bear and they are blue then they see the tiger. If someone likes the squirrel then they eat the squirrel. If someone is kind then they eat the squirrel. If someone is kind then they eat the squirrel. If the bear likes the squirrel then the squirrel is blue. If someone eats the tiger then they like the bear.
The squirrel is round.
@0: The bear eats the squirrel.[(triple1)] The bear eats the tiger.[(triple2)] The bear is blue.[(triple3)] The bear is nice.[(triple4)] The bear likes the tiger.[(triple5)] The bear sees the squirrel.[(triple6)] The squirrel likes the bear.[(triple7)] The squirrel likes the tiger.[(triple8)] The tiger is nice.[(triple9)] The tiger is red.[(triple10)] The tiger is round.[(triple11)] The tiger likes the bear.[(triple12)] @1: The bear likes the bear.[(((triple2) -> rule6))] @2: The bear sees the tiger.[(((((triple2) -> rule6) triple3) -> rule1))]