The cat likes the mouse. The cat likes the squirrel. The cat needs the tiger. The mouse is nice. The mouse sees the cat. The squirrel sees the cat. The tiger is kind. The tiger is nice. The tiger is red. The tiger is young. The tiger likes the mouse. The tiger likes the squirrel. The tiger needs the squirrel. The tiger sees the cat. The tiger sees the mouse. If someone is young then they need the mouse. If someone is young and they like the mouse then the mouse likes the cat. If someone likes the cat and they see the mouse then the cat is nice. If the mouse is nice and the mouse is round then the mouse sees the cat. If someone sees the squirrel then they are nice. If the squirrel sees the mouse then the squirrel likes the tiger.
The mouse likes the squirrel.
@0: The cat likes the mouse.[(triple1)] The cat likes the squirrel.[(triple2)] The cat needs the tiger.[(triple3)] The mouse is nice.[(triple4)] The mouse sees the cat.[(triple5)] The squirrel sees the cat.[(triple6)] The tiger is kind.[(triple7)] The tiger is nice.[(triple8)] The tiger is red.[(triple9)] The tiger is young.[(triple10)] The tiger likes the mouse.[(triple11)] The tiger likes the squirrel.[(triple12)] The tiger needs the squirrel.[(triple13)] The tiger sees the cat.[(triple14)] The tiger sees the mouse.[(triple15)] @1: The mouse likes the cat.[(((triple10 triple11) -> rule2))] The tiger needs the mouse.[(((triple10) -> rule1))]