The lion chases the rabbit. The lion needs the mouse. The mouse likes the rabbit. The mouse needs the rabbit. The rabbit chases the lion. The rabbit is blue. The rabbit is red. The rabbit is rough. The rabbit likes the lion. The rabbit needs the lion. If something chases the mouse and the mouse chases the lion then the lion likes the rabbit. If something needs the lion then it is blue. If something likes the lion and the lion chases the rabbit then it needs the lion. If something needs the lion then it likes the rabbit. If something is green and blue then it likes the mouse. If something likes the rabbit and it chases the mouse then the mouse chases the lion.
The lion does not need the lion.
@0: The lion chases the rabbit.[(triple1)] The lion needs the mouse.[(triple2)] The mouse likes the rabbit.[(triple3)] The mouse needs the rabbit.[(triple4)] The rabbit chases the lion.[(triple5)] The rabbit is blue.[(triple6 OR ((triple10) -> rule2) OR ((((triple9 triple1) -> rule3)) -> rule2))] The rabbit is red.[(triple7)] The rabbit is rough.[(triple8)] The rabbit likes the lion.[(triple9)] The rabbit needs the lion.[(triple10 OR ((triple9 triple1) -> rule3))] @1: The rabbit likes the rabbit.[(((triple10) -> rule4) OR ((((triple9 triple1) -> rule3)) -> rule4))]