The cat eats the mouse. The cat is blue. The cat is round. The cat likes the mouse. The cat visits the lion. The cat visits the mouse. The lion is blue. The lion is round. The lion likes the mouse. The lion visits the cat. The mouse eats the cat. The mouse eats the lion. The mouse is round. The mouse visits the cat. The mouse visits the lion. If someone visits the cat then they like the mouse. If someone is blue and they eat the cat then the cat is red. If someone likes the lion and they eat the mouse then the lion likes the mouse.
The lion is not round.
@0: The cat eats the mouse.[(triple1)] The cat is blue.[(triple2)] The cat is round.[(triple3)] The cat likes the mouse.[(triple4)] The cat visits the lion.[(triple5)] The cat visits the mouse.[(triple6)] The lion is blue.[(triple7)] The lion is round.[(triple8)] The lion likes the mouse.[(triple9 OR ((triple10) -> rule1))] The lion visits the cat.[(triple10)] The mouse eats the cat.[(triple11)] The mouse eats the lion.[(triple12)] The mouse is round.[(triple13)] The mouse visits the cat.[(triple14)] The mouse visits the lion.[(triple15)] @1: The mouse likes the mouse.[(((triple14) -> rule1))]