The cat likes the lion. The cat needs the mouse. The lion chases the tiger. The lion likes the mouse. The lion needs the tiger. The mouse is big. The tiger needs the lion. If someone is cold then they chase the lion. If someone needs the mouse then they like the lion. If the tiger chases the cat and the tiger needs the lion then the cat likes the lion. If the cat likes the tiger and the cat is green then the tiger chases the cat. If someone chases the mouse and the mouse likes the cat then the cat is big. If someone is rough and big then they like the cat. If someone is green and they chase the cat then they are big. If someone needs the lion and the lion likes the mouse then they are green.
The lion does not chase the lion.
@0: The cat likes the lion.[(triple1 OR ((triple2) -> rule2))] The cat needs the mouse.[(triple2)] The lion chases the tiger.[(triple3)] The lion likes the mouse.[(triple4)] The lion needs the tiger.[(triple5)] The mouse is big.[(triple6)] The tiger needs the lion.[(triple7)] @1: The tiger is green.[(((triple7 triple4) -> rule8))]