The cat chases the dog. The cat chases the rabbit. The cat is big. The cat is nice. The cat likes the dog. The cat likes the mouse. The dog does not chase the cat. The dog chases the mouse. The dog is green. The mouse chases the dog. The mouse is nice. The mouse does not need the cat. The mouse needs the rabbit. The rabbit chases the cat. The rabbit is big. The rabbit needs the cat. If someone needs the cat then they are cold. If someone likes the mouse and they need the dog then they do not chase the cat. If the rabbit chases the dog and the rabbit chases the cat then the dog likes the cat.
The rabbit does not need the mouse.
@0: The cat chases the dog.[(triple1)] The cat chases the rabbit.[(triple2)] The cat is big.[(triple3)] The cat is nice.[(triple4)] The cat likes the dog.[(triple5)] The cat likes the mouse.[(triple6)] The dog chases the mouse.[(triple8)] The dog does not chase the cat.[(triple7)] The dog is green.[(triple9)] The mouse chases the dog.[(triple10)] The mouse does not need the cat.[(triple12)] The mouse is nice.[(triple11)] The mouse needs the rabbit.[(triple13)] The rabbit chases the cat.[(triple14)] The rabbit is big.[(triple15)] The rabbit needs the cat.[(triple16)] @1: The rabbit is cold.[(((triple16) -> rule1))]