The rabbit is cold. The rabbit sees the squirrel. The rabbit visits the tiger. The squirrel sees the tiger. The tiger is green. The tiger likes the rabbit. The tiger visits the rabbit. If someone likes the squirrel and they see the rabbit then the rabbit sees the squirrel. If the rabbit sees the tiger and the tiger sees the squirrel then the rabbit sees the squirrel. If someone visits the rabbit then they like the tiger. If someone is kind then they visit the tiger. If someone visits the squirrel then they like the squirrel. If someone is cold and they like the squirrel then the squirrel is cold.
The rabbit does not visit the tiger.
@0: The rabbit is cold.[(triple1)] The rabbit sees the squirrel.[(triple2)] The rabbit visits the tiger.[(triple3)] The squirrel sees the tiger.[(triple4)] The tiger is green.[(triple5)] The tiger likes the rabbit.[(triple6)] The tiger visits the rabbit.[(triple7)] @1: The tiger likes the tiger.[(((triple7) -> rule3))]