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