The cat is blue. The cat is kind. The lion is big. The lion is blue. The lion is kind. The lion sees the tiger. The squirrel is round. The squirrel is young. The squirrel needs the cat. The squirrel sees the lion. The tiger is blue. The tiger is kind. The tiger needs the lion. The tiger needs the squirrel. The tiger sees the squirrel. The tiger visits the lion. If someone is blue then they are big. If someone needs the lion and the lion is blue then the lion visits the tiger. If someone visits the tiger and they are blue then they see the lion. If the cat needs the lion then the lion needs the cat. If someone sees the cat then they are round. If someone sees the tiger then they visit the cat.
The tiger visits the cat.
@0: The cat is blue.[(triple1)] The cat is kind.[(triple2)] The lion is big.[(triple3 OR ((triple4) -> rule1))] The lion is blue.[(triple4)] The lion is kind.[(triple5)] The lion sees the tiger.[(triple6)] The squirrel is round.[(triple7)] The squirrel is young.[(triple8)] The squirrel needs the cat.[(triple9)] The squirrel sees the lion.[(triple10)] The tiger is blue.[(triple11)] The tiger is kind.[(triple12)] The tiger needs the lion.[(triple13)] The tiger needs the squirrel.[(triple14)] The tiger sees the squirrel.[(triple15)] The tiger visits the lion.[(triple16)] @1: The cat is big.[(((triple1) -> rule1))] The lion visits the cat.[(((triple6) -> rule6))] The lion visits the tiger.[(((triple13 triple4) -> rule2))] The tiger is big.[(((triple11) -> rule1))] @2: The lion sees the lion.[(((((triple13 triple4) -> rule2) triple4) -> rule3))]