The cat is blue. The cat is cold. The cat is green. The cat needs the dog. The cat needs the mouse. The cat sees the rabbit. The cat visits the rabbit. The dog is green. The dog needs the mouse. The dog visits the cat. The mouse is cold. The mouse is young. The rabbit is blue. The rabbit needs the mouse. The rabbit sees the dog. If someone sees the rabbit then they visit the mouse. If the mouse is green then the mouse needs the cat.
The cat is blue.
@0: The cat is blue.[(triple1)] The cat is cold.[(triple2)] The cat is green.[(triple3)] The cat needs the dog.[(triple4)] The cat needs the mouse.[(triple5)] The cat sees the rabbit.[(triple6)] The cat visits the rabbit.[(triple7)] The dog is green.[(triple8)] The dog needs the mouse.[(triple9)] The dog visits the cat.[(triple10)] The mouse is cold.[(triple11)] The mouse is young.[(triple12)] The rabbit is blue.[(triple13)] The rabbit needs the mouse.[(triple14)] The rabbit sees the dog.[(triple15)] @1: The cat visits the mouse.[(((triple6) -> rule1))]