The cat is green. The cat likes the tiger. The cat sees the tiger. The mouse is cold. The mouse is green. The mouse likes the cat. The mouse likes the tiger. The mouse sees the tiger. The mouse visits the cat. The squirrel is green. The squirrel is nice. The tiger is cold. The tiger is rough. The tiger sees the squirrel. The tiger visits the cat. The tiger visits the mouse. If someone sees the cat then they like the tiger. If someone is rough and they see the tiger then they like the tiger. If the mouse sees the tiger and the tiger is green then the mouse is nice. If the cat is young and the cat is green then the cat is nice. If someone is rough then they like the cat. If someone likes the mouse and they see the squirrel then the squirrel is nice.
The cat likes the cat.
@0: The cat is green.[(triple1)] The cat likes the tiger.[(triple2)] The cat sees the tiger.[(triple3)] The mouse is cold.[(triple4)] The mouse is green.[(triple5)] The mouse likes the cat.[(triple6)] The mouse likes the tiger.[(triple7)] The mouse sees the tiger.[(triple8)] The mouse visits the cat.[(triple9)] The squirrel is green.[(triple10)] The squirrel is nice.[(triple11)] The tiger is cold.[(triple12)] The tiger is rough.[(triple13)] The tiger sees the squirrel.[(triple14)] The tiger visits the cat.[(triple15)] The tiger visits the mouse.[(triple16)] @1: The tiger likes the cat.[(((triple13) -> rule5))]