The cat is not round. The cat likes the lion. The cat likes the mouse. The cat does not need the mouse. The cat visits the lion. The cat visits the mouse. The lion likes the cat. The lion visits the cat. The mouse is big. The mouse is not kind. The mouse is red. The mouse likes the cat. If the lion likes the mouse then the mouse visits the lion. If something visits the lion then the lion is kind. If something is red and it visits the cat then the cat does not visit the lion. If something is big and not round then it does not need the lion. If something likes the lion then it is big. If something visits the mouse and it is round then it likes the lion. If something needs the cat and the cat needs the lion then the lion needs the cat. If the lion visits the mouse and the lion does not visit the cat then the cat needs the lion.
The lion needs the lion.
@0: The cat does not need the mouse.[(triple4)] The cat is not round.[(triple1)] The cat likes the lion.[(triple2)] The cat likes the mouse.[(triple3)] The cat visits the lion.[(triple5)] The cat visits the mouse.[(triple6)] The lion likes the cat.[(triple7)] The lion visits the cat.[(triple8)] The mouse is big.[(triple9)] The mouse is not kind.[(triple10)] The mouse is red.[(triple11)] The mouse likes the cat.[(triple12)] @1: The cat is big.[(((triple2) -> rule5))] The lion is kind.[(((triple5) -> rule2))] @2: The cat does not need the lion.[(((((triple2) -> rule5) triple1) -> rule4))]