The lion is rough. The lion sees the tiger. The mouse chases the lion. The mouse chases the rabbit. The mouse chases the tiger. The mouse is green. The mouse likes the rabbit. The rabbit chases the lion. The rabbit chases the mouse. The rabbit chases the tiger. The rabbit is blue. The rabbit is rough. The rabbit likes the tiger. The tiger is red. The tiger likes the lion. If the rabbit chases the mouse then the mouse chases the rabbit. If someone is blue and green then they chase the mouse. If someone sees the lion then they are red.
The lion is rough.
@0: The lion is rough.[(triple1)] The lion sees the tiger.[(triple2)] The mouse chases the lion.[(triple3)] The mouse chases the rabbit.[(triple4 OR ((triple9) -> rule1))] The mouse chases the tiger.[(triple5)] The mouse is green.[(triple6)] The mouse likes the rabbit.[(triple7)] The rabbit chases the lion.[(triple8)] The rabbit chases the mouse.[(triple9)] The rabbit chases the tiger.[(triple10)] The rabbit is blue.[(triple11)] The rabbit is rough.[(triple12)] The rabbit likes the tiger.[(triple13)] The tiger is red.[(triple14)] The tiger likes the lion.[(triple15)]