The cat is big. The cat is young. The cat needs the tiger. The cat sees the squirrel. The lion needs the cat. The lion visits the tiger. The squirrel is big. The squirrel is rough. The squirrel needs the tiger. The squirrel sees the lion. The tiger visits the cat. The tiger visits the squirrel. If someone is big then they visit the lion. If the tiger needs the squirrel and the squirrel sees the lion then the lion visits the tiger. If someone visits the lion then the lion is big.
The tiger does not visit the lion.
@0: The cat is big.[(triple1)] The cat is young.[(triple2)] The cat needs the tiger.[(triple3)] The cat sees the squirrel.[(triple4)] The lion needs the cat.[(triple5)] The lion visits the tiger.[(triple6)] The squirrel is big.[(triple7)] The squirrel is rough.[(triple8)] The squirrel needs the tiger.[(triple9)] The squirrel sees the lion.[(triple10)] The tiger visits the cat.[(triple11)] The tiger visits the squirrel.[(triple12)] @1: The cat visits the lion.[(((triple1) -> rule1))] The squirrel visits the lion.[(((triple7) -> rule1))] @2: The lion is big.[(((((triple1) -> rule1)) -> rule3) OR ((((triple7) -> rule1)) -> rule3))] @3: The lion visits the lion.[(((((((triple1) -> rule1)) -> rule3)) -> rule1) OR ((((((triple7) -> rule1)) -> rule3)) -> rule1))]