The cat is cold. The cat is kind. The cat likes the mouse. The cat needs the mouse. The mouse chases the rabbit. The mouse is kind. The mouse likes the cat. The mouse needs the cat. The mouse needs the rabbit. The rabbit needs the mouse. If someone likes the mouse then the mouse needs the rabbit. If someone needs the cat and the cat likes the rabbit then the cat needs the rabbit. If someone is red and young then they like the rabbit.
The mouse is rough.
@0: The cat is cold.[(triple1)] The cat is kind.[(triple2)] The cat likes the mouse.[(triple3)] The cat needs the mouse.[(triple4)] The mouse chases the rabbit.[(triple5)] The mouse is kind.[(triple6)] The mouse likes the cat.[(triple7)] The mouse needs the cat.[(triple8)] The mouse needs the rabbit.[(triple9 OR ((triple3) -> rule1))] The rabbit needs the mouse.[(triple10)]