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