The dog is kind. The dog is rough. The dog sees the lion. The dog sees the mouse. The lion chases the mouse. The lion is blue. The lion likes the mouse. The lion sees the mouse. The mouse likes the dog. The mouse sees the dog. If someone sees the mouse then the mouse is green. If someone chases the mouse then the mouse likes the lion. If someone chases the dog then the dog is green. If someone likes the dog then they see the dog. If someone likes the mouse and the mouse is blue then they chase the dog. If the dog is blue and the dog sees the mouse then the mouse sees the lion.
The dog sees the lion.
@0: The dog is kind.[(triple1)] The dog is rough.[(triple2)] The dog sees the lion.[(triple3)] The dog sees the mouse.[(triple4)] The lion chases the mouse.[(triple5)] The lion is blue.[(triple6)] The lion likes the mouse.[(triple7)] The lion sees the mouse.[(triple8)] The mouse likes the dog.[(triple9)] The mouse sees the dog.[(triple10 OR ((triple9) -> rule4))] @1: The mouse is green.[(((triple4) -> rule1) OR ((triple8) -> rule1))] The mouse likes the lion.[(((triple5) -> rule2))]