The cat is blue. The cat is nice. The cat sees the dog. The dog needs the lion. The dog needs the mouse. The lion is green. The lion needs the cat. The lion needs the dog. The mouse likes the cat. The mouse sees the lion. If someone sees the dog then the dog is nice.
The cat is blue.
@0: The cat is blue.[(triple1)] The cat is nice.[(triple2)] The cat sees the dog.[(triple3)] The dog needs the lion.[(triple4)] The dog needs the mouse.[(triple5)] The lion is green.[(triple6)] The lion needs the cat.[(triple7)] The lion needs the dog.[(triple8)] The mouse likes the cat.[(triple9)] The mouse sees the lion.[(triple10)] @1: The dog is nice.[(((triple3) -> rule1))]