The cat is kind. The cat visits the mouse. The cat visits the rabbit. The dog is nice. The dog does not like the cat. The dog sees the mouse. The dog sees the rabbit. The dog visits the rabbit. The mouse is cold. The mouse is young. The mouse does not see the dog. The mouse visits the cat. The rabbit is nice. The rabbit is young. The rabbit likes the cat. The rabbit does not visit the dog. If the cat is big and the dog does not visit the cat then the cat sees the dog. Young people are cold. If someone visits the dog and the dog sees the mouse then the mouse is cold. If someone is kind and they do not visit the mouse then the mouse visits the cat. If someone is cold and they visit the mouse then the mouse sees the dog. If someone likes the rabbit and they do not see the cat then they are young.
The rabbit is young.
@0: The cat is kind.[(triple1)] The cat visits the mouse.[(triple2)] The cat visits the rabbit.[(triple3)] The dog does not like the cat.[(triple5)] The dog is nice.[(triple4)] The dog sees the mouse.[(triple6)] The dog sees the rabbit.[(triple7)] The dog visits the rabbit.[(triple8)] The mouse does not see the dog.[(triple11)] The mouse is cold.[(triple9 OR ((triple10) -> rule2))] The mouse is young.[(triple10)] The mouse visits the cat.[(triple12)] The rabbit does not visit the dog.[(triple16)] The rabbit is nice.[(triple13)] The rabbit is young.[(triple14)] The rabbit likes the cat.[(triple15)] @1: The rabbit is cold.[(((triple14) -> rule2))]