The lion is big. The lion is blue. The lion needs the rabbit. The lion needs the tiger. The rabbit is cold. The rabbit visits the squirrel. The squirrel is cold. The squirrel likes the rabbit. The tiger is cold. The tiger likes the lion. The tiger likes the rabbit. The tiger visits the lion. If someone needs the tiger then the tiger visits the lion. If someone is blue and they like the rabbit then the rabbit likes the lion. If someone likes the lion then they like the rabbit. If the lion visits the squirrel and the squirrel is cold then the squirrel visits the lion. If someone is blue and they like the tiger then they are green. If someone is cold and they visit the rabbit then they are green.
The squirrel does not visit the lion.
@0: The lion is big.[(triple1)] The lion is blue.[(triple2)] The lion needs the rabbit.[(triple3)] The lion needs the tiger.[(triple4)] The rabbit is cold.[(triple5)] The rabbit visits the squirrel.[(triple6)] The squirrel is cold.[(triple7)] The squirrel likes the rabbit.[(triple8)] The tiger is cold.[(triple9)] The tiger likes the lion.[(triple10)] The tiger likes the rabbit.[(triple11 OR ((triple10) -> rule3))] The tiger visits the lion.[(triple12 OR ((triple4) -> rule1))]