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