The bear is big. The bear is blue. The bear is cold. The bear is nice. The bear likes the squirrel. The bear likes the tiger. The bear visits the squirrel. The bear visits the tiger. The mouse is blue. The mouse likes the squirrel. The mouse needs the squirrel. The squirrel likes the bear. The squirrel likes the mouse. The tiger is cold. The tiger likes the squirrel. The tiger needs the squirrel. If the tiger is nice then the tiger likes the mouse. If someone visits the tiger and the tiger is cold then the tiger likes the bear.
The mouse is blue.
@0: The bear is big.[(triple1)] The bear is blue.[(triple2)] The bear is cold.[(triple3)] The bear is nice.[(triple4)] The bear likes the squirrel.[(triple5)] The bear likes the tiger.[(triple6)] The bear visits the squirrel.[(triple7)] The bear visits the tiger.[(triple8)] The mouse is blue.[(triple9)] The mouse likes the squirrel.[(triple10)] The mouse needs the squirrel.[(triple11)] The squirrel likes the bear.[(triple12)] The squirrel likes the mouse.[(triple13)] The tiger is cold.[(triple14)] The tiger likes the squirrel.[(triple15)] The tiger needs the squirrel.[(triple16)] @1: The tiger likes the bear.[(((triple8 triple14) -> rule2))]