The dog is blue. The dog is kind. The dog is rough. The dog is young. The dog likes the mouse. The dog needs the mouse. The dog sees the mouse. The mouse is blue. The mouse is nice. The mouse is young. The mouse likes the dog. The mouse needs the dog. If someone likes the dog and the dog sees the mouse then the mouse is rough.
The mouse is blue.
@0: The dog is blue.[(triple1)] The dog is kind.[(triple2)] The dog is rough.[(triple3)] The dog is young.[(triple4)] The dog likes the mouse.[(triple5)] The dog needs the mouse.[(triple6)] The dog sees the mouse.[(triple7)] The mouse is blue.[(triple8)] The mouse is nice.[(triple9)] The mouse is young.[(triple10)] The mouse likes the dog.[(triple11)] The mouse needs the dog.[(triple12)] @1: The mouse is rough.[(((triple11 triple7) -> rule1))]