The lion chases the mouse. The lion eats the mouse. The lion is blue. The lion is cold. The lion is nice. The lion likes the mouse. The mouse chases the lion. The mouse eats the lion. The mouse is cold. The mouse is green. The mouse is nice. The mouse likes the lion. If someone chases the lion and the lion chases the mouse then the lion eats the mouse. If someone eats the lion and they eat the mouse then they are blue. If the mouse chases the lion then the lion chases the mouse.
The mouse is not blue.
@0: The lion chases the mouse.[(triple1 OR ((triple7) -> rule3))] The lion eats the mouse.[(triple2 OR ((triple7 triple1) -> rule1) OR ((triple7 ((triple7) -> rule3)) -> rule1))] The lion is blue.[(triple3)] The lion is cold.[(triple4)] The lion is nice.[(triple5)] The lion likes the mouse.[(triple6)] The mouse chases the lion.[(triple7)] The mouse eats the lion.[(triple8)] The mouse is cold.[(triple9)] The mouse is green.[(triple10)] The mouse is nice.[(triple11)] The mouse likes the lion.[(triple12)]