The dog is kind. The dog likes the tiger. The dog sees the tiger. The mouse is big. The mouse is rough. The mouse likes the squirrel. The mouse likes the tiger. The mouse sees the dog. The mouse sees the squirrel. The squirrel eats the mouse. The squirrel is red. The squirrel likes the mouse. The tiger eats the dog. The tiger is big. The tiger is blue. The tiger likes the squirrel. If something likes the mouse then it likes the dog.
The tiger is red.
@0: The dog is kind.[(triple1)] The dog likes the tiger.[(triple2)] The dog sees the tiger.[(triple3)] The mouse is big.[(triple4)] The mouse is rough.[(triple5)] The mouse likes the squirrel.[(triple6)] The mouse likes the tiger.[(triple7)] The mouse sees the dog.[(triple8)] The mouse sees the squirrel.[(triple9)] The squirrel eats the mouse.[(triple10)] The squirrel is red.[(triple11)] The squirrel likes the mouse.[(triple12)] The tiger eats the dog.[(triple13)] The tiger is big.[(triple14)] The tiger is blue.[(triple15)] The tiger likes the squirrel.[(triple16)] @1: The squirrel likes the dog.[(((triple12) -> rule1))]