The cat visits the lion. The lion is rough. The mouse is rough. The mouse likes the cat. The mouse likes the lion. The mouse needs the cat. The mouse needs the lion. If someone needs the lion then the lion needs the mouse. If the mouse does not visit the cat then the cat visits the lion. If someone visits the lion then they like the mouse. If the cat visits the mouse and the mouse does not need the cat then the mouse is rough. If someone visits the lion and the lion is green then the lion needs the cat. If someone needs the lion then the lion visits the cat. Green people are red. If someone is rough then they need the mouse.
The lion does not need the cat.
@0: The cat visits the lion.[(triple1)] The lion is rough.[(triple2)] The mouse is rough.[(triple3)] The mouse likes the cat.[(triple4)] The mouse likes the lion.[(triple5)] The mouse needs the cat.[(triple6)] The mouse needs the lion.[(triple7)] @1: The cat likes the mouse.[(((triple1) -> rule3))] The lion needs the mouse.[(((triple2) -> rule8) OR ((triple7) -> rule1))] The lion visits the cat.[(((triple7) -> rule6))] The mouse needs the mouse.[(((triple3) -> rule8))]