The cat is nice. The cat likes the rabbit. The cat visits the dog. The cat visits the mouse. The cat visits the rabbit. The dog is blue. The dog is green. The dog is not nice. The dog does not see the cat. The dog sees the rabbit. The mouse is blue. The mouse is green. The mouse likes the cat. The mouse visits the rabbit. The rabbit likes the dog. If something likes the cat then the cat is green. If something visits the rabbit and the rabbit is green then the rabbit does not like the cat. If the dog likes the rabbit and the dog does not visit the cat then the cat visits the rabbit.
The mouse is green.
@0: The cat is nice.[(triple1)] The cat likes the rabbit.[(triple2)] The cat visits the dog.[(triple3)] The cat visits the mouse.[(triple4)] The cat visits the rabbit.[(triple5)] The dog does not see the cat.[(triple9)] The dog is blue.[(triple6)] The dog is green.[(triple7)] The dog is not nice.[(triple8)] The dog sees the rabbit.[(triple10)] The mouse is blue.[(triple11)] The mouse is green.[(triple12)] The mouse likes the cat.[(triple13)] The mouse visits the rabbit.[(triple14)] The rabbit likes the dog.[(triple15)] @1: The cat is green.[(((triple13) -> rule1))]