The cat is kind. The cat is rough. The dog needs the mouse. The dog visits the mouse. The lion chases the cat. The lion chases the mouse. The lion is blue. The lion visits the cat. The mouse does not chase the lion. The mouse is rough. If someone is young and they visit the lion then the lion is blue. If the lion chases the cat and the lion does not chase the mouse then the lion does not need the dog. If someone needs the mouse then they visit the mouse.
The cat is not kind.
@0: The cat is kind.[(triple1)] The cat is rough.[(triple2)] The dog needs the mouse.[(triple3)] The dog visits the mouse.[(triple4 OR ((triple3) -> rule3))] The lion chases the cat.[(triple5)] The lion chases the mouse.[(triple6)] The lion is blue.[(triple7)] The lion visits the cat.[(triple8)] The mouse does not chase the lion.[(triple9)] The mouse is rough.[(triple10)]