The bear visits the lion. The cow visits the lion. The lion does not need the cow. If someone sees the bear and the bear is round then the bear does not need the lion. If someone needs the cow and they do not see the cow then they are young. If someone visits the lion then the lion is kind. If the lion is kind and the lion visits the cow then the cow sees the lion. If someone is kind then they need the lion. If someone needs the lion and the lion is kind then the lion is not rough. If the lion is rough then the lion does not visit the bear. If someone visits the bear and they need the bear then they visit the lion.
The cow sees the lion.
@0: The bear visits the lion.[(triple1)] The cow visits the lion.[(triple2)] The lion does not need the cow.[(triple3)] @1: The lion is kind.[(((triple1) -> rule3) OR ((triple2) -> rule3))] @2: The lion needs the lion.[(((((triple1) -> rule3)) -> rule5) OR ((((triple2) -> rule3)) -> rule5))] @3: The lion is not rough.[(((((((triple1) -> rule3)) -> rule5) ((triple1) -> rule3)) -> rule6) OR ((((((triple1) -> rule3)) -> rule5) ((triple2) -> rule3)) -> rule6) OR ((((((triple2) -> rule3)) -> rule5) ((triple1) -> rule3)) -> rule6) OR ((((((triple2) -> rule3)) -> rule5) ((triple2) -> rule3)) -> rule6))]