The lion is blue. The lion is red. The lion is round. The lion likes the squirrel. The lion visits the squirrel. The lion visits the tiger. The squirrel is blue. The squirrel does not like the lion. The squirrel sees the lion. The squirrel visits the lion. The tiger is big. The tiger is not red. The tiger is not young. The tiger likes the lion. The tiger likes the squirrel. The tiger visits the lion. If someone is young then they like the lion. If someone visits the tiger then the tiger visits the lion. If the squirrel is not blue then the squirrel is not young. If someone visits the tiger and they are blue then they see the squirrel. If the lion visits the tiger and the tiger does not like the lion then the lion is not blue. If the tiger is round and the tiger visits the lion then the lion is blue.
The tiger likes the squirrel.
@0: The lion is blue.[(triple1)] The lion is red.[(triple2)] The lion is round.[(triple3)] The lion likes the squirrel.[(triple4)] The lion visits the squirrel.[(triple5)] The lion visits the tiger.[(triple6)] The squirrel does not like the lion.[(triple8)] The squirrel is blue.[(triple7)] The squirrel sees the lion.[(triple9)] The squirrel visits the lion.[(triple10)] The tiger is big.[(triple11)] The tiger is not red.[(triple12)] The tiger is not young.[(triple13)] The tiger likes the lion.[(triple14)] The tiger likes the squirrel.[(triple15)] The tiger visits the lion.[(triple16 OR ((triple6) -> rule2))] @1: The lion sees the squirrel.[(((triple6 triple1) -> rule4))]