The cat eats the lion. The cat needs the mouse. The cat visits the mouse. The lion eats the cat. The lion is kind. The lion is round. The lion needs the cat. The lion needs the mouse. The lion visits the mouse. The mouse is big. The mouse is round. The mouse needs the lion. If the mouse visits the cat then the mouse eats the lion. If the cat eats the lion and the cat visits the mouse then the lion visits the mouse.
The lion needs the cat.
@0: The cat eats the lion.[(triple1)] The cat needs the mouse.[(triple2)] The cat visits the mouse.[(triple3)] The lion eats the cat.[(triple4)] The lion is kind.[(triple5)] The lion is round.[(triple6)] The lion needs the cat.[(triple7)] The lion needs the mouse.[(triple8)] The lion visits the mouse.[(triple9 OR ((triple1 triple3) -> rule2))] The mouse is big.[(triple10)] The mouse is round.[(triple11)] The mouse needs the lion.[(triple12)]